🇺🇸

Redwood City, CA
David Tolnay retweeted
More good news: Jess Izen is stepping into an Engineer in Residence role with the Rust Foundation! She's done so much good work for the ecosystem already (see the post!) and I can't think of a better person to wear this hat 🦀 rustfoundation.org/media/wel…
1
3
30
2,704
Verifying myself: I am dtolnay on Keybase.io. RNLj9GJWGwlyye52kCH1bGE4Mw1-mvRgk_Zj / keybase.io/dtolnay/sigs/RNLj…
1
7
openpgp4fpr:4628C5D82CFF65D68164A78AF9BA143B95FF6D82
1
2
Verifying myself: I am dtolnay on Keybase.io. ZY9VY1kSAGr5TNwh_Qz6dxl8jWqcaYF7hItY / keybase.io/dtolnay/sigs/ZY9V…
430
David Tolnay retweeted
I wrote a document describing how Fil-C's InvisiCaps capability model works! fil-c.org/invisicaps
1
9
55
3,671
David Tolnay retweeted
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
1,700
5,385
43,824
40,097,957
a heartbreaking work of staggering genius
17
12
179
13,665
Now under 30 clock cycles.
Printing arbitrary 64-bit floating point to ASCII at an average of 40 clock cycles is so ridiculous. Żmij algorithm is great work by Victor Zverovich. github.com/dtolnay/dtoa-benc…
2
80
11,787
That's a new one
6
7
221
13,392
David Tolnay retweeted
great for people submitting changes to deno
6
5
161
15,654
David Tolnay retweeted
I've added an AI policy to ripgrep that was shamelessly copied from uv's policy. I plan to add this to the rest of my projects, but if anyone wants to offer feedback on wording, now would be a good time! github.com/BurntSushi/ripgre…
16
27
353
32,091
- Open backed - Wireless - Over-ear big enough for my genetic cohort - All-day battery - Impeccable build quality Not sponsored, I am just happy that this spec finally made it into a product.
We are excited to introduce our new open-back planar HE1000 WiFi and Arya WiFi headphones, both stream full-resolution, lossless audio over Wi-Fi, combining wireless freedom with performance on par with wired systems! #hifiman #he1000wifi #aryawifi #headphones #audiophile
1
25
3,557
David Tolnay retweeted
We've entered into an agreement to join OpenAI as part of the Codex team. I'm incredibly proud of the work we've done so far, incredibly grateful to everyone that's supported us, and incredibly excited to keep building tools that make programming feel different.
276
140
3,120
498,710
David Tolnay retweeted
Over the last ~2 weeks I've rewritten the @ladybirdbrowser JavaScript compiler in Rust using AI agents. ~25k lines of safe Rust (20k if you exclude comments). No regressions on test262 or our own internal test suites. Extensively tested against the live web by browsing in lockstep mode where we run both the C++ and Rust pipelines, and then verify identical AST & bytecode. We're making a pragmatic decision and adopting Rust as a C++ successor language. What a time to be alive!
Ladybird adopts Rust, with help from AI ladybird.org/posts/adopting-…
140
121
2,425
330,183
David Tolnay retweeted
I've been doing open source since I was a teenager (over 20yrs). And for the first time ever, I'm considering closing external PRs to my OSS projects completely. This will throw the baby out with the bathwater and I hate that, but we close auto-opened slop PRs every single day.
151
112
2,680
206,799
The 2-day gap in my github timeline last week is for PC building. Parts: pcpartpicker.com/user/dtolna…
6
50
4,605
For the past 3 months I have been watching a surprising instantaneous discontinuity in the adoption pattern of many widely used Rust libraries. See for yourself in the attached graphs, which show the fraction of crates‑io with a direct dependency on each of these crates. The inflection in April 2025 is not subtle. These crates are suddenly massively more widely used in new code than they used to be, including crates that have been previously on an extremely consistent trajectory for a half decade, like base64 and thiserror. I spend a lot of time examining graphs like this to make sense of the ecosystem and I noticed this emerging a while ago. I can say it is unprecedented in the history of crates‑io for usage patterns to shift drastically like this in a broad spectrum of crates. My best guess is that AI uses these crates at a different rate than the human authored baseline rate, and crates‑io is currently being inundated with AI-authored code. Can someone help line this up with a product launch?
14
12
89
12,131
Another 4 months of data:
1
4
1,267