News for hackers. Stuff that matters.

A comment on I accidentally turned LLM memory into program analysis. Parent comment

Re:I accidentally turned LLM memory into program analysis by akkad33 on Sunday August 30, 2026 @04:17AM (#49496751)
I don't know TLA+ but indeed that seemed to be the limitation when I read about it too. What about languages like Dafny, that allow you to "prove" your programs?
[ Parent | on HN ]

There are no comments on this comment yet.