News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by iAMkenough on Tuesday December 16, 2025 @05:34PM (#46295575)
The criticism would stop if the implementation issue was fixed.

It's an example of a simple task. How often are you relying on LLMs to complete simple tasks?

[ Parent | on HN ]

There are no comments on this comment yet.