PyCon US 2026 Typing Summit Recap
Summary
This post recaps PyCon US 2026 Typing Summit, detailing talks on Python typing evolution, PEP 827, intersection types, and tensor-shape typing in Pyrefly. It covers experiments with AI-assisted coding agents, Lean formalization, and governance questions from the Typing Council. A valuable resource for developers tracking typing tooling, language evolution, and open-source contributions.