Reckless incompetence pervades the industry because it's long been accepted that there are no real consequences for it. Even if I formally prove my program to b

Reckless incompetence pervades the industry because it's long been accepted that there are no real consequences for it. Even if I formally prove my program to be correct, I couldn't offer a warranty because I can't get a warranty that any platform will actually execute my program correctly. Compilers have bugs. CPUs themselves have bugs. And of course every mainstream OS is a huge chunk of native code that casually does unchecked pointer arithmetic, with a long sad history of bugs. Nobody wants a verifiable platform badly enough to hire talented engineers who take quality seriously (a group that I only wish I could say includes me) to build one starting from sand. Instead we all ship crap for maybe 1/100 the cost, and get what we deserve.