>> Adacore in the last few years have been investing heavily in modernizing the tool chain, but now it seems they are also investing in Rust. Adacore is workin

>> Adacore in the last few years have been investing heavily in modernizing the tool chain, but now it seems they are also investing in Rust. Adacore is working with Ferrous Systems on Ferrocene (https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/), a Rust toolchain for use on safety critical applications: https://blog.adacore.com/announcing-publication-of-the-draft-ferrocene-language-specification https://blog.adacore.com/announcing-publication-of-the-draft... https://ferrous-systems.com/blog/ferrous-systems-adacore-joining-forces/ https://ferrous-systems.com/blog/ferrous-systems-adacore-joi... I am hoping that Ferrocene's work will help the drive the standardization of Rust over the next few years: https://github.com/rust-lang/rust/issues/113527 https://github.com/rust-lang/rust/issues/113527