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 moi2388 on Wednesday December 17, 2025 @08:02AM (#46301489)
No, because integers in computing are generally finite.
[ Parent | on HN ]

There are no comments on this comment yet.