Pete πŸ™†β€β™‚οΈ

@petelevasseur.com

Rust @ Woven by Toyota πŸ¦€βœŒοΈ Lead @ Safety-Critical Rust Consortium, Chair @ Coding Guidelines, 3 x girl dad, πŸ‡―πŸ‡΅ ζ—₯本θͺžγ‚ͺッケー

we'd love to hear what a broad swath of safety-critical users think about their journey to Rust adoption! bsky.app/profile/safe...

Safety-Critical Rust Consortium@safetycriticalrust.bsky.social Β· 2w ago

Going to be at @rustconf.com 2026? Interested in safety-critical systems like Automotive and Avionics? πŸ¦€πŸ¦Ί We'll be at RustConf 2026 with a Safety-Critical Rust Consortium Room! Big thank you to @adacore.bsky.social for sponsoring the room πŸŽ‰ Check below on how to join!

still v funny to me the way llms will react to prompts. yes i did tell the llm to put its thinkie cap on > R10 delivered β€” nine axes evaluated with the thinkie cap fully on, four executed and proven, one negative result recorded, four proposed with trade-offs.

DID YOU KNOW that Toyota has open-sourced a Confluence page to Markdown converter? psssssssst: it's written in Rust and that -- unlike a simple export, it keeps PlantUML and draw[.]io content editable and outputs in a structure that’s easy for generative AI to understand

screenshot of confluence2md project open-sourced by Toyota

this is not meant to be bleak, but empowering with the right mindset: as an adult it is very rare for somebody to come save you from a situation you're pretty much on your own; you're the captain of your own ship if someone is willing to stick their neck out, return the favor if able

so -- Christof Petig of Aptiv will come out today to chat about an idea he's worked on for the past several years of using WebAssembly as the bridge between C++ <=> Rust interop interested to learn more? check out the .ics page down below! starts in 2.5 hours :)

screenshot of agenda showing Christof Petig's talk about using WebAssembly for interop between C++ <=> Rust

so! the Safety-Critical Rust Consortium room at RustWeek 2026 was lovely; was great to see everyone curious on how to join to meet us for the next one? see the pinned post on @safetycriticalrust.bsky.social :) bsky.app/profile/safe...

Safety-Critical Rust Consortium@safetycriticalrust.bsky.social Β· 3mo ago

Want to extend heartfelt gratitude to - @rustnl.bsky.social for hosting the Safety-Critical Rust Consortium at the RustWeek Unconf - @ferroussystems.bsky.social for sponsoring the SCRC room And of course -- to our members for coming out and making sparks fly with ideas!

i was told that the livestream recording is available here's a link to that snippet: www.youtube.com/live/dkMosu4...

Rust Week 2026 - Industry Track - Tuesday 19 May

YouTube video by RustNL

youtube.com

Pete πŸ™†β€β™‚οΈ@petelevasseur.com Β· 3mo ago

"so, uh, Toyota has shipped @rust-lang.org now" was great to come out and share the excellent work done by TCNA and TMC to develop Rust in the Digital Cockpit :) huge thank you to @rustnl.bsky.social for the chance to come out and talk about this!

yesterday walking back from school eldest daughter says she's worried about geometry part of standardized test today. i take pictures of her homework she'd had about the topics, send them off to chatgpt extended pro and get out 7 worksheets; they are all usable

screenshot of grade 3 FAST geometry practice