Rust @ Woven by Toyota 🦀✌️ Lead @ Safety-Critical Rust Consortium, Chair @ Coding Guidelines, 3 x girl dad, 🇯🇵 日本語オッケー

me when i present on "why use the Rust programming language in automotive systems" when wearing the @pants "RATS" shirt
1
7
673
Have we considered solving the RAM shortage by rewriting everything in Rust?
95
44
1,052
36,890
Pete 🙆 retweeted
Why DHH is going in on Rust even though he hates it (yes, maybe you should too)
9
2
37
3,027
Pete 🙆 retweeted
I might be the only person in the world that likes looking at Rust code. I think it's super pretty.
138
50
1,259
48,311
23年前に描いた壁砕きアニメ。そもそも見れなくなってたっぽいので再掲
1,197
18,938
98,714
5,127,583
「お年寄りにキュンとした出来事」その18
45
734
23,392
1,182,633
Pete 🙆 retweeted
89
4,642
45,548
412,515
Pete 🙆 retweeted
いややかましいわwwwwwwwwwwwwwwwwwwww
122
13,681
119,128
2,838,745
「Pを間違って上下逆に付けてるやん!」 と思ったら、おでん屋さんやった!
269
12,403
149,092
4,595,066
19
354
5,228
36,408
Introducing CUDA Rust! CUDA Rust lets you write GPU kernels natively in Rust, not just launch them from it. Two paths: cuda-oxide for SIMT kernels compiled to PTX, and cutile-rs for Tile-based programming on stable Rust. Both can catch aliasing errors at compile time. Technical blog: nvda.ws/4hm1bHS
118
649
6,233
512,386
Replying to @ManishEarth
this is why i simply do not reply to my emails
2
1
9
320
Replying to @TheMongo
I wasn't sure yet if he was just some random employee and didn't want to blow his name up as like, "the horny pumpkin guy"
1
45
1,822
Pete 🙆 retweeted
I merged a change that should reduce the size of your Rust `target` directory by ~20% during development. It turns out the compiler was retaining an extra completed snapshot for every crate that was incrementally recompiled.
71
49
1,416
51,604
AI loops 101 in two tweets: When CI fails with on a flaky test, send this to your agent: "a test failed in a flaky fashion, please figure out why and propose a pragmatic path forward: <CI link>"
3
1
7
1,233
Pete 🙆 retweeted
all foreigners looking for multi-year visas should be required to pass the JLPT N1 being able to speak the language of your host nation is a basic courtesy that wait a matte the JLPT doesn't even test speaking
155
225
4,409
183,984
there *is* undefined behavior: all of what you are describing is behavior determined by the implementation and the hardware platform, and not by the C standard. but the thing is, when the implementation is known, undefined behavior is often benign!
13
7
205
9,193
Pete 🙆 retweeted
Both are autonomous driving systems of some kind btw
Only in Texas will you ever see something this cool. 🔥Horses and Tesla Cybercabs. The past and the future. @Tesla
1
42
2,484
Pete 🙆 retweeted
I know this is garbage engagement bait, but I think it's worth calling out this mindset for the young kids that get hooked on hustle culture, or think of abusively hard work as something virtuous. A few things I have learned to be true: 1. One day you will be dead and shortly after nobody will remember you. They certainly won't give a shit about your work. The ones that do will be the people you loved and who loved you. Not your stakeholders, colleagues or business associates. Shit, most people forget about you the day you change jobs. Even the CEO. Once you leave, you just kind of...fade away. Your work mostly doesn't matter. Also, as you get older you start to watch people die...way way earlier than they should. You genuinely don't know how much time you have. Do you really want to spend it all hustling...or even worse...pumping out engagement slop celebrating hustle culture? 2. More people are like Walter White than they care to believe. At the end of Breaking Bad, Walt finally confronts the truth. He wasn't doing it for the family. "I did it for me. I liked it. I was good at it. And, I was really... I was alive.” Most people find value in their work, which is great. But my old man gave me incredible advice when I was younger, "Beyond a certain point, a successful career is a selfish act." The people who really get themselves into trouble are the ones who convince themselves they are doing it for someone else. 3. You don't know the cost until too late I've watched friends wreck their health and their relationships chasing the next promotion, the next round, the higher salary. Justifying each step along the way as the right thing to do. Mostly they were just addicted to the work. Or they felt trapped. I don't think any of them would have made the trade if they could go back and know the cost from the start.
Hustle culture is mostly hated by two groups: People who already got rich from it. And people who need to believe working harder wouldn’t change their outcome.
81
128
1,987
271,304
Pete 🙆 retweeted
For this code to have bugs you must first define the pre- and post-conditions of the function and then show how the function fails to honor the post conditions when the pre-conditions are honored. UB on violated pre-conditions is part of working software.
The harshest realisation for me after we’ve got LLMs is that there is no such thing as “good code”. Everybody’s code sucks. You can always take seemly good code and find bugs and improve the design, and this process doesn’t seem to converge. The goal I was chasing my whole career turned out to be a marriage: the closer you get, the further it appears. But LLMs allowed me to prove this empirically, so now I’m more at peace with my code. If it works after sufficient testing, I leave it alone; not because it’s “good” but because it’s good enough. P.S. I ran Astra on this famous John Carmack’s code and it found five verifiable bugs.
9
10
303
16,105