5 ms·
Broken software does not typically kill people or makes you loose money (time or some other resources, maybe). In contrast bridges that fall apart tend to kill
by tener 9y ago
Broken software does not typically kill people or makes you loose money (time or some other resources, maybe).
In contrast bridges that fall apart tend to kill people in a nasty way. They are also quite hard to reboot.
- Bartweiss 9y agoAn excellent framing I saw recently was "I can tell the people who write these articles don't actually want secure code, because they aren't paying me to write it." There's plenty of carefully-written, rigorously-tested code out there. Want to write software for air travel, drug manufacturing, or space flight? You'll have no choice but to write safe, first-rate code. Want a smartphone weather app written to those standards? Well, for $50 and a feature set five years behind the state of the art, you can have it.
- blackth0rn 9y agoIsn't this a tooling and knowledge issue? If I was as productive with TLA+ or model based design as I am with React-Native/Ionic/Swift etc. then we could have a smartphone weather app written to those standards for the same price.
- hwayne 9y agoWhile there's plenty of room for improvement, I legitimately believe that TLA+ is now in a place where it's convenient enough to use in conjunction with Ionic/Swift.
- deleted 9y ago[deleted]
- IncRnd 9y agoBroken software has the capability to regularly kill people or cause people to lose money. It happens too often.