Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: