Ferrocene update

Hey there! Do you use Rust or are you interested in learning more about it? Well, we have some exciting news for you! There's a new update on Ferrocene, the top safety compiler for Rust, and we think you should definitely check it out. In collaboration with AdaCore, Ferrous Systems has been working on a Rust toolchain that is undergoing qualification for safety standards. They have even made the language specification available to the community! By gaining valuable experience in certification, they are now able to confidently support the high-integrity Rust market. What's even cooler is that Ferrocene will be available later this year, proving that Rust is ready for adoption in all industrial use cases, including safety-critical ones. It's a game-changer! Although AdaCore is leaving the Ferrocene project, both sides have benefited from the partnership and exchange of knowledge. Ferrous Systems is committed to their partners and customers in all industries, as well as the Rust communities. So,

Link: Ferrocene update