@hajovonta @ericschutte @ohir @hembrow Most software are “good enough” because that’s all they need to be. Again, it’s trade-offs. Writing software with formal methods doesn’t always make for pleasant UX or a useful product, and can in fact get in the way of writing interesting and beneficial software.

A lot of the Internet’s infrastructure isn’t well-designed against malicious adversaries. Email is notoriously bad at keeping out bad actors. The net counts on a lot of people and automated systems to keep bad actors away. But that doesn’t mean it’s useless despite its flaws.