News for hackers. Stuff that matters.
Re:Ferrous Systems ends partnership with AdaCore by Xylakant on Saturday September 30, 2023 @03:54AM (#37713486)
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 one 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.

Re:Ferrous Systems ends partnership with AdaCore by k8svet on Sunday October 01, 2023 @04:50PM (#37730598)
Ah, for some reason this seems obvious now. I think it came down to ambiguity around the "we" in the first stanza. Thanks for the elaboration!