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
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
wanna hear about what it's like teaching Rust in higher education? learn about the embedded scene? the hippy lore of unconfs? all that and more in the interview with Bart Massey!
(video below)
(video below)
December 5, 2025 at 7:47 PM
wanna hear about what it's like teaching Rust in higher education? learn about the embedded scene? the hippy lore of unconfs? all that and more in the interview with Bart Massey!
(video below)
(video below)
that feeling when you've got the creator of CERT C and convener of the C Standards Committee actively working on the Safety-Critical Rust Coding Guidelines
wink, nudge @rcs.bsky.social
wink, nudge @rcs.bsky.social
December 4, 2025 at 11:33 PM
that feeling when you've got the creator of CERT C and convener of the C Standards Committee actively working on the Safety-Critical Rust Coding Guidelines
wink, nudge @rcs.bsky.social
wink, nudge @rcs.bsky.social
Reposted by Pete 🙆♂️
🚀 Ferrocene 25.11.0 is out – and yes, it’s open source!
Ships our first IEC 61508 (SIL 2)-certified subset of core, enabling certifiable Rust for safety-critical systems across multiple architectures.
⚙️ + updates from Rust 1.89 & 1.90.
🔗 Release Notes: public-docs.ferrocene.dev/main/release...
Ships our first IEC 61508 (SIL 2)-certified subset of core, enabling certifiable Rust for safety-critical systems across multiple architectures.
⚙️ + updates from Rust 1.89 & 1.90.
🔗 Release Notes: public-docs.ferrocene.dev/main/release...
December 3, 2025 at 2:04 PM
🚀 Ferrocene 25.11.0 is out – and yes, it’s open source!
Ships our first IEC 61508 (SIL 2)-certified subset of core, enabling certifiable Rust for safety-critical systems across multiple architectures.
⚙️ + updates from Rust 1.89 & 1.90.
🔗 Release Notes: public-docs.ferrocene.dev/main/release...
Ships our first IEC 61508 (SIL 2)-certified subset of core, enabling certifiable Rust for safety-critical systems across multiple architectures.
⚙️ + updates from Rust 1.89 & 1.90.
🔗 Release Notes: public-docs.ferrocene.dev/main/release...
very common Rust story -- get them in the door for what it says on the tin for memory safety and performance
then once a taste has been had of the Rust ecosystem tooling, people are very happy to stick with it
then once a taste has been had of the Rust ecosystem tooling, people are very happy to stick with it
December 2, 2025 at 10:04 PM
very common Rust story -- get them in the door for what it says on the tin for memory safety and performance
then once a taste has been had of the Rust ecosystem tooling, people are very happy to stick with it
then once a taste has been had of the Rust ecosystem tooling, people are very happy to stick with it
discussed with HAL4SDV, a European automotive consortium, a bit today about Rust's landscape for safety-critical and bits that are in motion
(link to slides follows)
(link to slides follows)
December 2, 2025 at 8:41 PM
discussed with HAL4SDV, a European automotive consortium, a bit today about Rust's landscape for safety-critical and bits that are in motion
(link to slides follows)
(link to slides follows)
one concern brought up is along the lines of "okay, Rust helps largely with temporal safety, what about spatial safety?"
it's a neat question; thinking to:
- explain a bit more about Rust's ownership and borrowing
- discuss how indexing is checked for spatial safety
- dive into pointer provenance
it's a neat question; thinking to:
- explain a bit more about Rust's ownership and borrowing
- discuss how indexing is checked for spatial safety
- dive into pointer provenance
gonna be chatting at an upcoming HAL4SDV meeting to share Rust's positioning in Automotive and address outstanding concerns
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
November 30, 2025 at 6:58 PM
one concern brought up is along the lines of "okay, Rust helps largely with temporal safety, what about spatial safety?"
it's a neat question; thinking to:
- explain a bit more about Rust's ownership and borrowing
- discuss how indexing is checked for spatial safety
- dive into pointer provenance
it's a neat question; thinking to:
- explain a bit more about Rust's ownership and borrowing
- discuss how indexing is checked for spatial safety
- dive into pointer provenance
pls casio cut this out, fix up your website to prevent / slow down scalpers, and let me buy the back to the future watch ;-;
November 30, 2025 at 5:23 PM
pls casio cut this out, fix up your website to prevent / slow down scalpers, and let me buy the back to the future watch ;-;
gonna be chatting at an upcoming HAL4SDV meeting to share Rust's positioning in Automotive and address outstanding concerns
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
November 30, 2025 at 3:58 AM
gonna be chatting at an upcoming HAL4SDV meeting to share Rust's positioning in Automotive and address outstanding concerns
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
if you're unfamiliar with HAL4SDV as i was a little while ago, read on
Reposted by Pete 🙆♂️
I'm continuously impressed with how just how good the Rust ecosystem is. Whenever I look for a crate or a CLI utility that does what I want, 95% of the time I find it.
And the rest of the time, the components are right there for me to build it.
And the rest of the time, the components are right there for me to build it.
November 28, 2025 at 3:12 PM
I'm continuously impressed with how just how good the Rust ecosystem is. Whenever I look for a crate or a CLI utility that does what I want, 95% of the time I find it.
And the rest of the time, the components are right there for me to build it.
And the rest of the time, the components are right there for me to build it.
happy afternoon nap after overeating day to all that celebrate
November 27, 2025 at 11:49 PM
happy afternoon nap after overeating day to all that celebrate
if you've not yet seen the Rust Project Content Team's interview with Jan David Nose about Rust infrastructure yet, no better time than the present
bonus: text transcript now included
link below
bonus: text transcript now included
link below
November 25, 2025 at 3:33 PM
if you've not yet seen the Rust Project Content Team's interview with Jan David Nose about Rust infrastructure yet, no better time than the present
bonus: text transcript now included
link below
bonus: text transcript now included
link below
this interview was great to chat about with Drew in, but --
you might be thinking: Toyota? Rust???
buy a 2026 Toyota RAV4 and you can have Rust in your car: yes really
more below
you might be thinking: Toyota? Rust???
buy a 2026 Toyota RAV4 and you can have Rust in your car: yes really
more below
Toyota's "Tip Of The Spear" Is Choosing Rust!
We just put out an awesome new episode of our podcast, this time featuring Pete LeVasseur of Woven by Toyota. Link below:
We just put out an awesome new episode of our podcast, this time featuring Pete LeVasseur of Woven by Toyota. Link below:
November 24, 2025 at 10:11 PM
this interview was great to chat about with Drew in, but --
you might be thinking: Toyota? Rust???
buy a 2026 Toyota RAV4 and you can have Rust in your car: yes really
more below
you might be thinking: Toyota? Rust???
buy a 2026 Toyota RAV4 and you can have Rust in your car: yes really
more below
i've run a weekly Rust Watercooler Chat for seven months internally. have had wide variety of participants across broader Toyota Group, not just Woven by Toyota.
ama
ama
November 23, 2025 at 12:44 AM
i've run a weekly Rust Watercooler Chat for seven months internally. have had wide variety of participants across broader Toyota Group, not just Woven by Toyota.
ama
ama
an activist investor attempted a hostile takeover of Compuware Corporation
November 23, 2025 at 12:38 AM
an activist investor attempted a hostile takeover of Compuware Corporation