> Leveraging this experience, we are now ending our partnership so that, by focusing on our core customers independently, we can better support the high-integrity Rust market.
> [...]
> We respect AdaCore's decision to leave the joint Ferrocene project and thank them for contributing to the effort.
Sorry, as someone not playing inside-baseball in the Rust world... to be as charitable as I can... I don't get it.
Disclosure: I’m one of the managing directors of Ferrous Systems.
There’s no inside baseball here. Ferrous Systems founded the Ferrocene project in 2020/2021 (1). At some later point in time Ferrous and Adacore decided to partner up for the Ferrocene project. This year, Adacore decided to leave the partnership for reasons only they would be able to explain. They honored their obligations and still do honor the ones that remain, so we bear no ill will. We’re still pushing the project forward and are nearing certification. And we’ll have a few exciting things to share in the upcoming days.
All in all, it’s pretty boring, but a lot of paperwork. I‘m honestly surprised why of all of our blog posts this one makes it to the front page a few month after publishing. The way of the HN algorithm are truly mysterious.
(1) the exact date is a bit hard to pin down. We were talking about that much longer, but 2021 marks the founding of critical section, our subsidiary that is the legal entity behind the project.
> [...]
> We respect AdaCore's decision to leave the joint Ferrocene project and thank them for contributing to the effort.
Sorry, as someone not playing inside-baseball in the Rust world... to be as charitable as I can... I don't get it.