Very interesting! I have been waiting for ty (or rather red-knot) for a long time. Still holding out for a few more features, probably end of year, before swapping over.

I’m desperate for better type checking in Python, and part of that is speed. So I’m very interested in these options

I recently started using uv based on a recommendation in another thread so I’ll probably give ty a whirl sometime soon