Hacker News new | ask | show | jobs
user: ocamoss
created: 2025-09-24
karma: 299

submissions:

0 points | 0 comments
Define less, check more: Pyrefly now supports attrs
6 points | 0 comments
Making Type Coverage Visible in Dify's CI
1 points | 0 comments
Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes
5 points | 0 comments
How to get your agent to use Pyrefly for type checking [video]
4 points | 0 comments
Talk: Python Type Checking in Agentic Workflows [video]
2 points | 0 comments
Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit
3 points | 0 comments
Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit
3 points | 0 comments
Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video]
9 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Are you expected to run five Python type-checkers now?
168 points | 208 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Pyrefly v1.0 is here (fast type checker and language server for Python)
41 points | 9 comments
Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches
3 points | 0 comments
Adding Pyrefly Type Checking to Your Agentic Loop
2 points | 0 comments
Python Type Checker Comparison: Speed and Memory Usage
2 points | 0 comments
How to Support Notebooks in a Language Server
3 points | 0 comments
We chose Positron's Python type checker
1 points | 0 comments
Reaching 100% Type Coverage by Deleting Unannotated Code
3 points | 0 comments
Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly
6 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
PyCon 2026 Typing Summit: Thu May 14, 1-5pm
2 points | 0 comments
0 points | 0 comments
Comparing Python Type Checkers: Typing Spec Conformance
119 points | 59 comments