4 ms·
As we know from THERAC-25, etc., comprehensively verifying that code works the way it's expected to is not actually very easy - it's perhaps one of the hardest
by thunderfork 6mo ago
As we know from THERAC-25, etc., comprehensively verifying that code works the way it's expected to is not actually very easy - it's perhaps one of the hardest parts of building any system more complex than a toaster.
- nslsm 6mo agoThankfully the CRUD app that is being developed by some random startup is not likely to cause as much harm as the THERAC.
- thunderfork 6mo agoDepends on what it's doing. Worth noting that you've slipped from "checking whether something works is easy" to "well, it's probably not as harmful as a very notable failure if it fucks up." The bar lowers so quickly.