
How Did Software Get So Reliable Without Proof? - thamer
https://blog.regehr.org/archives/820
======
anonymousiam
Who says it's reliable? Software is shit.

~~~
eesmith
The metric is the number of deaths attributed to dependence on computers
compared to the (presumed) number of deaths that could have happened in
"safety-critical software controlling health equipment, aircraft, weapons
systems and industrial processes, including nuclear power stations", that is,
software where it was presumed that formal proofs were essential for correct
operations.

[https://en.wikipedia.org/wiki/Sturgeon%27s_law](https://en.wikipedia.org/wiki/Sturgeon%27s_law)
\- 90% of everything is crap.

