4 ms·
"systems are tested in realistic environments and failures are rigorously studied and the results are fed back into the design of the next iteration of the syst
by peterburkimsher 5y ago
"systems are tested in realistic environments and failures are rigorously studied and the results are fed back into the design of the next iteration of the system. This is not incompatible with formal verification, but it’s also not a point of view that comes out very often in the verification literature."
Yes, indeed. Life is infinite like the Sierpiński triangle, and at some point we deem the risks so small to fall within engineering tolerances. If only the code review engineers checking each change were as forgiving as the auditors.
Startups know this (business SWOT analysis). Hacker News knows this (karma). Some people like Elon Musk know this very well, so much that SpaceX is proud of their failures.
Humility is the source of integrity.
- sumtechguy 5y agoWe used to play a game at work where we would write deliberately bad code. It started off as bits we would find in our own code base. But it morphed into a game where we would try to write bad code. We would add conditions like 'make a for loop with out the for condition'. The whole group got into it. It was fun and gave concrete examples to everyone what is bad code and how to look for it. Failure is an excellent teaching tool. When the stakes are low orgs can seek it out. When the stakes are 10k people lose their jobs orgs tend to build in caution and tripwires around the known bad things. Elon at one point was 1 rocket going kablooie from spacex not existing. That is no longer true so he can seek out more risk.
- kaba0 5y agoElon Musk is the biggest egomaniac that ever roamed the Earth, he doesn’t fit in with your comment the slightest.