Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
AdaCore Announces Gnat Pro for Rust (adacore.com)
4 points by conradludgate on Sept 2, 2023 | hide | past | favorite | 4 comments


It seems like this is a commercial LTS fork of Rust. I hope they contribute funds upstream. Currently with their silver membership in the Rust Foundation it's only $15,000pa


They are also contributing to Rust standardization efforts through the Ferrocene project which aims to create a validated Rust toolchain for safety-critical applications:

https://ferrous-systems.com/blog/ferrous-systems-adacore-joi...


It seems they left the Ferrocene project recently https://ferrous-systems.com/blog/ferrocene-update/


I had not seen that update.

Thank you for sharing it.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: