💾 Archived View for dcreager.net › 2024 › 12 › 09-astral.gmi captured on 2024-12-17 at 09:33:23. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
2024-12-09
I posted this on various social media, but not here yet! I have left GitHub, and am now working at Astral. Astral is creating some amazing open-source developer tooling for Python, including a package manager named ‘uv’, and a linter/formatter named ‘ruff’. Both of these are implemented in Rust.
(Many folks have touted this fact as a way of talking up ‘uv’ and ‘ruff’'s speed—which is admittedly quite nice, but not the killer feature to me. To me, it's more interesting that they're implemented in a statically compiled language, which makes the distribution story much nicer.)
I'll be getting back to my IC roots, working as a software engineer, specifically on Red Knot, the new type checking functionality that they (we!) are adding to ‘ruff’.
Expect to see some more content about Python formalization and typing around here as a result!