Pete 🙆♂️
@awkwardmap.bsky.social
Rust @ Woven by Toyota 🦀✌️ Lead @ Safety-Critical Rust Consortium, Chair @ Coding Guidelines, 3 x girl dad, 🇯🇵 日本語オッケー
Pinned
Pete 🙆♂️
@awkwardmap.bsky.social
· Sep 13
tfw you get asked "why Rust in Automotive" and you have the recorded talk ready to go
link to talk in thread
link to talk in thread
trying out opencode backed by claude opus 4.5
good chance to test run new things over the holidays :D
i'd been a webchat guy only up till now with LLMs, so it's a bit of a change, but --
overall enjoying the experience, with opencode opened inside of neovim's terminal. navigability is nice
good chance to test run new things over the holidays :D
i'd been a webchat guy only up till now with LLMs, so it's a bit of a change, but --
overall enjoying the experience, with opencode opened inside of neovim's terminal. navigability is nice
December 29, 2025 at 9:57 PM
trying out opencode backed by claude opus 4.5
good chance to test run new things over the holidays :D
i'd been a webchat guy only up till now with LLMs, so it's a bit of a change, but --
overall enjoying the experience, with opencode opened inside of neovim's terminal. navigability is nice
good chance to test run new things over the holidays :D
i'd been a webchat guy only up till now with LLMs, so it's a bit of a change, but --
overall enjoying the experience, with opencode opened inside of neovim's terminal. navigability is nice
ever curious why people that work in safety-critical systems want to use Rust?
here's the title slide for the talk i'll give at @rustnationuk.bsky.social about this
here's the title slide for the talk i'll give at @rustnationuk.bsky.social about this
![title slide of talk being given at Rust Nation UK:
[Title] Rust for Foundational SW or: Safety-Critical Software in Rust](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:nzjdb45ypvwdnixflhodgn4z/bafkreihmuu63icftjaynofj2eirc4r3dxphvw7ayhkcdmlvlfjstcaxbau@jpeg)
December 28, 2025 at 11:37 PM
ever curious why people that work in safety-critical systems want to use Rust?
here's the title slide for the talk i'll give at @rustnationuk.bsky.social about this
here's the title slide for the talk i'll give at @rustnationuk.bsky.social about this
wonder how many leads this is driving
god help us all, please do not hire mckinsey
please read the @pragmaticengineer.com or similar
god help us all, please do not hire mckinsey
please read the @pragmaticengineer.com or similar
December 28, 2025 at 7:41 PM
wonder how many leads this is driving
god help us all, please do not hire mckinsey
please read the @pragmaticengineer.com or similar
god help us all, please do not hire mckinsey
please read the @pragmaticengineer.com or similar
a boiled egg, when warmed, exploded in my wife's face
she just turned to me and asked "did i get egg on my face?"
(she's fine and no egg on face)
she just turned to me and asked "did i get egg on my face?"
(she's fine and no egg on face)
December 27, 2025 at 4:27 PM
a boiled egg, when warmed, exploded in my wife's face
she just turned to me and asked "did i get egg on my face?"
(she's fine and no egg on face)
she just turned to me and asked "did i get egg on my face?"
(she's fine and no egg on face)
like all good scrabble games with young kids, it came to an abrupt end when i pulled into the lead and the eldest nope'd out
ah, takes me back to when i used to be on the other side of this exchange
ah, takes me back to when i used to be on the other side of this exchange
December 26, 2025 at 7:23 PM
like all good scrabble games with young kids, it came to an abrupt end when i pulled into the lead and the eldest nope'd out
ah, takes me back to when i used to be on the other side of this exchange
ah, takes me back to when i used to be on the other side of this exchange
played scrabble with the kids this morning
eldest is starting to understand how to lay out tiles to make >= 2 words at once, nice
middle is using her newly obtained sight word powers to make words like "and", nice
youngest is tapping us with her skye figure and telling us it gives us powers, nice
eldest is starting to understand how to lay out tiles to make >= 2 words at once, nice
middle is using her newly obtained sight word powers to make words like "and", nice
youngest is tapping us with her skye figure and telling us it gives us powers, nice
December 26, 2025 at 6:24 PM
played scrabble with the kids this morning
eldest is starting to understand how to lay out tiles to make >= 2 words at once, nice
middle is using her newly obtained sight word powers to make words like "and", nice
youngest is tapping us with her skye figure and telling us it gives us powers, nice
eldest is starting to understand how to lay out tiles to make >= 2 words at once, nice
middle is using her newly obtained sight word powers to make words like "and", nice
youngest is tapping us with her skye figure and telling us it gives us powers, nice
We've brought some requested improvements to the coding guideline example code blocks:
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
December 25, 2025 at 9:15 PM
hey there y'all -- don't miss out in lending your voice to what it'd take to bring more Rust programming language goodness to your safety-critical industry
survey closes tomorrow evening, right before midnight pacific time in the states
prob take you around ~10 minutes
bsky.app/profile/safe...
survey closes tomorrow evening, right before midnight pacific time in the states
prob take you around ~10 minutes
bsky.app/profile/safe...
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 18, 2025 at 2:11 PM
hey there y'all -- don't miss out in lending your voice to what it'd take to bring more Rust programming language goodness to your safety-critical industry
survey closes tomorrow evening, right before midnight pacific time in the states
prob take you around ~10 minutes
bsky.app/profile/safe...
survey closes tomorrow evening, right before midnight pacific time in the states
prob take you around ~10 minutes
bsky.app/profile/safe...
Reposted by Pete 🙆♂️
the Safety-Critical Rust Consortium is also looking to gather up tools which could be a good fit for safety-critical
check it out:
bsky.app/profile/safe...
check it out:
bsky.app/profile/safe...
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:36 PM
the Safety-Critical Rust Consortium is also looking to gather up tools which could be a good fit for safety-critical
check it out:
bsky.app/profile/safe...
check it out:
bsky.app/profile/safe...
me when my GitHub stats are skewed by preparing for the @sdv.eclipse.org hackathon
you and the C programming language win this time @rcs.bsky.social
you and the C programming language win this time @rcs.bsky.social
December 16, 2025 at 10:23 PM
me when my GitHub stats are skewed by preparing for the @sdv.eclipse.org hackathon
you and the C programming language win this time @rcs.bsky.social
you and the C programming language win this time @rcs.bsky.social
December 16, 2025 at 5:11 PM
hey you there -- yeah you: you been wanting some nice general purpose coding guidelines for Rust?
you wanna help build 'em?
oh it says "safety-critical"? yep that's the initial focus, but they should support anyone building in the Rust programming language
bsky.app/profile/safe...
you wanna help build 'em?
oh it says "safety-critical"? yep that's the initial focus, but they should support anyone building in the Rust programming language
bsky.app/profile/safe...
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:24 PM
hey you there -- yeah you: you been wanting some nice general purpose coding guidelines for Rust?
you wanna help build 'em?
oh it says "safety-critical"? yep that's the initial focus, but they should support anyone building in the Rust programming language
bsky.app/profile/safe...
you wanna help build 'em?
oh it says "safety-critical"? yep that's the initial focus, but they should support anyone building in the Rust programming language
bsky.app/profile/safe...
some folks are never beating the allegations of moving from one grift to the next
i'm cringing at how many posts i'm seeing on linkedin about "my journey from blockchain to ai"
i'm cringing at how many posts i'm seeing on linkedin about "my journey from blockchain to ai"
December 15, 2025 at 8:34 PM
some folks are never beating the allegations of moving from one grift to the next
i'm cringing at how many posts i'm seeing on linkedin about "my journey from blockchain to ai"
i'm cringing at how many posts i'm seeing on linkedin about "my journey from blockchain to ai"
Reposted by Pete 🙆♂️
🦀 A unique #opportunity for #RustLang enthusiasts and verification researchers: Join us for a three-year project formalizing a Rust subset – and pursue a PhD if you choose.
Interested? 👉 ferrous-systems.com/blog/researc...
Interested? 👉 ferrous-systems.com/blog/researc...
December 12, 2025 at 12:05 PM
🦀 A unique #opportunity for #RustLang enthusiasts and verification researchers: Join us for a three-year project formalizing a Rust subset – and pursue a PhD if you choose.
Interested? 👉 ferrous-systems.com/blog/researc...
Interested? 👉 ferrous-systems.com/blog/researc...
heyyyo -- reminder that the survey of Rust programming language users in safety-critical ends next week Friday
take a gander at the quoted post and excrete 10 minutes of your day onto it pls
bsky.app/profile/safe...
take a gander at the quoted post and excrete 10 minutes of your day onto it pls
bsky.app/profile/safe...
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:18 PM
heyyyo -- reminder that the survey of Rust programming language users in safety-critical ends next week Friday
take a gander at the quoted post and excrete 10 minutes of your day onto it pls
bsky.app/profile/safe...
take a gander at the quoted post and excrete 10 minutes of your day onto it pls
bsky.app/profile/safe...
santa came through our neighborhood earlier this evening, pitching candies to dance across the sidewalk and street
December 11, 2025 at 2:22 AM
santa came through our neighborhood earlier this evening, pitching candies to dance across the sidewalk and street
the Rust Project folks seem open to learning more of what those of us in safety-critical industries would need to expand Rust usage. this is great to see!
survey should take 10 minutes or so tops, take a look if you can make time
survey should take 10 minutes or so tops, take a look if you can make time
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:13 PM
the Rust Project folks seem open to learning more of what those of us in safety-critical industries would need to expand Rust usage. this is great to see!
survey should take 10 minutes or so tops, take a look if you can make time
survey should take 10 minutes or so tops, take a look if you can make time
to whomever said people might be confused regarding Woven by Toyota choosing the Rust programming language for key areas --
you were right: Reddit's similar threads algorithm at minimum is confused
you were right: Reddit's similar threads algorithm at minimum is confused
December 8, 2025 at 4:15 PM
to whomever said people might be confused regarding Woven by Toyota choosing the Rust programming language for key areas --
you were right: Reddit's similar threads algorithm at minimum is confused
you were right: Reddit's similar threads algorithm at minimum is confused
wife just hit me with: "oh... when you're on the computer you look so macho"
"your veins are sticking out, wow"
"your veins are sticking out, wow"
December 8, 2025 at 12:20 AM
wife just hit me with: "oh... when you're on the computer you look so macho"
"your veins are sticking out, wow"
"your veins are sticking out, wow"
interested in safety-critical + Rust? check it out
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 5:00 PM
interested in safety-critical + Rust? check it out
when i read or hear people discuss how Rust's ergonomics are not great for the problem they are trying to solve i think:
- okay, but that likely can be improved if you discussed with the Rust Project folks
- i'm still very happy to push Rust in safety-critical
- okay, but that likely can be improved if you discussed with the Rust Project folks
- i'm still very happy to push Rust in safety-critical
December 7, 2025 at 4:46 PM
when i read or hear people discuss how Rust's ergonomics are not great for the problem they are trying to solve i think:
- okay, but that likely can be improved if you discussed with the Rust Project folks
- i'm still very happy to push Rust in safety-critical
- okay, but that likely can be improved if you discussed with the Rust Project folks
- i'm still very happy to push Rust in safety-critical
didja know that the Rust Project Content Team's put out five interviews so far? ranging from how the Infra Team works to Rust + GPUs to the hippy lore of unconfs
(playlist link below)
(playlist link below)
December 7, 2025 at 4:34 PM
didja know that the Rust Project Content Team's put out five interviews so far? ranging from how the Infra Team works to Rust + GPUs to the hippy lore of unconfs
(playlist link below)
(playlist link below)
nice! @rcs.bsky.social is contributing actively enough to the Safety-Critical Rust Coding Guidelines that issues with contributor experience are being found and squashed
December 7, 2025 at 3:48 PM
nice! @rcs.bsky.social is contributing actively enough to the Safety-Critical Rust Coding Guidelines that issues with contributor experience are being found and squashed
psst, to let you in on a secret: the hope is to build these coding standards in a comprehensive way to scale up or down to your project, even outside of safety-critical spaces
What exactly is the Safety-Critical Rust Consortium doing? Pete (@awkwardmap.bsky.social) explains! 👇
December 6, 2025 at 9:44 PM
psst, to let you in on a secret: the hope is to build these coding standards in a comprehensive way to scale up or down to your project, even outside of safety-critical spaces