🚀 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...

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

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)

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

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

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.

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

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

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

an activist investor attempted a hostile takeover of Compuware Corporation

3 y/o reported that she has a boyfriend at daycare. when queried on what they do together: spiderman and paw patrol

eye exam today and picked out glasses. thankfully they continue to stock the same frames i've gotten the last four or five years now. makes the visit very simple!

check out the interview that @tylermandry.bsky.social did with Benno Lossin about his work on field projections. this work will better support Rust to work in the Linux kernel, among other possibilities (link in next post)

excited to share all the good work happening to shape up the story around Rust for safety-critical systems 🦀 🦺 hope to see ya there!

tfw

applying here is what helped me have a cohesive story around what Rust granted me in working on safety-critical systems. much appreciate the long-form, essay-style responses expected.

day 16 of learning all 777 items in the FLS Glossary. over the last couple of days have started to have cards tip over into being labeled 'mature'

It's time for the State of Rust Survey! The Rust Project invites you to take this year’s survey, whether you have just begun using Rust, you consider yourself an intermediate to advanced user, or you have not yet used Rust but intend to one day 🦀

went on a cycling trip with @rcs.bsky.social over the weekend in the mountains of Japan he managed to find us a nice ryokan that we had to take a cable car to get to, otherwise real potential to be eaten by bears D:

was asked a bit about how i'm learning the FLS Glossary to become competent at the FLS enough to lead the team

had a chance to sit down with Christian Legnitto to chat about Rust + GPUs, working in open source, and building a company around it (link in post below)

this is me, quoting you ;D

made it into the Bs for my study of the FLS Glossary, yep

just started reading Akane Banashi / あかね噺 and the first 50 pages had me hooked. was recommended this by a medical doctor based out of Japan that also does data science to find disease causes. always forth asking for recommendations!

sitting at flight gate. English - Status: At Gate. Japanese - ステータス　出発準備中 interesting difference. the latter tells you they're actually preparing for the next flight. the former just tells you it's parked outside.

day 6 of accountability posting my way through learning all 777 items in the FLS Glossary

accountability posting my way through learning 778 items in the FLS Glossary. day 5. - screenshot 1 of the reviews chart - screenshot 2 of the legend for the reviews chart

accountability posting my way through using Anki to learn all 778 terms in the FLS Glossary. day 4

true. the more i get involved with the Rust Project and speak with folks on WG14 and WG21, everyone has been incredibly reasonable

i tried like 5 different ways to get things done, but yeah, just too much of modern software development assumes GitHub is up lmao

noooo, i had an uninterrupted hour at the car dealership to be productive and now @github.com won't lemme do stuff :(

why yes, i did review my slide deck with my wife motivating us to spend money on home monitoring equipment </corpo-brain> considering wyze -- anybody used them?

every time i see howl's moving castle, i still, to this day think of ハウルのすごく後ろ wonder if anybody else was listening to 爆笑問題's カーボーイ radio show around 2008 - 2012 and remembers this pen name of one of the listeners

3 y/o to 5 y/o regarding dead lizard in our yard: "it's not scary, maybe it just wants to hang out with us"

so anyway, now i'm watching the gabby's dollhouse movie ama

ty to @rottentomatoes.com for the nice recommendation while looking up movies with my kids. jumpscared them with a trailer for some horror movie while looking around too 🫡

that didn't take long

spent 2 hours cleaning the house this morning with the kids. turns out that kids will, in fact, work for candy

happy to share another production of the Rust Project Content Team. this time we sat down with Jack Huey and @nikomatsakis.com to learn more about what the Vision doc is! (link to video in next post)

the safety-critical community is stepping up to get involved in the long-term maintenance of the FLS in the Rust Project really proud of the team we've gathered and gotten kicked off! shout out to @ferroussystems.bsky.social for having the foresight to upstream the FLS into the Rust Project!

was chatting with some folks yesterday that do secure coding guidelines. we got to chatting about the overlap with safety-critical needs for coding guidelines seems to be quite sizable imho. made a completely unscientific Venn diagram

bravo to @merriman.industries for this excellent piece. let's be honest with ourselves -- does the customer care _how_ the car stops? no. they care that it does stop and that's non-differentiated. this is where open-source software shines (link to article below)

happy to share another Rust Project Content Team production: an interview that @merriman.industries did with @nyurik.bsky.social. the insights shared by Yuri can help you expand Rust usage in your company, even companies that operate under a regulatory framework, like automotive 🚘 (link below)

tfw learning video editing. link to clip below

made backgrounds for internal and external display on z fold 7. from favorite anime: FLCL

hey y'all 👋 created a mascot and Discord server for our Orlando Rust Users group. feel free to stop by even if you're not a local! 🦀

bouncing back and forth between cooking and coding today. added the radar sensor to the ego vehicle in support of hack participants crafting cool Automated Driving algorithms. yes: it's Rust 🦀 and yes now you can get this data shipped over Eclipse uProtocol

eldest daughter when in the grocery store yesterday said she wanted me to make mashed potatoes. going on a business trip coming up, so made 10lbs of them to freeze and keep while i'm away