HN Explorer

ocamoss

↗ HN profile [ 73.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Making Type Coverage Visible in Dify's CI (pyrefly.org)
    1 points 0
  2. Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
    5 points 0
  3. How to get your agent to use Pyrefly for type checking [video] (youtube.com)
    4 points 0
  4. Talk: Python Type Checking in Agentic Workflows [video] (youtube.com)
    2 points 0
  5. Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
    3 points 0
  6. Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
    3 points 0
  7. Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video] (youtube.com)
    9 points 0
  8. Are you expected to run five Python type-checkers now? (pyrefly.org)
    168 points 33
  9. Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
    41 points 5
  10. Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
    3 points 0
  11. Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
    2 points 0
  12. Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org)
    2 points 0
  13. How to Support Notebooks in a Language Server (pyrefly.org)
    3 points 0
  14. We chose Positron's Python type checker (positron.posit.co)
    1 points 0
  15. Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org)
    3 points 0
  16. Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
    6 points 0
  17. PyCon 2026 Typing Summit: Thu May 14, 1-5pm (discuss.python.org)
    2 points 0
  18. Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
    119 points 24
  19. Pandas' Public API Is Now Type-Complete (pyrefly.org)
    4 points 0
  20. Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
    59 points 16
  21. PyTorch Now Uses Pyrefly for Type Checking (pytorch.org)
    5 points 0
  22. Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
    5 points 0
  23. Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
    6 points 0
  24. Making a Strava-Style Heatmap with My Citibike Ride History (yangdanny97.github.io)
    2 points 0
  25. Python Typing Survey 2025: Code Quality and Flexibility Top Reasons for Adoption (engineering.fb.com)
    1 points 0