Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Prediction: AI will make formal verification go mainstream. Parent comment
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
There are no comments on this comment yet.
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