ocamoss

Recent Submissions

1. 1. ▲ Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org) 3 points · 3 days ago · 0 comments
2. 2. ▲ Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org) 2 points · 3 days ago · 0 comments
3. 3. ▲ Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org) 2 points · 23 days ago · 0 comments
4. 4. ▲ How to Support Notebooks in a Language Server (pyrefly.org) 3 points · 1 month ago · 0 comments
5. 5. ▲ We chose Positron's Python type checker (positron.posit.co) 1 point · 1 month ago · 0 comments
6. 6. ▲ Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org) 3 points · 1 month ago · 0 comments
7. 7. ▲ Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org) 6 points · 1 month ago · 0 comments
8. 8. ▲ PyCon 2026 Typing Summit: Thu May 14, 1-5pm (discuss.python.org) 2 points · 1 month ago · 0 comments
9. 9. ▲ Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org) 119 points · 1 month ago · 59 comments
10. 10. ▲ Pandas' Public API Is Now Type-Complete (pyrefly.org) 4 points · 2 months ago · 0 comments