Alex Waygood

🦀 coder at @openai. Sometimes do freelance journalism: @Guardian, @Telegraph, @openDemocracy. Python core dev in my spare time 🐍. Studied 🎶 a while back.

[Alex Waygood @AlexWaygood]

I'm now on 🦋. alexwaygood [dot] bsky [dot] social.

[Charlie Marsh @charliermarsh]

hyperfine 2.0 is out now! It includes support for alternative performance metrics like peak memory usage, CPU cycles, and more.

[Charlie Marsh @charliermarsh]

This was exceptional work from Alex Waygood on our team. I mean look at the attention to detail here. We even flag if-statements involving Enums whose _values_ are all true.

[Charlie Marsh @charliermarsh]

ty can now detect conditions that are always-true or always-false.

The classic example: forgetting to call a function in an if-statement.

These aren't type errors, but they're (very) often mistakes. We found and fixed multiple bugs like this internally!

[Charlie Marsh @charliermarsh]

Andrew (@burntsushi5) is back at work! I'm so excited

[Alex Waygood @AlexWaygood]

@15r10nk Hopefully this should have been approved this now -- LMK if not! Thanks again for your awesome libraries, they've been invaluable to the Astral team 😃

[Alex Waygood @AlexWaygood]

@jakubkcz @charliermarsh You can also easily instruct the hook to only install a specific dependency group from your pyproject.toml, etc, if you don't want all your project dependencies installed into the isolated environment

[Alex Waygood @AlexWaygood]

@jakubkcz @charliermarsh You can pass `--isolated` as an argument to the hook and uv will spin up an isolated environment (with your project dependencies installed in that), independent of your project environment, if that's what you want! It's very customizable

[Charlie Marsh @charliermarsh]

ty-pre-commit is out now!

Pre-commit hooks for type checkers typically require you to either enumerate your dependencies in the hook config, or install them out-of-band.

This one Just Works (TM) by leveraging uv to install any necessary dependencies prior to type-checking.

[Andrew Gallant @burntsushi5]

I was recently diagnosed with a rare autoimmune disorder called anti-NMDA receptor encephalitis. It's a "disease of chaos" that completely upturned my life for a couple months.

I wrote a blog about it that goes into more detail and discusses prognosis.

https://t.co/mP0ftCuwpp

[Mitchell Hashimoto @mitchellh]

Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://t.co/DQDemHdytV

[Charlie Marsh @charliermarsh]

After the deal closes, OpenAI will continue supporting our open source tools, and we'll keep building in the open -- for the Python ecosystem -- just as we have from the start.

[Charlie Marsh @charliermarsh]

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.

[Ben (no treats) @andersonbcdefg]

ran on all files in my codebase.
pyright: 5 seconds
ty: instant

i'm convinced

[Zed @zeddotdev]

We are so incredibly excited to see ty in beta!
@astral_sh ships quality tools.

[Sebastián Ramírez @tiangolo]

I am SO excited about ty 🤩

Can't wait to start playing with it

[Charlie Marsh @charliermarsh]

https://t.co/MkZlhLPJRx

[Charlie Marsh @charliermarsh]

ty was our most technically-challenging project yet.

There are so many people to thank: our contributors, members of the Python typing community, the Salsa team, the Elixir team (whose work strongly influenced our approach to gradual types and intersections), and more.

[Charlie Marsh @charliermarsh]

On a longer time horizon, though, ty will power semantic capabilities across the Astral toolchain: dead code elimination, unused dependency detection, SemVer-compatible upgrade enforcement, CVE reachability analysis, type-aware linting, and more.

[Charlie Marsh @charliermarsh]

We want to make Python the most productive programming ecosystem on Earth.

Just as with Ruff and uv, our commitment from here is that ty will get significantly better every week by working closely with our users.

[Alex Waygood @AlexWaygood]

And as always, such a privilege to be part of this incredible team https://t.co/7xLI1Ge31K

[Charlie Marsh @charliermarsh]

But above all I want to thank our core team: @AlexWaygood, @sharkdp86, @carljm, @DhruvManilawala, @dcreager, @Gankra_, @burntsushi5, @ibraheemdev, @oconnor663, and Micha Reiser.

You created ty from nothing and pushed it to be great from Day 1.

[Alex Waygood @AlexWaygood]

So, so hyped that this release is finally out!

It was a huge amount of effort to get this over the line. There's still so much more to do but we're so excited for more folks to try it out and tell us what you think 😃

[Charlie Marsh @charliermarsh]

Announcing the Beta release of ty: an extremely fast type checker and language server for Python, written in Rust.

We now use ty exclusively in our own projects and are ready to recommend it to motivated users.

10x, 50x, even 100x faster than existing type checkers and LSPs.