by xavxav on 2/2/2022, 10:33:34 AM
by the__alchemist on 2/2/2022, 8:41:50 AM
Ferrous's embedded Rust tooling is outstanding. Ie its [Knurling App template](https://github.com/knurling-rs/app-template), and associated Probe-run, Deft, and flip-link.
These make flashing and debugging Rust embedded very easy - easier than any embedded toolchain I've seen besides Arduino.
by ajxs on 2/2/2022, 9:25:22 AM
This is a very interesting move from AdaCore. I've been a vocal advocate of Ada as a general purpose programming language for a little while. I hope that this helps expose the language to a wider audience, and gives the wider programming community cause to reappraise Ada from a modern perspective. It's a language with a lot to offer.
by pjmlp on 2/2/2022, 9:23:56 AM
This are big news, congratulations to everyone making this happen!
Looking forward to what it might bring into safer computing world.
by nix23 on 2/2/2022, 8:31:18 AM
I have no connections to AdaCore, but the products are absolutely great (especially GNAT community edition).
by goombacloud on 2/2/2022, 11:38:53 AM
I hope someone also picks up the work started in https://project-oak.github.io/rust-verification-tools/ - the idea of having a `cargo verify` tool that supports different backends is great for bridging the academic PoCs with something that an average programmer can integrate into the dev workflow.
by mothsonasloth on 2/2/2022, 11:33:42 AM
Does this mean someone can program a AIM-120 AMRAAM missile in Rust instead of Ada?
by brabel on 2/2/2022, 11:32:02 AM
Can we get a Rust version of Spark now? I think that would be really cool!
by pabs3 on 2/2/2022, 11:24:42 AM
Is Ferrocene going to be open source?
by sitkack on 2/2/2022, 7:33:14 PM
This is so wonderful that two companies so focused on reliability and safety are teaming up!
> Ferrous Systems and AdaCore are announcing today that they’re joining forces to develop Ferrocene - a safety-qualified Rust toolchain, which is aimed at supporting the needs of various regulated markets, such as automotive, avionics, space, and railway.
Hoping for a long, fruitful relationship!
*edit, Yay!
by guerby on 2/2/2022, 9:31:16 AM
Soon a "pragma Import (Rust, MyFunction);" ? :)
This is exciting! I've met with people from AdaCore and Ferrous systems (individually) several times and they're all serious, competent and motivated.
I'm curious what kinds of software they want to (eventually) verify, my PhD thesis is developing a verification tool for Rust (https://github.com/xldenis/creusot) and I'm always on the look out for case studies to push me forward.
The road to formally verified Rust is still long but in my unbiased opinion looking quite bright, especially compared to other languages like C. Ownership typing really, really simplifies verification.