Formal methods aren't just an academic curiosity, they have been used for real-world OS work. https://en.wikipedia.org/wiki/SLAM_project https://en.wikipedia.or

Formal methods aren't just an academic curiosity, they have been used for real-world OS work. https://en.wikipedia.org/wiki/SLAM_project https://en.wikipedia.org/wiki/SLAM_project > Less mainstream programming languages get better only if you have an expensive in-house team working on the compiler. Not if you defer optimisation to an external (and actively maintained) backend like LLVM. Rust and Zig do this.