Submissions from pyrefly.org

		Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
		3 points by ocamoss 1 day ago \| past \| discuss
		Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
		3 points by ocamoss 4 days ago \| past \| discuss
		Are you expected to run five Python type-checkers now? (pyrefly.org)
		168 points by ocamoss 8 days ago \| past \| 208 comments
		Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
		41 points by ocamoss 34 days ago \| past \| 9 comments
		Tensor Shapes (pyrefly.org)
		6 points by rexledesma 35 days ago \| past
		Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
		3 points by ocamoss 42 days ago \| past
		Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
		2 points by ocamoss 42 days ago \| past
		Python Type Checker Comparison: Speed and Memory Usage – Pyrefly (pyrefly.org)
		5 points by rbanffy 54 days ago \| past
		Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		2 points by PaulHoule 61 days ago \| past
		Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org)
		2 points by ocamoss 62 days ago \| past
		How to Support Notebooks in a Language Server (pyrefly.org)
		3 points by ocamoss 70 days ago \| past
		Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org)
		3 points by ocamoss 76 days ago \| past
		Lessons from Pyre That Shaped Pyrefly – Pyrefly (pyrefly.org)
		3 points by rbanffy 81 days ago \| past
		Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		6 points by ocamoss 84 days ago \| past
		Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
		119 points by ocamoss 3 months ago \| past \| 59 comments
		Pandas' Public API Is Now Type-Complete (pyrefly.org)
		4 points by ocamoss 3 months ago \| past
		Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
		59 points by ocamoss 3 months ago \| past \| 57 comments
		Pyrefly IDE extension now 18x faster (pyrefly.org)
		1 point by javabster 4 months ago \| past
		Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
		5 points by ocamoss 4 months ago \| past
		Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
		6 points by ocamoss 4 months ago \| past
		Fly through data validation with Pyrefly's new Pydantic integration (pyrefly.org)
		1 point by ocamoss 6 months ago \| past
		Pyrefly typechecker/language server now has experimental support for Pydantic (pyrefly.org)
		1 point by javabster 6 months ago \| past
		Pyrefly Is Now in Beta (pyrefly.org)
		3 points by javabster 7 months ago \| past
		Pyrefly: Python type checker and language server in Rust (pyrefly.org)
		203 points by brianzelip 8 months ago \| past \| 144 comments
		Bringing NumPy's type-completeness score to nearly 90% (pyrefly.org)
		59 points by todsacerdoti 8 months ago \| past \| 34 comments
		Python developers are embracing type hints (pyrefly.org)
		318 points by ocamoss 8 months ago \| past \| 566 comments
		Give your Python IDE a glow-up with Pyrefly (pyrefly.org)
		4 points by javabster 8 months ago \| past
		Pyrefly - A faster Python type checker written in Rust (pyrefly.org)
		142 points by muglug on April 29, 2025 \| past \| 75 comments