Re:Prediction: AI will make formal verification go mainstream
by leoedin on Wednesday December 17, 2025 @03:11AM
(#46299428)
Yeah, I’ve been working mainly in rust for the last few years. The compile time checks are so effective that run time bugs are rare. Like you can refactor half the codebase and not run the app for a week, and when you do it just works. I’ve never had that experience in other languages.
[ Parent
| on HN ]
There are no comments on this comment yet.