News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by petesergeant on Wednesday December 17, 2025 @04:49AM (#46299997)
In practice ends up being a bit like static analysis though, which is you get a ton of false positives.

All said, I’m now running all commits through Codex (which is the only thing it’s any good at), and it’s really pretty good at code reviews.

There are no comments on this comment yet.