Re:Prediction: AI will make formal verification go mainstream
by mplewis on Wednesday December 17, 2025 @12:06AM
(#46298478)
Through empirical evidence? Do you think that the vast majority of software devs moved to typing for no reason?
[ Parent
| on HN ]
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.
Re:Prediction: AI will make formal verification go mainstream
by wolvesechoes on Wednesday December 17, 2025 @02:30AM
(#46299196)
> Do you think that the vast majority of software devs moved to typing for no reason?
It is quite clear that this industry is mostly driven by hype and fades, not by empirical studies.
Empirical evidence in favor of a claim that static typing and complex type systems reduce bugs or improve productivity is highly inconclusive at best
Re:Prediction: AI will make formal verification go mainstream
by gf000 on Wednesday December 17, 2025 @04:01AM
(#46299723)
We don't actually have empirical evidence on the topic, surprisingly.
It's just people's hunches.
Re:Prediction: AI will make formal verification go mainstream
by JumpCrisscross on Wednesday December 17, 2025 @04:19AM
(#46299833)
I feel like the terms logical, empirical, rational and objective are used interchangeably by the general public, with one being in vogue at a time.