5 ms·
I used to struggle with the notion of software - Why is it that formal verification never took off? Then I realized, bad software is just another way of printin
by domnomnom 6y ago
I used to struggle with the notion of software - Why is it that formal verification never took off? Then I realized, bad software is just another way of printing money for somebody somewhere.
- mint2 6y agoBecause that would take 25x the effort and also still not catch everything.
- domnomnom 6y agoWhere do you think type systems originate?
- mint2 6y agoTake low hanging fruit, get substantial benefit at low effort. Go to perfection, take 25x+ the effort and by the time your done it’s outdated
- domnomnom 6y agoPart of the "benefit" is the software breaking again in the future. Like I said, there is no cost to software failing and even a benefit. If people died when software failed, that 25x effort would probably become 5x dude to efficiencies of people actually working on the problem