News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.