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.
[ Parent
| on HN ]
There are no comments on this comment yet.