The main issue is that software quality was generally pretty dodgy to start off with. There just isn’t any headroom to trade off.
We’re just don’t know how to reliably write reliable software. We have developed practices to cover risks we deem unacceptable, but things like the halting problem make software verification fundamentally an intractable problem.
Nah, we know how to write reliable software. That’s not the problem. Capitalist incentives are the reason software is shit. Companies race to put out products that are just good enough to get people using them. Those who spend too much time polishing their software to work well end up losing to those who put out buggy crap that’s just good enough to use. They’re the ones gaining market share and consequently locking users into using their apps.
