News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by avmich on Wednesday December 17, 2025 @01:06AM (#46298769)
It's a bad reason. A lot of best practices are temporary blindnesses, comparable, in some sense, with supposed love to BASIC before or despite Dijkstra. So, yes, it's possible there is no good reason. Though I don't think it's the case here.

There are no comments on this comment yet.