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 gf000 on Wednesday December 17, 2025 @03:59AM (#46299712)
Constraints Liberate, Liberties Constrain. (I also recommend watching the presentation with the same title)
[ Parent | on HN ]

There are no comments on this comment yet.