#ferrocene — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ferrocene, aggregated by home.social.
-
✨ Ferrocene 26.05.0 is out, offering a little more Rust, a little more certification support, and a few more tools for teams building safety-critical software.
What’s new in this release:
- a #[warn(ferrocene::unvalidated)] lint
- a qualified RHIVOS2 target
- limited -C target-cpu support
- certified core::fmtPlus, we've added updates from Rust 1.93–1.95.
Read more: 🔗 https://ferrous-systems.com/blog/ferrocene-26-05-0/
-
Join us at #HISC2026 on Oct. 13! 🎤
Alex Senier, Head of Product & Engineering at Ferrous Systems, will present "From requirements to HIL testing: Building a life-saving medical device in Rust"—covering Rust, requirements traceability, and automated hardware-in-the-loop testing for IEC 62304-compliant medical device firmware.
We'll also be exhibiting. We hope to see you there! 🤝
#RustLang #Embedded #MedicalDevices #FerrousSystems #Ferrocene
-
🦀 In a new post on the QNX Everywhere Blog, Jonathan Pallant of Ferrous Systems shares the story behind building a GUI application in Rust on QNX and how Rust's lifetime annotations helped us build a safe wrapper around the QNX Screen Graphics Subsystem, preventing use-after-free bugs with no runtime overhead.
🔗 Read the blog: https://qnx.software/en/blog/2026/using-rust-to-avoid-use-after-free-bugs
-
🕵️ Follow the clues through a week-long debugging investigation that began with a particularly thorny problem.
https://ferrous-systems.com/blog/query-cycles-a-compiler-murder-mystery/
#RustLang #Compiler #OpenSource #Debugging #Ferrocene #FerrousSystems
-
Ever wonder where to meet us?
We’ve listed the events we’ll be attending this year, and we are speaking at many of them — sharing how we help teams adopt and scale Rust, our work on Ferrocene (www.ferrocene.dev) — our open source, qualified Rust toolchain — and contributing to the wider Rust community.
See the full list on our blog: https://ferrous-systems.com/blog/where-to-meet-us-2026/
If you’re attending, too, we’d love to connect!
-
Safety-critical development is more than picking the right language - it consists of requirements management, testing, structural coverage analysis, & more.
Alex Senier & Manuel Hatzl (@ferrous) work through the software safety lifecycle at Oxidize 2026 in their hands-on workshop, to create a project scaffold for safety-critical development using Ferrocene & open-source Rust tooling.
🔗 https://oxidizeconf.com/sessions/safety_critical_rust_development_with_ferrocene
#Oxidize2026 #RustLang #Ferrocene #FunctionalSafety #Embedded #SafetyCritical
-
🦀 New on the blog: Callgraph analysis in #Ferrocene! We talk about trade-offs between different approaches, how we do it for Ferrocene and why – and how you can implement it yourself in your #RustLang code.
Read more: https://ferrous-systems.com/blog/callgraph-analysis/
-
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/
-
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! 👻🦀
-
@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.
-
Rust formally adopting FLS.
-
#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.
-
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
-
📢 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/
-
@the_art_of_giving_up there is https://spec.ferrocene.dev, which is the first major visible piece of work the initiative produced (for the goal of using Rust in safety critical domains)
@Alonely0 @Lunaphied @thephd -
📢 Ferrocene 24.08.0 now available! This version upgrades #Ferrocene from Rust 1.76.0 to Rust 1.79.0 and includes QNX support. Read more from tech lead @pietroalbini here on the blog: https://ferrous-systems.com/blog/ferrocene-24-08-0/
-
Discovered today #ferrocene for #rust on critical systems. Very fascinating to see.
Rust already is quite rigorously tested on the compiler.
This most likely excites its potential use on planes and other systems. Where well defined locks on foot guns are a must. 😅
-
🎉 We have news: We've updated #Ferrocene to #RustLang 1.76.0 and you can now purchase your license online in our shop.
@pietroalbini fills in the details over on the blog 👉 -
Get an overview of how #RustLang can be used as part of your functional-safety and high-security systems, including a look at #Ferrocene, the ISO26262- and IEC61508-qualified Rust toolchain.
💜 1-day Workshop at #OxidizeConf by @ferrous
Read about the workshop: https://oxidizeconf.com/sessions/intro-safety-critical/
Get your tickets at: https://ti.to/asquera-event-ug/oxidize-2024 -
We are looking for a Project Manager to plan and coordinate the development steps of the company's safety-critical compiler Ferrocene. Come, work with us!
> Project Manager (all genders) - remote work/German resident
