@kdfrawg On the software side, Agda, Idris, Lean, and even Eiffel and Erlang are different approaches to building correct and/or resilient systems by giving programmers good tools to do so from the get-go and baking their use into the whole platform. They’re all still pretty niche. (And that might be overstating their adoption.)
Rust seems to be doing rather well though, and it aims square at low-level systems and network programming. Hoping it replaces C++ for new dev.
/@streakmachine