Safety-Critical Rust Consortium
@safetycriticalrust.bsky.social
Do you know of a tool that'd be a good fit?
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 10:35 PM
Do you know of a tool that'd be a good fit?
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
First off, here's a link to the process:
arewesafetycriticalyet.org/tooling/rfc-...
arewesafetycriticalyet.org/tooling/rfc-...
Tools List Maintenance Flows | Are We Safety Critical Yet?
This section defines how the tools list is managed by the tooling subcommittee.
arewesafetycriticalyet.org
December 16, 2025 at 10:35 PM
First off, here's a link to the process:
arewesafetycriticalyet.org/tooling/rfc-...
arewesafetycriticalyet.org/tooling/rfc-...
We'll probably see the work done by early next week leaning towards one guideline per page, unless folks speak up otherwise 😉
December 16, 2025 at 3:58 PM
We'll probably see the work done by early next week leaning towards one guideline per page, unless folks speak up otherwise 😉
So far three in favor of one guideline per page, so if you've got other thoughts, weigh in!
December 16, 2025 at 3:58 PM
So far three in favor of one guideline per page, so if you've got other thoughts, weigh in!
Here's where we're gonna discuss this:
github.com/rustfoundati...
github.com/rustfoundati...
Should: 1. each chapter contain all guidelines or 2. a flat list linking to them and each guideline is its own page? · Issue #284 · rustfoundation/safety-critical-rust-coding-guidelines
Now that we have each guideline in its own source file to reduce merge conflicts, ... the question becomes one of should we, when rendering the document: have each chapter contain all guidelines (a...
github.com
December 16, 2025 at 3:58 PM
Here's where we're gonna discuss this:
github.com/rustfoundati...
github.com/rustfoundati...
Step two's attending meetings for some area of interest:
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 2:55 AM
Step two's attending meetings for some area of interest:
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
Interested in observing progress? Getting involved?
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 2:55 AM
Interested in observing progress? Getting involved?
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
And we've also updated our contributing guidelines to reflect these and other recent improvements:
github.com/rustfoundati...
github.com/rustfoundati...
github.com
December 16, 2025 at 2:55 AM
And we've also updated our contributing guidelines to reflect these and other recent improvements:
github.com/rustfoundati...
github.com/rustfoundati...
Repo's here:
github.com/rustfoundati...
github.com/rustfoundati...
GitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines
github.com
December 16, 2025 at 2:55 AM
Repo's here:
github.com/rustfoundati...
github.com/rustfoundati...
If you'd like to see the deployed version it's here:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
Safety-Critical Rust Coding Guidelines — Safety-Critical Rust Coding Guidelines 0.1 documentation
coding-guidelines.arewesafetycriticalyet.org
December 16, 2025 at 2:55 AM
If you'd like to see the deployed version it's here:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
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.
And another GitHub issue to join one of our Subcommittees:
- Coding Guidelines
- Liaison
- Tooling
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 12, 2025 at 10:11 PM
And another GitHub issue to join one of our Subcommittees:
- Coding Guidelines
- Liaison
- Tooling
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
github.com/rustfoundati...
If you're interested in getting involved, it's easy!
Submit a GitHub issue to join the Consortium:
github.com/rustfoundati...
Submit a GitHub issue to join the Consortium:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 12, 2025 at 10:11 PM
If you're interested in getting involved, it's easy!
Submit a GitHub issue to join the Consortium:
github.com/rustfoundati...
Submit a GitHub issue to join the Consortium:
github.com/rustfoundati...
And the repo:
github.com/rustfoundati...
github.com/rustfoundati...
GitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines
github.com
December 12, 2025 at 10:11 PM
And the repo:
github.com/rustfoundati...
github.com/rustfoundati...
Here's the currently deployed version:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
Safety-Critical Rust Coding Guidelines — Safety-Critical Rust Coding Guidelines 0.1 documentation
coding-guidelines.arewesafetycriticalyet.org
December 12, 2025 at 10:11 PM
Here's the currently deployed version:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
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.
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 12, 2025 at 5:14 PM
Survey closes next week Friday, so please take 10 minutes or so to leave your thoughts.
We'll be closely monitoring those items which have "Would contribute (financially or with engineering)" for potential Rust Project Goals
More here if interested:
rust-lang.github.io/rust-project...
We'll be closely monitoring those items which have "Would contribute (financially or with engineering)" for potential Rust Project Goals
More here if interested:
rust-lang.github.io/rust-project...
👋 Introduction - Rust Project Goals
rust-lang.github.io
December 12, 2025 at 5:11 PM
Survey closes next week Friday, so please take 10 minutes or so to leave your thoughts.
We'll be closely monitoring those items which have "Would contribute (financially or with engineering)" for potential Rust Project Goals
More here if interested:
rust-lang.github.io/rust-project...
We'll be closely monitoring those items which have "Would contribute (financially or with engineering)" for potential Rust Project Goals
More here if interested:
rust-lang.github.io/rust-project...