Re:Prediction: AI will make formal verification go mainstream
by GTP on Wednesday December 17, 2025 @06:15AM
(#46300668)
With the added issue that now the expert is working with code they didn't write, and that could be in general be harder to understand than human-written code. So they could find it easier to just throw it away and start from scratch.
[ Parent
| on HN ]
There are no comments on this comment yet.