Safety-Critical Rust Consortium
@safetycriticalrust.bsky.social
Did you know that the Tooling Subcommittee has put together a process for submitting tools which are or potentially could be used for safety-critical systems development in Rust?
More details follow
More details follow
December 16, 2025 at 10:35 PM
Did you know that the Tooling Subcommittee has put together a process for submitting tools which are or potentially could be used for safety-critical systems development in Rust?
More details follow
More details follow
We addressed a few long-standing issues which were becoming troublesome
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
December 16, 2025 at 2:55 AM
We addressed a few long-standing issues which were becoming troublesome
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
We'd also heard that it's important to be able to include more compliant and non-compliant examples of the coding guideline to ensure clarity, so we upped the number of each.
December 16, 2025 at 2:55 AM
We'd also heard that it's important to be able to include more compliant and non-compliant examples of the coding guideline to ensure clarity, so we upped the number of each.
We've improved the guidance on how to use the coding guideline that's been converted from Markdown to reStructuredText and -- we now test all code examples in the submitted guideline!
More details follow.
More details follow.
December 16, 2025 at 2:55 AM
We've improved the guidance on how to use the coding guideline that's been converted from Markdown to reStructuredText and -- we now test all code examples in the submitted guideline!
More details follow.
More details follow.
Another challenge we were facing is the growing number of contributions (a good thing!) causing a bit of review slow-down and then merge conflicts.
To resolve this, we changed from having each chapter contain all guideline sources to instead breaking each guideline into its own file, then including
To resolve this, we changed from having each chapter contain all guideline sources to instead breaking each guideline into its own file, then including
December 12, 2025 at 10:11 PM
Another challenge we were facing is the growing number of contributions (a good thing!) causing a bit of review slow-down and then merge conflicts.
To resolve this, we changed from having each chapter contain all guideline sources to instead breaking each guideline into its own file, then including
To resolve this, we changed from having each chapter contain all guideline sources to instead breaking each guideline into its own file, then including
It was important that we catch the code examples in the guidelines early, before we have a large proliferation of coding guidelines and fixing the examples would have become painful.
Screenshots show what running the script locally looks like to extract and test the example code.
Screenshots show what running the script locally looks like to extract and test the example code.
December 12, 2025 at 10:11 PM
It was important that we catch the code examples in the guidelines early, before we have a large proliferation of coding guidelines and fixing the examples would have become painful.
Screenshots show what running the script locally looks like to extract and test the example code.
Screenshots show what running the script locally looks like to extract and test the example code.
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
- 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
December 12, 2025 at 10:11 PM
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
- 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
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)
(survey link below)
December 9, 2025 at 7:10 PM
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)
(survey link below)
Hey there 👋 are you aware of the Safety-Critical Rust Consortium? 🦀🦺
We were founded about a year and a half ago with the mission to make Rust a first-class choice when starting a safety-critical systems project (think trains, planes and automobiles -- and more).
We were founded about a year and a half ago with the mission to make Rust a first-class choice when starting a safety-critical systems project (think trains, planes and automobiles -- and more).
December 7, 2025 at 4:58 PM
Hey there 👋 are you aware of the Safety-Critical Rust Consortium? 🦀🦺
We were founded about a year and a half ago with the mission to make Rust a first-class choice when starting a safety-critical systems project (think trains, planes and automobiles -- and more).
We were founded about a year and a half ago with the mission to make Rust a first-class choice when starting a safety-critical systems project (think trains, planes and automobiles -- and more).