Bringing uv and ty together(astral.sh)
303 points by Ravencentric | 111 comments
Astral blog post announcing experimental uv-ty integration, adding PEP 723 script support in ty and a unified `uv check` command for type checking projects.
#type-checking on Hacker News
4 stories tagged type-checking, newest first.
Announcing the Beta release of ty(astral.sh)
815 points by gavide | 150 comments
Astral blog post announcing the Beta release of ty, a fast Rust-written Python type checker and language server positioned as an alternative to mypy and Pyright.
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers(blog.edward-li.com)
364 points by edwardjxli | 144 comments
A blog post comparing Pyrefly (Meta) and ty (Astral), two new Rust-based Python type checkers, against each other and tools like mypy and Pylance.
Ty: A fast Python type checker and language server(github.com)
835 points by arathore | 271 comments
GitHub repository for ty, Astral's extremely fast Python type checker and language server written in Rust.