One interesting development is the collaboration between the Ada/spark communities and the Rust community. For example, Adacore is releasing a certified Rust co

One interesting development is the collaboration between the Ada/spark communities and the Rust community. For example, Adacore is releasing a certified Rust compiler pretty soon [1]. I seem to recall they were using Spark for some of the core libraries then exposing all the goodness to the Rust code. [1]https://www.adacore.com/gnatpro-rust https://www.adacore.com/gnatpro-rust