Software is a Long Con
emptywheel.net
emptywheel.net
It's all true! And should be taken seriously for mission-critical jobs (that's why I, a fan of Microsoft, would still not trust Windows running my autonomous vehicle).
But one can't help observe that their spiffy website could not possibly exist in this timeframe if consumer computer software had to be verifiably safe. It would be grotesquely behind where it stands today--people love features more than fixed software. We'd still be running browsers using, what, 1990 technology?
The issue I have with their viewpoint is that there doesn't seem to be any baseline for "good enough" that is short of absolute perfection forever (assuming adversaries that will attack with perpetually increasing sophistication.)
If we did it properly, I suspect we wouldn't be on 1990 technology; we'd be using software that we won't actually see for another 20 years.