Hacker News new | ask | show | jobs
by thunderfork 54 days 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.
1 comments

Thankfully the CRUD app that is being developed by some random startup is not likely to cause as much harm as the THERAC.
Depends 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.