Recent searches
Search options
#ferrocene
#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/
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/
A Tour Through Ferrocene Development – by @skade – ACCU 2024
A Tour Through Ferrocene Development – by @skade – ACCU 2024
@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
A Tour Through Ferrocene Development – by @skade – ACCU 2024
A Tour Through Ferrocene Development – by @skade – ACCU 2024
A Tour Through Ferrocene Development – by @skade – ACCU 2024
A Tour Through Ferrocene Development – by @skade – ACCU 2024
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
I'll be heading to @eurorust in Brussels tomorrow. Looking forward to chatting to as many people as possible about #EmbeddedRust and #Ferrocene!
Also as a member of the Leadership Council I will listen to your rants and complaints too.
The release train keeps on running - and always on time.
There was a new Rust yesterday. I sorted of missed it in all the #ferrocene fun, and having a day off sick.
Did you miss our #Rust 
livestream yesterday? No problem – you can catchup with our panelists and tune into our #Ferrocene announcement (it's #OpenSource!)
and get more like pricing and availability here:
@a13cui RE a verified rustc, are you aware of #ferrocene https://ferrous-systems.com/ferrocene/? RE #Rust vs #Ada I wouldn’t want to miss Rust’s type system including ownership, but Ada also has features that would be nice to have in Rust (such as pre and post conditions)