Next week, @skade will be on stage at the US Automotive Computing Conference in Detroit talking about #Ferrocene and our qualified software journey. And we're excited to see that #RustLang will be well represented on stage with Florian as well as a keynote from Pete LeVasseur on #RustLang in safety-critical development.

🔗 More information, including speakers and schedule here: https://www.automotive-computing-usa.com/

#RustinAutomotive #ISO26262

Delivering high-accuracy neonatal monitoring with Rust and Ferrocene in a joint project with @ferrous.

Find the demo at Booth 4-402 in Hall 4 at Embedded World.

#RustLang #EmbeddedRust #Ferrocene #EmbeddedSystems #MedTech

Who is in Nuremberg? We're going to be at #EmbeddedWorld to talk #RustLang and #Ferrocene and #RustonEmbedded
Come say hi and get a sticker or two 🦀

@alg0w @nullagent Fans would do whatever they wish for and asking them to do otherwise is at least wishful thinking.

The fact #Rust doesn't have #ISO standard is IMVHO a blessing - getting anything standardised is a painful process, then #Rust somehow avoided adding nonsense contrary to C++.

Not worries about the license at all - it let #Ferrocene and #AdaCore work on their safety certified products w/o rewriting the whole code.

#Rust could be better w/bounded types, still a lot can be done.

🎃 No tricks, just type safety.

At Ferrous Systems, we believe code should be safe, not scary.

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

@kkarhan @anselmschueler @renormalist @aliceif @bill88t @BrodieOnLinux @AsahiLinux @OS1337 @landley You can build air gapped #Rust, it's just more effort. #Ferrocene does that regularly by not using #Cargo.
Adopting the FLS | Rust Blog

Empowering everyone to build reliable and efficient software.

#Rust has a new path to create a formal language specification for #syntax and #semantics.

Ferrous Systems is donating their work on a language specification to the rust project and the wider community.

https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/

#languagespecification
#rustlang
#ferroussystems
#ferrocene

Ferrous Systems Donates Ferrocene Language Specification to Rust Project - The Rust Foundation

Rust 1.0 was published in May 2015. As the language approaches its 10th anniversary, Rust has become one of the fastest growing and most-loved languages [1] among developers, thanks to a combination of speed, safety and a vibrant community.  Like any growing open source language, Rust has a considerable amount…

The Rust Foundation

An Electronically Controllable Sliding Molecular Machine

Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage

https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/

#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews

An Electronically Controllable Sliding Molecular Machine - ChemistryViews

Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage

ChemistryViews

📢 Ferrocene 24.11.0 now available! This version upgrades #Ferrocene from Rust 1.79.0 to Rust 1.81.0 and includes qualified support for the Armv8-A QNX 7.1.0 and x86-64 QNX 7.1.0 platforms. This version is also qualified for medical device software (IEC 62304).

Read more from infrastructure lead @ana here on the blog: https://ferrous-systems.com/blog/ferrocene-24-11-0/

Ferrocene 24.11.0 now available!

We’re proud to announce the release of Ferrocene 24.11.0, the latest update to our qualified Rust toolchain. This version includes new Rust improvements, medical qualification, a new host platform, and qualification of our existing QNX toolchains.