6 ms·
Imagine a world where all software is written using formal methods [1], that would be heaven. [1] https://en.wikipedia.org/wiki/Formal_methods https://en.wikip
by azemetre 4y ago
Imagine a world where all software is written using formal methods [1], that would be heaven.
[1] https://en.wikipedia.org/wiki/Formal_methods https://en.wikipedia.org/wiki/Formal_methods
- yjftsjthsd-h 4y agoHeaven if you like living in a world where it takes months to ship even simple software. Don't get me wrong, I think we're too sloppy most of the time, but it's a trade off, not one sided.
- namaria 4y agoMaybe it's not such a good idea to run so much critical stuff through systems built in weeks...
- yjftsjthsd-h 4y agoI was responding to > Imagine a world where all software is written using formal methods (emphasis mine) I would be much more agreeable to enforcing higher quality for more important things, including ex. systems that store PII for large numbers of people.
- radicaldreamer 4y agoThis would kill hacking and experimentation.