Stories by ocamoss

Making Type Coverage Visible in Dify's CI

Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes

How to get your agent to use Pyrefly for type checking [video]

Talk: Python Type Checking in Agentic Workflows [video]

Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit

Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit

Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video]

Are you expected to run five Python type-checkers now?

Pyrefly v1.0 is here (fast type checker and language server for Python)

Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches

Adding Pyrefly Type Checking to Your Agentic Loop

Python Type Checker Comparison: Speed and Memory Usage

How to Support Notebooks in a Language Server

We chose Positron's Python type checker

Reaching 100% Type Coverage by Deleting Unannotated Code

Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly

PyCon 2026 Typing Summit: Thu May 14, 1-5pm

Comparing Python Type Checkers: Typing Spec Conformance

Pandas' Public API Is Now Type-Complete

Python Type Checker Comparison: Empty Container Inference