David Tolnay's Avatar

David Tolnay

@dtolnay.bsky.social

1,569 Followers  |  35 Following  |  4 Posts  |  Joined: 25.08.2023  |  2.0292

Latest posts by dtolnay.bsky.social on Bluesky

research!rsc: Floating-Point Printing and Parsing Can Be Simple And Fast (Floating Point Formatting, Part 3)

β€œFloating-Point Printing and Parsing Can Be Simple And Fast”

The fastest known floating-point printer and parsing algorithms - fixed-width printing, shortest-width printing, and parsing, all in 400 lines of Go.

research.swtch.com/fp
research.swtch.com/fp-proof

19.01.2026 22:13 β€” πŸ‘ 73    πŸ” 15    πŸ’¬ 1    πŸ“Œ 2
Preview
Reflection MVP by oli-obk Β· Pull Request #146923 Β· rust-lang/rust I am opening this PR for discussion about the general design we should start out with, as there are various options (that are not too hard to transition between each other, so we should totally jus...

RUST REFLECTION MVP HAS LANDED github.com/rust-lang/ru...

THIS IS NOT A DRILL

10.01.2026 20:09 β€” πŸ‘ 188    πŸ” 40    πŸ’¬ 9    πŸ“Œ 4

i take great solace in the fact that my brother, the only true 10x software engineer that i know, has barely heard of IDEs let alone "generative AI"

27.12.2025 01:46 β€” πŸ‘ 28    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
[PATCH] GCC, meet C++20

all these people go on about how stable C and C++ are, and how Rust changes too much.... but then they also talk about how their work codebase is stuck on C89 or C++17.

gcc's "codebase isn't fully C++20 ready" gcc.gnu.org/pipermail/gc...

19.11.2025 16:07 β€” πŸ‘ 67    πŸ” 7    πŸ’¬ 4    πŸ“Œ 0

who do i have to pay to get a rustfmt that doesn't shit itself on long lines

20.10.2025 15:49 β€” πŸ‘ 34    πŸ” 3    πŸ’¬ 4    πŸ“Œ 0

Once I wrap up some other projects. It is definitely on my list.

20.10.2025 23:54 β€” πŸ‘ 13    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Useful not just for language keywords, but also identifiers given meaning by macros. For example `thiserror` treats fields named "source" as the Error::source() of your error. If your source means something else, instead of fussing with some kind of #ο»Ώ[not_source] attribute, just name it r#source.

05.10.2025 03:56 β€” πŸ‘ 12    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Our $100M Series B / Oxide Raising our Series B round of financing

πŸŽ‰We raised $100M USD in our Series B financing. Thank you to USIT for leading this round, to our existing investors for their participation, and to our team, customers, and community for getting us to where we are today!

oxide.computer/blog/our-100...

30.07.2025 13:13 β€” πŸ‘ 227    πŸ” 25    πŸ’¬ 6    πŸ“Œ 9
Preview
Technology | 2025 Stack Overflow Developer Survey

once again, #rustlang is the most admired programming language on the stack overflow survey: survey.stackoverflow.co/2025/technol...

29.07.2025 18:33 β€” πŸ‘ 95    πŸ” 12    πŸ’¬ 5    πŸ“Œ 2

Howdy all. I'm unfortunately not going to be with my employer for much longer due to team relocation. If anyone has any info on roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.

02.07.2025 17:31 β€” πŸ‘ 92    πŸ” 45    πŸ’¬ 1    πŸ“Œ 1
Post image

Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust.

In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)

13.05.2025 17:00 β€” πŸ‘ 333    πŸ” 84    πŸ’¬ 14    πŸ“Œ 14
Preview
GitHub - dtolnay/buck2-rustc-bootstrap: Compile Rust compiler using Buck2 Compile Rust compiler using Buck2. Contribute to dtolnay/buck2-rustc-bootstrap development by creating an account on GitHub.

github.com/dtolnay/buck...

Build #rust via buck2 instead of x.py, very cool project by @dtolnay.bsky.social

06.05.2025 17:10 β€” πŸ‘ 42    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

πŸ¦€ Hello World!

The Rust project now has an official presence on Bluesky! ✨

We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.

05.04.2025 10:51 β€” πŸ‘ 1482    πŸ” 287    πŸ’¬ 32    πŸ“Œ 25
Preview
Memory safety for web fonts Β |Β  Blog Β |Β  Chrome for Developers Learn how and why the Chrome team has replaced FreeType with Skrifa.

New blog post up on the Rust font loader now shipping in Chrome. I only had a small part in this personally but am proud of the team's work. developer.chrome.com/blog/memory-...

19.03.2025 15:15 β€” πŸ‘ 108    πŸ” 26    πŸ’¬ 3    πŸ“Œ 2
Preview
cmd/compile: slow escape analysis in large package in the typescript compiler Β· Issue #72815 Β· golang/go Go version go version go1.24.1 linux/amd64 Output of go env in your module/workspace: AR='ar' CC='gcc' CGO_CFLAGS='-O2 -g' CGO_CPPFLAGS='' CGO_CXXFLAGS='-O2 -g' CGO_ENABLED='1' CGO_FFLAGS='-O2 -g' ...

TypeScript team: rewrites compiler in Go.

Go community: what do you mean your new compiler takes more than a minute to compile? Unacceptable. Dishonorable even. We are so sorry for this sub par experience. Not how we do things around here.

Two days later: WIP 5x speedup.

HN: why pick Go anyway?

13.03.2025 00:53 β€” πŸ‘ 669    πŸ” 126    πŸ’¬ 14    πŸ“Œ 12
Carefully But Purposefully Oxidising Ubuntu Last month I published Engineering Ubuntu For The Next 20 Years, which outlines four key themes for how I intend to evolve Ubuntu in the coming years. In this post, I’ll focus on β€œModernisation”. Ther...

Carefully but Purposefully Oxidising Ubuntu #rustlang

discourse.ubuntu.com/t/carefully-...

12.03.2025 16:46 β€” πŸ‘ 71    πŸ” 12    πŸ’¬ 3    πŸ“Œ 0

There are probably 4–6 people who, if they had dedicated their 10 years to a different language or hobby, you would not be hearing success stories about Rust.

26.02.2025 22:46 β€” πŸ‘ 91    πŸ” 5    πŸ’¬ 1    πŸ“Œ 1

but what I can say is, I personally sat down one evening and said "I think Rust can be the next great systems programming language" and then dedicated the next ~10 years of my life to making that happen

26.02.2025 19:21 β€” πŸ‘ 55    πŸ” 4    πŸ’¬ 2    πŸ“Œ 1
Rust for Linux Adding support for the Rust language to the Linux kernel

very glad to see this rust-for-linux.com/rust-kernel-...

10.02.2025 20:02 β€” πŸ‘ 107    πŸ” 14    πŸ’¬ 1    πŸ“Œ 3
Preview
Carbon is not a programming language (sort of) Within C++, there is a much smaller and cleaner language struggling to get out.

Carbon is not a programming language (sort of) #cpp herecomesthemoon.net/2025/02/carb...

08.02.2025 20:58 β€” πŸ‘ 54    πŸ” 5    πŸ’¬ 4    πŸ“Œ 2
The two factions of C++

Yikes #cpp www.reddit.com/r/cpp/commen...

09.02.2025 01:26 β€” πŸ‘ 117    πŸ” 6    πŸ’¬ 13    πŸ“Œ 0

I don’t know who needs to hear this, but &serde_json::Value implements serde::Deserializer

30.01.2025 05:18 β€” πŸ‘ 24    πŸ” 1    πŸ’¬ 2    πŸ“Œ 1
Post image

We’re building a new static type checker for Python, from scratch, in Rust.

From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!

29.01.2025 17:18 β€” πŸ‘ 725    πŸ” 104    πŸ’¬ 35    πŸ“Œ 34
Oxide and Friends 1/13/2025 -- Crates We Love
YouTube video by Oxide Computer Company Oxide and Friends 1/13/2025 -- Crates We Love

Not a surprise that we love Rust at @oxide.computer! It's ecosystem of crates is a great strength. Last night @bcantrill.bsky.social and I spoke with our colleague @sunshowers.io, @elizas.website, and @steveklabnik.com about the crates we love. Lotta great stuff out there!

youtu.be/BTnrXDjxbBw

14.01.2025 21:54 β€” πŸ‘ 43    πŸ” 11    πŸ’¬ 2    πŸ“Œ 1
Join the Oxide Computer Discord Server! The Oxide Computer Company and friends; home of the Oxide and Friends podcast. | 4019 members

The Rust ecosystem is amazing, but it can be hard to discover new crates. Today @ahl.bsky.social and I will be joined by our colleagues @elizas.website and @sunshowers.io, who will offer their wisdom and walk us through some crates you should know. Join us, 5p Pacific!

discord.gg/QrcKGTTPrF?e...

13.01.2025 17:21 β€” πŸ‘ 132    πŸ” 16    πŸ’¬ 7    πŸ“Œ 3
error: avoid using labels containing only the digits `0` and `1` in inline assembly
   --> hal-x86_64/src/segment.rs:243:14
    |
243 |             "1:",
    |              ^ use a different label that doesn't start with `0` or `1`
    |
    = help: start numbering with `2` instead
    = note: an LLVM bug makes these labels ambiguous with a binary literal number on x86
    = note: see <https://github.com/llvm/llvm-project/issues/99547> for more information
    = note: `#[deny(binary_asm_labels)]` on by default

error: avoid using labels containing only the digits `0` and `1` in inline assembly --> hal-x86_64/src/segment.rs:243:14 | 243 | "1:", | ^ use a different label that doesn't start with `0` or `1` | = help: start numbering with `2` instead = note: an LLVM bug makes these labels ambiguous with a binary literal number on x86 = note: see <https://github.com/llvm/llvm-project/issues/99547> for more information = note: `#[deny(binary_asm_labels)]` on by default

why Rust is the greatest programming language of all time, in one screenshot

03.01.2025 19:28 β€” πŸ‘ 327    πŸ” 37    πŸ’¬ 5    πŸ“Œ 5
Preview
Shrink derive output size by nnethercote Β· Pull Request #2250 Β· serde-rs/serde This PR has a series of commits that shrink the size of the code generated for derive(Serialize, Deserialize), particularly for large structs. Here are some instruction count results for some synth...

This is the ideal design for a trait-impl-based serialization library IMO. See this comment: github.com/serde-rs/ser... where I arrived at this same concept (in less detail) where it talks about "the ultimate non-generic DeserializeSeed" as my preferred design for a standard library std::serde.

28.11.2024 03:59 β€” πŸ‘ 11    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
How Designing Carbon C++ Interop Taught me About C++ Variadics & Bound Members - Chandler Carruth
YouTube video by CppNorth How Designing Carbon C++ Interop Taught me About C++ Variadics & Bound Members - Chandler Carruth

A somewhat unusual / less formal talk from me at CppNorth about both #CarbonLang and #CPlusPlus is up! youtu.be/8SGMy9ENGz8

I hope you all enjoy it, I enjoy these weird corners of language design.

23.11.2024 04:02 β€” πŸ‘ 16    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

Fact check: Concepts of a plan were added in C++20

11.09.2024 02:36 β€” πŸ‘ 1055    πŸ” 97    πŸ’¬ 15    πŸ“Œ 3

@dtolnay is following 20 prominent accounts