> Safety is overrated. If safety is the most important aspect of software then we should have been using Ada for everything by now. I would guess nobody would

> Safety is overrated. If safety is the most important aspect of software then we should have been using Ada for everything by now. I would guess nobody would say something such stupid if they would be actually legally liable for the code they ship. Where people actually can be sued for software bugs ADA is widely used, btw. The good news is: The EU is working on removing the liability exclusion for software products finally. Let's see whether someone would say "safety is overrated" again after the EU authorities are done with changing the legislation and vendors will end up in front of a court for security breaches caused by the software they ship.