Submissions from pyrefly.org

		What's type-coverage, and why should I care? (pyrefly.org)
		2 points by ocamoss 17 days ago \| past
		Pyrefly 1.2 is here – feat. Bazel support, attrs, and type coverage checking (pyrefly.org)
		5 points by ocamoss 36 days ago \| past
		Define less, check more: Pyrefly now supports attrs (pyrefly.org)
		6 points by ocamoss 54 days ago \| past
		Making Type Coverage Visible in Dify's CI (pyrefly.org)
		1 point by ocamoss 86 days ago \| past
		Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
		5 points by ocamoss 86 days ago \| past
		Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
		3 points by ocamoss 89 days ago \| past
		Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
		3 points by ocamoss 3 months ago \| past
		Are you expected to run five Python type-checkers now? (pyrefly.org)
		168 points by ocamoss 3 months ago \| past \| 208 comments
		Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
		41 points by ocamoss 4 months ago \| past \| 9 comments
		Tensor Shapes (pyrefly.org)
		6 points by rexledesma 4 months ago \| past
		Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
		3 points by ocamoss 4 months ago \| past
		Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
		2 points by ocamoss 4 months ago \| past
		Python Type Checker Comparison: Speed and Memory Usage – Pyrefly (pyrefly.org)
		5 points by rbanffy 4 months ago \| past
		Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		2 points by PaulHoule 4 months ago \| past
		Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org)
		2 points by ocamoss 5 months ago \| past
		How to Support Notebooks in a Language Server (pyrefly.org)
		3 points by ocamoss 5 months ago \| past
		Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org)
		3 points by ocamoss 5 months ago \| past
		Lessons from Pyre That Shaped Pyrefly – Pyrefly (pyrefly.org)
		3 points by rbanffy 5 months ago \| past
		Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		6 points by ocamoss 5 months ago \| past
		Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
		119 points by ocamoss 6 months ago \| past \| 59 comments
		Pandas' Public API Is Now Type-Complete (pyrefly.org)
		4 points by ocamoss 6 months ago \| past
		Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
		59 points by ocamoss 6 months ago \| past \| 57 comments
		Pyrefly IDE extension now 18x faster (pyrefly.org)
		1 point by javabster 7 months ago \| past
		Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
		5 points by ocamoss 7 months ago \| past
		Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
		6 points by ocamoss 7 months ago \| past
		Fly through data validation with Pyrefly's new Pydantic integration (pyrefly.org)
		1 point by ocamoss 9 months ago \| past
		Pyrefly typechecker/language server now has experimental support for Pydantic (pyrefly.org)
		1 point by javabster 9 months ago \| past
		Pyrefly Is Now in Beta (pyrefly.org)
		3 points by javabster 9 months ago \| past
		Pyrefly: Python type checker and language server in Rust (pyrefly.org)
		203 points by brianzelip 11 months ago \| past \| 144 comments
		Bringing NumPy's type-completeness score to nearly 90% (pyrefly.org)
		59 points by todsacerdoti 11 months ago \| past \| 34 comments
		More