ocamoss

Recent Submissions

1. 1. ▲ Making Type Coverage Visible in Dify's CI (pyrefly.org) 1 point · 6 days ago · 0 comments
2. 2. ▲ Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org) 5 points · 6 days ago · 0 comments
3. 3. ▲ How to get your agent to use Pyrefly for type checking [video] (youtube.com) 4 points · 7 days ago · 0 comments
4. 4. ▲ Talk: Python Type Checking in Agentic Workflows [video] (youtube.com) 2 points · 8 days ago · 0 comments
5. 5. ▲ Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org) 3 points · 9 days ago · 0 comments
6. 6. ▲ Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org) 3 points · 12 days ago · 0 comments
7. 7. ▲ Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video] (youtube.com) 9 points · 15 days ago · 0 comments
8. 8. ▲ Are you expected to run five Python type-checkers now? (pyrefly.org) 168 points · 16 days ago · 208 comments
9. 9. ▲ Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org) 41 points · 1 month ago · 9 comments
10. 10. ▲ Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org) 3 points · 1 month ago · 0 comments