From: Paul Rubin <no.email@nospam.invalid>
Subject: Adacore joins with Ferrous Systems to support Rust
Date: Wed, 02 Feb 2022 00:57:33 -0800 [thread overview]
Message-ID: <87o83pzlvm.fsf@nightsong.com> (raw)
https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust
Ferrous Systems is apparently a Rust support company based in Germany.
From the linked page:
"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."
No mention about whether there will be any type of FOSS or community
release. No word on whether the compiler and/or toolchain will be based
on the existing stuff, or something new. Wonder how they will
safety-certify anything in Rust when the language itself doesn't even
have a formal spec. But, it is an interesting development.
Is the writing on the wall for Ada?
next reply other threads:[~2022-02-02 8:57 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-02 8:57 Paul Rubin [this message]
2022-02-02 13:04 ` Adacore joins with Ferrous Systems to support Rust Luke A. Guest
2022-02-02 15:29 ` Marius Amado-Alves
2022-02-02 16:36 ` Luke A. Guest
2022-02-04 17:51 ` Stephen Leake
2022-04-18 16:01 ` Rene
2022-02-02 20:07 ` G.B.
2022-02-03 23:29 ` John McCabe
2022-02-11 17:40 ` amo...@unizar.es
2022-02-11 19:24 ` Luke A. Guest
2022-02-12 17:34 ` Alejandro R. Mosteo
2022-02-12 5:22 ` John Perry
2022-02-12 10:08 ` Marius Amado-Alves
2022-02-12 18:24 ` Alejandro R. Mosteo
2022-02-13 8:10 ` J-P. Rosen
2022-02-14 23:25 ` Randy Brukardt
2022-02-15 4:29 ` Paul Rubin
2022-02-12 23:59 ` John Perry
2022-02-18 13:24 ` Kevin Chadwick
2022-02-02 20:06 ` Paul Rubin
2022-02-03 1:34 ` Luke A. Guest
2022-02-03 2:20 ` Paul Rubin
2022-02-03 2:52 ` Luke A. Guest
2022-02-03 4:22 ` Paul Rubin
2022-02-03 9:54 ` Björn Lundin
2022-02-04 3:38 ` Randy Brukardt
2022-02-04 5:19 ` Paul Rubin
2022-02-03 11:30 ` Simon Wright
2022-02-03 12:51 ` Luke A. Guest
2022-02-04 3:20 ` Randy Brukardt
2022-02-04 10:28 ` Luke A. Guest
2022-02-04 17:51 ` Andreas ZEURCHER
2022-02-05 4:31 ` Randy Brukardt
2022-02-02 16:19 ` Stephen Leake
2022-02-02 18:48 ` Gautier write-only address
2022-02-02 20:03 ` Paul Rubin
2022-02-02 20:45 ` Dennis Lee Bieber
2022-02-12 4:42 ` 25.BZ943
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox