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 wombatpm on Wednesday December 17, 2025 @03:49AM (#46299652)
Isn’t this where the Eiffel design by contract people speak up about code reuse?
[ Parent | on HN ]

There are no comments on this comment yet.