🇺🇸
Redwood City, CA
Joined October 2018
- Tweets450
- Following146
- Followers9.7K
- Likes119K
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…
David Tolnay retweeted
"Meta engineers have written twice as much first-party Rust code so far this year than in the previous 9 years combined."
Verifying myself: I am dtolnay on Keybase.io. RNLj9GJWGwlyye52kCH1bGE4Mw1-mvRgk_Zj / keybase.io/dtolnay/sigs/RNLj…
Verifying myself: I am dtolnay on Keybase.io. ZY9VY1kSAGr5TNwh_Qz6dxl8jWqcaYF7hItY / keybase.io/dtolnay/sigs/ZY9V…
If you create .tar.gz containing large files, please use github.com/dtolnay/chapter-t… so that individual files can be extracted efficiently and files can be extracted in parallel.
David Tolnay retweeted
I wrote a document describing how Fil-C's InvisiCaps capability model works!
fil-c.org/invisicaps
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)
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…
That's a new one
![Screenshot of email titled "[serde-rs/serde] Run failed: CI - master". Email body says "CI: All jobs were successful".](https://pbs.twimg.com/media/HNEzkbbaQAACMLN.jpg?name=orig)
ALT Screenshot of email titled "[serde-rs/serde] Run failed: CI - master". Email body says "CI: All jobs were successful".
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…
- 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
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.
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!
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.
The 2-day gap in my github timeline last week is for PC building.
Parts: pcpartpicker.com/user/dtolna…
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?
ALT `cargo tally --relative serde serde_json thiserror clap anyhow`
ALT `cargo tally --relative regex async-trait base64 parking_lot`
