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 petesergeant on Wednesday December 17, 2025 @04:55AM (#46300049)
Peak HN gnomism. While the set of possible errors may be infinite, their distribution is not uniform.
[ Parent | on HN ]

There are no comments on this comment yet.