A Tour Through Ferrocene Development

Watch a conference talk exploring Ferrocene development, where Rust expert Florian Gilcher delves into this groundbreaking open-source downstream of the Rust compiler that's qualified for safety-critical systems in automotive and aerospace applications. Learn about the documentation and correctness verification processes that make Ferrocene unique, as it maintains alignment with the main Rust codebase while meeting stringent safety requirements. Drawing from over a decade of Rust experience and his leadership roles in the Rust project and foundation, Gilcher shares insights from his current work at Ferrous Systems bringing Rust into safety-critical environments. Delivered at ACCU 2024, a conference dedicated to programming professionalism across multiple languages and technologies.