corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0b5c5-1f1b-7166-87d6-7a9b58fa00a1

ty: An extremely fast Python type checker and LSP

astral.sh · published 16 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at astral.sh Wayback capture
3blogs citing
First cited
16 Dec 2025
Most recent
4 Jan 2026
Rank this month
not ranked
Links from this post
130
Words captured
1,174

Cited by

Blog
In the post
Date
Technical inconsistencies blog
Using ty with the helix editor Read at the source ↗
4 Jan 2026
Ten Thousand Meters
I switched from VSCode to Zed Read at the source ↗
3 Jan 2026
Greg Newman
Trying Ty for my LSP in Emacs Read at the source ↗
16 Dec 2025

Links from this post

Link
Host
Linklog | astral-sh/ty: An extremely fast Python type checker and language server, written in Rust. Read at the source ↗
github.com
https://github.com/astral-sh/uv
github.com
https://github.com/home-assistant/core
github.com
https://github.com/astral-sh/ruff/blob/7f7485d608d2da19a0632a1238f2d4be551f612f/scripts/ty_benchmark/README.md
github.com
https://github.com/pytorch/pytorch
github.com
https://marketplace.visualstudio.com/items?itemName=astral-sh.ty
marketplace.visualstudio.com
https://docs.astral.sh/ty/features/type-system/
docs.astral.sh
https://play.ty.dev/
play.ty.dev
https://github.com/facebook/pyrefly
github.com
https://docs.astral.sh/ty/features/diagnostics/
docs.astral.sh
https://docs.astral.sh/ty/features/language-server/
docs.astral.sh
https://microsoft.github.io/language-server-protocol/
microsoft.github.io
https://github.com/astral-sh/ty/milestone/2
github.com
https://github.com/astral-sh/ty/milestone/4
github.com
https://github.com/astral-sh/ty/issues/1889
github.com
https://pypi.org/project/pydantic/
pypi.org
https://pypi.org/project/Django/
pypi.org
https://github.com/dcreager
github.com
https://github.com/AlexWaygood
github.com
https://github.com/sharkdp
github.com
https://github.com/MichaReiser
github.com
https://github.com/BurntSushi
github.com
https://github.com/Gankra
github.com
https://github.com/carljm
github.com
https://github.com/zanieb
github.com
https://github.com/ibraheemdev
github.com
https://github.com/dhruvmanila
github.com
https://github.com/oconnor663
github.com
https://github.com/zsol
github.com
https://github.com/mtshiba
github.com
https://github.com/MatthewMckee4
github.com
https://github.com/ntBre
github.com
https://github.com/UnboundVariable
github.com
https://github.com/Glyphack
github.com
https://github.com/thejchap
github.com
https://github.com/InSyncWithFoo
github.com
https://github.com/11happy
github.com
https://github.com/abhijeetbodas2001
github.com
https://github.com/RasmusNygren
github.com
https://github.com/lipefree
github.com
https://github.com/ericmarkmartin
github.com
https://github.com/TomerBin
github.com
https://github.com/lucach
github.com
https://github.com/brandtbucher
github.com
https://github.com/dylwil3
github.com
https://github.com/PrettyWood
github.com
https://github.com/felixscherz
github.com
https://github.com/leandrobbraga
github.com
https://github.com/Renkai
github.com
https://github.com/brainwane
github.com
https://github.com/TaKO8Ki
github.com
https://github.com/maxmynter
github.com
https://github.com/med1844
github.com
https://github.com/woodruffw
github.com
https://github.com/kiran-4444
github.com
https://github.com/DetachHead
github.com
https://github.com/esadek
github.com
https://github.com/j178
github.com
https://github.com/jorenham
github.com
https://github.com/saada
github.com
https://github.com/mmlb
github.com
https://github.com/InvalidPathException
github.com
https://github.com/silamon
github.com
https://github.com/suneettipirneni
github.com
https://github.com/fgiacome
github.com
https://github.com/adamaaronson
github.com
https://github.com/alpaylan
github.com
https://github.com/charliecloudberry
github.com
https://github.com/danparizher
github.com
https://github.com/danielhollas
github.com
https://github.com/dsherret
github.com
https://github.com/mdqst
github.com
https://github.com/ercbot
github.com
https://github.com/eruditmorina
github.com
https://github.com/frgfm
github.com
https://github.com/fabridamicelli
github.com
https://github.com/Guillaume-Fgt
github.com
https://github.com/hugovk
github.com
https://github.com/JosiahKane
github.com
https://github.com/LoicRiegel
github.com
https://github.com/Mathemmagician
github.com
https://github.com/s-rigaud
github.com
https://github.com/soof-golan
github.com
https://github.com/Usul-Dev
github.com
https://github.com/decorator-factory
github.com
https://github.com/omahs
github.com
https://github.com/fatelei
github.com
https://github.com/cake-monotone
github.com
https://github.com/slyces
github.com
https://github.com/chriskrycho
github.com
https://github.com/mishamsk
github.com
https://github.com/rtpg
github.com
https://github.com/connorskees
github.com
https://github.com/pilleye
github.com
https://github.com/Lexxxzy
github.com
https://github.com/haarisr
github.com
https://github.com/jgeralnik
github.com
https://github.com/theammir
github.com
https://github.com/Kalmaegi
github.com
https://github.com/manzt
github.com
https://github.com/teofr
github.com
https://github.com/Hugo-Polloli
github.com
https://github.com/ngroman
github.com
https://github.com/LaBatata101
github.com
https://github.com/jnooree
github.com
https://github.com/IYakushev
github.com
https://github.com/hamirmahal
github.com
https://github.com/denyszhak
github.com
https://github.com/Danielkonge
github.com
https://github.com/EmilyBZhang
github.com
https://github.com/benbaror
github.com
https://github.com/alex-700
github.com
https://github.com/Aditya-PS-05
github.com
https://github.com/wooly18
github.com
https://github.com/sransara
github.com
https://github.com/artefactop
github.com
https://github.com/salsa-rs/salsa
github.com
https://github.com/nikomatsakis
github.com
https://github.com/davidbarsky
github.com
https://github.com/veykril
github.com
https://github.com/elixir-lang/elixir
github.com
https://github.com/josevalim
github.com
https://www.irif.fr/~gc/
irif.fr
https://gldubc.github.io/
gldubc.github.io
https://github.com/erictraut
github.com
https://github.com/JelleZijlstra
github.com
https://github.com/grievejia
github.com
https://github.com/samwgoldman
github.com
https://github.com/hauntsaninja
github.com
https://github.com/stroxler
github.com