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

submissions:

Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video]
6 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?
166 points | 206 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
Pandas' Public API Is Now Type-Complete
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Python Type Checker Comparison: Empty Container Inference
59 points | 57 comments
PyTorch Now Uses Pyrefly for Type Checking
5 points | 0 comments
Making Pyrefly Diagnostics 18x Faster
5 points | 0 comments
Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive
6 points | 0 comments