ocamoss

Recent Submissions

1. 1. ▲ Python Type Checker Comparison: Empty Container Inference (pyrefly.org) 50 points · 4 days ago · 30 comments
2. 2. ▲ PyTorch Now Uses Pyrefly for Type Checking (pytorch.org) 5 points · 16 days ago · 0 comments
3. 3. ▲ Making Pyrefly Diagnostics 18x Faster (pyrefly.org) 5 points · 20 days ago · 0 comments
4. 4. ▲ Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org) 6 points · 1 month ago · 0 comments
5. 5. ▲ Making a Strava-Style Heatmap with My Citibike Ride History (yangdanny97.github.io) 2 points · 1 month ago · 0 comments
6. 6. ▲ Python Typing Survey 2025: Code Quality and Flexibility Top Reasons for Adoption (engineering.fb.com) 1 point · 1 month ago · 0 comments
7. 7. ▲ Reforging the ReScript Build System (rescript-lang.org) 3 points · 2 months ago · 0 comments
8. 8. ▲ What can I do with ReScript? (rescript-lang.org) 3 points · 2 months ago · 0 comments
9. 9. ▲ Fly through data validation with Pyrefly's new Pydantic integration (pyrefly.org) 1 point · 2 months ago · 0 comments
10. 10. ▲ ReScript 12 (rescript-lang.org) 2 points · 2 months ago · 0 comments