Safety-Critical Rust Consortium

@safetycriticalrust.bsky.social

https://arewesafetycriticalyet.org/

Did you know that: The Coding Guidelines Subcommittee rotates their meeting to make it easier for regions to join? - Americas + Europe-friendly - Europe + Asia-Pacific-friendly - Asia-Pacific + Americas-friendly If you're located in Asia-Pacific we'd love to have you! bsky.app/profile/safe...

Safety-Critical Rust Consortium@safetycriticalrust.bsky.social · 7mo ago

Curious about joining the Safety-Critical Rust Consortium? It's as easy as submitting a GitHub issue: github.com/rustfoundati...

Hey folks 👋 the survey closes tomorrow, so be sure to get your thoughts in regarding "what it would take" to make Rust more suitable to your safety-critical industry and business!

Safety-Critical Rust Consortium@safetycriticalrust.bsky.social · 8mo ago

Are you in a safety-critical industry? Using the Rust programming language (@rust-lang.org) or would like to? Make your voice heard when it comes to what you'd like to see for Rust Project Goals! (survey link below)

Now that we've gotten each guideline into its own source file to help with reducing merge conflicts, should we: 1. have the rendered version as it is today, with all guidelines in a chapter? 2. have the rendered version with a flat list in the chapter, linking out to one guideline per rendered page?

A couple of significant upgrades to contributing to our coding guidelines: - all example code is now extracted and tested - each guideline exists as its own source file These both fall under our contributor experience label and we take these seriously. Writing a bit more about this below

Current deploy pipeline showing that examples are extracted and compiled to check them for validity

Howdy y'all 👋 reminder that our survey of safety-critical Rust users for potential Project Goals in 2026 ends next Friday Check the quoted post for more details! bsky.app/profile/safe...

Safety-Critical Rust Consortium@safetycriticalrust.bsky.social · 8mo ago

Are you in a safety-critical industry? Using the Rust programming language (@rust-lang.org) or would like to? Make your voice heard when it comes to what you'd like to see for Rust Project Goals! (survey link below)