Pete ๐Ÿ™†โ€โ™‚๏ธ's Avatar

Pete ๐Ÿ™†โ€โ™‚๏ธ

@awkwardmap

Rust @ Woven by Toyota ๐Ÿฆ€โœŒ๏ธ Lead @ Safety-Critical Rust Consortium, Chair @ Coding Guidelines, 3 x girl dad, ๐Ÿ‡ฏ๐Ÿ‡ต ๆ—ฅๆœฌ่ชžใ‚ชใƒƒใ‚ฑใƒผ

150
Followers
91
Following
379
Posts
18.03.2025
Joined
Posts Following

Latest posts by Pete ๐Ÿ™†โ€โ™‚๏ธ @awkwardmap

yes -- i was given a media package

yes -- i did go ahead and hollow it out and go out of my way to include our little Ferris for the Safety-Critical Rust Coding Guidelines :)

06.03.2026 18:37 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
announcement image reading: I am speaking at #ACC US 2026 with a picture of Pete LeVasseur and his name and Woven by Toyota.

announcement image reading: I am speaking at #ACC US 2026 with a picture of Pete LeVasseur and his name and Woven by Toyota.

hey -- anybody coming out to Automotive Computing Conference US in Detroit on March 24th, 25th?

i'll be there chatting about "why Rust in safety-critical systems" in back-to-back sessions with @skade.bsky.social of @ferroussystems.bsky.social

come say hi! let's chat about blockers

06.03.2026 18:37 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Jan David Nose Interview, Rust Infrastructure Team [Rust Project Content @ RustConf 2025]
Jan David Nose Interview, Rust Infrastructure Team [Rust Project Content @ RustConf 2025] YouTube video by Rust Programming Language

check out the playlist of other interviews we've conducted so far:
www.youtube.com/watch?v=r7i-...

04.03.2026 19:43 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

shout out to @tylermandry.bsky.social for performing the interview and in such a scenic spot!

04.03.2026 19:43 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Daniel Almeida Interview, Writing a Linux GPU Kernel Driver in Rust [Rust Project Content]
Daniel Almeida Interview, Writing a Linux GPU Kernel Driver in Rust [Rust Project Content] YouTube video by Rust Programming Language

www.youtube.com/watch?v=rgjT...

04.03.2026 19:43 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
splash screen of interview of Daniel Almeida on work in writing a Linux GPU kernel driver in Rust

splash screen of interview of Daniel Almeida on work in writing a Linux GPU kernel driver in Rust

wanna hear about what writing a Linux GPU kernel driver is like?

how about what it's like _in Rust_?

check out the interview of Daniel Almeida!

another production of the Rust Project Content Team โœŒ๏ธ

04.03.2026 19:43 ๐Ÿ‘ 5 ๐Ÿ” 2 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

the page to nab the .ics to get the meeting on your calendar is here:
github.com/rust-sig/rus...

03.03.2026 18:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

listing of talks coming up are here:
github.com/rust-sig/rus...

03.03.2026 18:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
What does it take to ship Rust in safety-critical? | Rust Blog Empowering everyone to build reliable and efficient software.

in two weeks at the next Rust SIG i'll go through the blog post i wrote as a member of the Rust Vision doc team on: "What does it take to ship Rust in safety-critical?"
- and some things were left on the cutting room floor when writing it!
blog.rust-lang.org/2026/01/14/w...

03.03.2026 18:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Rust SIG Meeting - 2026-03-03 ยท rust-sig ยท Discussion #18 Hey folks ๐Ÿ‘‹ welcome to our fourth meeting of 2026. Rust SIG Meeting 2026-03-03 Agenda Solicitation of notetaker @PLeVasseur Rust Watercooler Chat Topic - Measuring the gap between C and Rust; Danie...

if you weren't able to make it this time to the @sdv.eclipse.org 's Rust Special Interest Group, feel free to check out the meeting notes below:
github.com/orgs/rust-si...

03.03.2026 18:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
screenshot showing that we had Daniel Silverstone of Codethink out to share with us about gaps between C and Rust when it comes to high-assurance and safety-critical

screenshot showing that we had Daniel Silverstone of Codethink out to share with us about gaps between C and Rust when it comes to high-assurance and safety-critical

thanks to Daniel Silverstone of @codethink.co.uk for coming out to share C <=> Rust gaps when it comes to high-assurance and safety-critical at the @sdv.eclipse.org Rust Special Interest Group

03.03.2026 18:48 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

> me, sleeping 8 hours, even interrupted here and there

wtf, sleeping helps?

i was always an early riser, had given up on being an early sleeper

maybe gotta revisit that D:

03.03.2026 13:56 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Do I know anyone who's worked with LittleFS for embedded devices? I'm writing some Rust tooling for building and deploying it and would appreciate hearing about how others have used it!

02.03.2026 21:39 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

until you write it all in Rust tbh

we all believe in you!

02.03.2026 18:49 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

if you're a part of an organization using Rust in automotive and/or another regulated industry and would like to talk about it in a low-stakes "watercooler chat" format in the Eclipse SDV Rust SIG feel free to reach out :)

02.03.2026 16:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

you can see more of our upcoming Eclipse SDV Rust SIG watercooler chat-style talks on the schedule here
github.com/rust-sig/rus...

02.03.2026 16:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

attending is easy, go here to pick up the .ics and add it to your calendar
github.com/rust-sig/rus...

02.03.2026 16:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

we had a good deal of interest on Rust in Functional Safety in our last Rust SIG meeting, which got me talking with Alex Senier of Ferrous Systems to come out. seems like that'll happen in May, so keep an eye out for it

02.03.2026 16:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
screenshot showing upcoming Eclipse SDV Rust SIG talks

in particular, tomorrow's / March 3rd 2026's is highlighed: "Measuring the gap between C and Rust" by Daniel Silverstone  of Codethink

screenshot showing upcoming Eclipse SDV Rust SIG talks in particular, tomorrow's / March 3rd 2026's is highlighed: "Measuring the gap between C and Rust" by Daniel Silverstone of Codethink

in ~23 hours see the work that Daniel Silverstone from @codethink.co.uk has done in C <=> Rust gap analysis at the @sdv.eclipse.org Rust SIG meeting :D

02.03.2026 16:12 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

9 y/o and 6 y/o spent about 2 hours this morning with me cleaning up the house

the payoff?
- dairy queen
- watching the new pixar flick: hoppers

we caught an early showing before official release
hoppers was great, nice environmental message :)

28.02.2026 22:08 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

most definitely; you two are the lovely sources of C and C++ 5g that this Rust brain needs :D soaking up these waves

28.02.2026 14:17 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

had someone comment this:

> I enjoy consuming your material, you describe and share real experience with Rust, and you don't disparage other languages. Your approach is really cool!

i'm gonna cry. this is the tone i was going for :')

28.02.2026 14:03 ๐Ÿ‘ 10 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

shout out to @rustnationuk.bsky.social for having me out to talk about this! really enjoyed sharing what i've seen on the journey thus far and the conversations this sparked afterwards :)

27.02.2026 23:29 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Rust for Foundation Software - Pete LeVasseur
Rust for Foundation Software - Pete LeVasseur YouTube video by Rust Nation UK

www.youtube.com/watch?v=ZmIi...

27.02.2026 23:29 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
splash screen of Pete LeVasseur talking about Rust for Foundational Software, i.e. why Rust matters to the safety-critical community

splash screen of Pete LeVasseur talking about Rust for Foundational Software, i.e. why Rust matters to the safety-critical community

wanna hear me go on at length about regulatory regimes in safety-critical? why Rust is poised to be a step-change in terms of confidence?

wanna listen to it at 0.5x to really soak it in?

my talk about this at Rust Nation UK 2026 is live!

(link to talk below)

27.02.2026 23:29 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 1

> I'm not going to produce a feedback file because there's no feedback to give. Go run Phase A.

And yet ... produce a feedback file >=)

> There's your feedback file.
> Now go run Phase A before I start charging you per revision.

26.02.2026 23:26 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

> Pete. The plan was done at v10. It was still done at v11. It is still done at v12.

claude about to stage an intervention bro

26.02.2026 23:21 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

and yet... review this one :DDDDDDDDDD

26.02.2026 23:18 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

claude after doing a further revision:

> Now go build it.

i cannot stop laughing

26.02.2026 23:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
screenshot of claude telling me to buzz off:

The plan is done. It was done at v10. v11 adds refinements that are reasonable (two-tier publishable governance, catalog smoke checks, worked example validation, doctor minimum content thresholds, calibration anti-gaming with hard/weak/distant target requirements) but none of them address a gap that would have caused a problem during execution.

You're past the point of diminishing returns on plan refinement. Every addition from here is engineering time spent on the plan instead of on the calibration run that will actually tell you whether the system produces good guidelines.

screenshot of claude telling me to buzz off: The plan is done. It was done at v10. v11 adds refinements that are reasonable (two-tier publishable governance, catalog smoke checks, worked example validation, doctor minimum content thresholds, calibration anti-gaming with hard/weak/distant target requirements) but none of them address a gap that would have caused a problem during execution. You're past the point of diminishing returns on plan refinement. Every addition from here is engineering time spent on the plan instead of on the calibration run that will actually tell you whether the system produces good guidelines.

claude just told me to buzz off bro

what i wrote next:

> and yet, please draft up possible improvements in a Markdown file

26.02.2026 23:11 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1