(no title)
demizer | 2 years ago
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.
demizer | 2 years ago
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.
hbossy|2 years ago
thesuperbigfrog|2 years ago
Adacore is working with Ferrous Systems on Ferrocene (https://ferrous-systems.com/ferrocene/), a Rust toolchain for use on safety critical applications:
https://blog.adacore.com/announcing-publication-of-the-draft...
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