8 ms·
How Did Software Get So Reliable Without Proof?
- anonymousiam 7y agoWho says it's reliable? Software is shit.
- eesmith 7y agoThe 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.