| 1. | | Define less, check more: Pyrefly now supports attrs (pyrefly.org) |
| 6 points by ocamoss 3 days ago | past | discuss |
|
| 2. | | Making Type Coverage Visible in Dify's CI (pyrefly.org) |
| 1 point by ocamoss 35 days ago | past |
|
| 3. | | Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org) |
| 5 points by ocamoss 35 days ago | past |
|
| 4. | | How to get your agent to use Pyrefly for type checking [video] (youtube.com) |
| 4 points by ocamoss 36 days ago | past |
|
| 5. | | Talk: Python Type Checking in Agentic Workflows [video] (youtube.com) |
| 2 points by ocamoss 37 days ago | past |
|
| 6. | | Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org) |
| 3 points by ocamoss 38 days ago | past |
|
| 7. | | Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org) |
| 3 points by ocamoss 41 days ago | past |
|
| 8. | | Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video] (youtube.com) |
| 9 points by ocamoss 44 days ago | past |
|
| 9. | | Are you expected to run five Python type-checkers now? (pyrefly.org) |
| 168 points by ocamoss 45 days ago | past | 208 comments |
|
| 10. | | Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org) |
| 41 points by ocamoss 71 days ago | past | 9 comments |
|
| 11. | | Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org) |
| 3 points by ocamoss 79 days ago | past |
|
| 12. | | Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org) |
| 2 points by ocamoss 79 days ago | past |
|
| 13. | | Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org) |
| 2 points by ocamoss 3 months ago | past |
|
| 14. | | How to Support Notebooks in a Language Server (pyrefly.org) |
| 3 points by ocamoss 3 months ago | past |
|
| 15. | | We chose Positron's Python type checker (posit.co) |
| 1 point by ocamoss 3 months ago | past |
|
| 16. | | Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org) |
| 3 points by ocamoss 3 months ago | past |
|
| 17. | | Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org) |
| 6 points by ocamoss 4 months ago | past |
|
| 18. | | PyCon 2026 Typing Summit: Thu May 14, 1-5pm (python.org) |
| 2 points by ocamoss 4 months ago | past |
|
| 19. | | Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org) |
| 119 points by ocamoss 4 months ago | past | 59 comments |
|
| 20. | | Pandas' Public API Is Now Type-Complete (pyrefly.org) |
| 4 points by ocamoss 4 months ago | past |
|
| 21. | | Python Type Checker Comparison: Empty Container Inference (pyrefly.org) |
| 59 points by ocamoss 4 months ago | past | 57 comments |
|
| 22. | | PyTorch Now Uses Pyrefly for Type Checking (pytorch.org) |
| 5 points by ocamoss 5 months ago | past |
|
| 23. | | Making Pyrefly Diagnostics 18x Faster (pyrefly.org) |
| 5 points by ocamoss 5 months ago | past |
|
| 24. | | Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org) |
| 6 points by ocamoss 5 months ago | past |
|
| 25. | | Making a Strava-Style Heatmap with My Citibike Ride History (yangdanny97.github.io) |
| 2 points by ocamoss 6 months ago | past |
|
| 26. | | Python Typing Survey 2025: Code Quality and Flexibility Top Reasons for Adoption (fb.com) |
| 1 point by ocamoss 6 months ago | past |
|
| 27. | | Reforging the ReScript Build System (rescript-lang.org) |
| 3 points by ocamoss 7 months ago | past |
|
| 28. | | What can I do with ReScript? (rescript-lang.org) |
| 3 points by ocamoss 7 months ago | past |
|
| 29. | | Fly through data validation with Pyrefly's new Pydantic integration (pyrefly.org) |
| 1 point by ocamoss 7 months ago | past |
|
| 30. | | ReScript 12 (rescript-lang.org) |
| 2 points by ocamoss 7 months ago | past |
|
|
| More |
