David Tolnay

@dtolnay.bsky.social

hot take: for a library with no dependencies that isn’t exposed to untrusted inputs, “unmaintained” is actually the most secure state possible

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.

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

Bild

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

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?

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

github.com

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

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!

Bild