ocamoss

Recent Submissions

1. 1. ▲ From Any to Certainty: A Typechecking Journey (napari.org) 1 point · 12 days ago · 0 comments
2. 2. ▲ Pyrefly v1.3: More configurability and composable tensor shapes (pyrefly.org) 1 point · 21 days ago · 0 comments
3. 3. ▲ LSPs for LLMs (ianbarber.blog) 2 points · 1 month ago · 0 comments
4. 4. ▲ What's type-coverage, and why should I care? (pyrefly.org) 2 points · 1 month ago · 0 comments
5. 5. ▲ Cognition CEO denies report that SpaceX tried to acquire the startup (techcrunch.com) 4 points · 1 month ago · 1 comment
6. 6. ▲ Pyrefly 1.2 is here – feat. Bazel support, attrs, and type coverage checking (pyrefly.org) 5 points · 2 months ago · 0 comments
7. 7. ▲ 2026 Python Type System and Tooling Survey (discuss.python.org) 2 points · 2 months ago · 0 comments
8. 8. ▲ Define less, check more: Pyrefly now supports attrs (pyrefly.org) 6 points · 2 months ago · 0 comments
9. 9. ▲ Making Type Coverage Visible in Dify's CI (pyrefly.org) 1 point · 3 months ago · 0 comments
10. 10. ▲ Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org) 5 points · 3 months ago · 0 comments