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

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

@petelevasseur.com

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

246 followers124 following588 posts

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

"Rust on Rails" ;D

FerrousSystems@ferroussystems.bsky.social

Universal Signalling and the Ferrocene team are developing the first railway certification package for Rust under EN 50716, establishing a pathway for Rust in safety-critical railway applications. Read more: bit.ly/4z193o6 #UniversalSignalling #Ferrocene #RustLang #RailTech

"Rust on Rails" ;D

FerrousSystems@ferroussystems.bsky.social

Universal Signalling and the Ferrocene team are developing the first railway certification package for Rust under EN 50716, establishing a pathway for Rust in safety-critical railway applications. Read more: bit.ly/4z193o6 #UniversalSignalling #Ferrocene #RustLang #RailTech

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

if you aren't saying please & thank you and using emoticons and sharing silly little anecdotes with your puter when you ask it for help, you need more whimsy in your life ๐Ÿ’”

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

> rust special interest group *looks left* *looks right* ..every rust group is a special interest group

ever wonder what it takes to safety-qualify @rust-lang.org for use in a regulated industry? tomorrow Tshepang Mbambo of @ferroussystems.bsky.social will come out to the @sdv.eclipse.org's Rust Special Interest Group to share about: FLS: Describing Rust for Functional Safety .ics down below!

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

idk who needs to hear this but: monadic is an anagram of damonic think twice before you let the damon into your home

just tried and can confirm i can still rap their song Long Kiss Goodbye this was always my favorite part: ใ€Œใคใพใ‚‰ใชใ„ใ‚ธใƒงใƒผใ‚ฏใฏใ„ใฃใคใ‚‚ใใฉใ ใฉใ“ใพใงใ‚‚็ถšใ ้ฃฝใ้ฃฝใใชใƒˆใƒผใ‚ฏ ใใฎใŸใณใƒญใƒƒใ‚ฏ ไปŠๅบฆใฏ็งใ‹ใ‚‰knockใ€ the mouth-feel on rapping this part is excellent ใ€Œใ„ใฃใคใ‚‚ใใฉใใ€€ใฉใ“ใพใงใ‚‚็ถšใ ้ฃฝใ้ฃฝใใชใƒˆใƒผใ‚ฏใ€

you ever had a song that is lodged at a certain place and time in your memory? i spent my late teens and early 20s learning the Japanese language HALCALI's song/rap was fun immersion material BLAM can feel myself brought back in time

gonna be at RustConf 2026? interested in safety-critical systems, like planes, trains, and automobiles? ~ we'll have a room on Monday, Sep 7th to chat ~ limited spots in the room (30), but we'll have a dial in option too =) join the Safety-Critical Rust Consortium for more!

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

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.

View full thread