As a Rust developer, I second the question. I love to see the broad move towards safer languages, but let's not forget that Rust is not the only safe language

As a Rust developer, I second the question. I love to see the broad move towards safer languages, but let's not forget that Rust is not the only safe language for system development. Plus iirc the model-checking ecosystem of Ada/SPARK is much more mature than that of Rust.