News for hackers. Stuff that matters.

A comment on A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs.

Re:A Very Small SAT Solver (From Haskell) Now in Dafny, Prov... by vdupras on Thursday February 05, 2026 @09:04PM (#46908089)
I asked the LLM whether my program was correct and it answered: you're absolutely right!
[ Parent | on HN ]
Re:A Very Small SAT Solver (From Haskell) Now in Dafny, Prov... by namin on Thursday February 05, 2026 @09:11PM (#46908125)
Ha. At least you can check the theorem statements and see that the proofs verify :)
[ Parent | on HN ]