Hello!
The Typing Summit at PyCon US 2026 is scheduled for 1-5pm, Thursday May 14, in room 201A. Hope to see many of you there! If you plan to attend, please fill out the interests survey.
– your hosts, Carl Meyer & Steven Troxler (@stroxler )
stroxler (Steven Troxler) 2
Hi Folks!
I wanted to bump this thread, I think some folks may have missed it.
We’d love to hear from you - what kinds of topics you’d like to see discussed, any suggestions from those who attended previous years, and especially anyone interested in presenting!
- Steven and Carl, your hosts
stroxler (Steven Troxler) 3
Hi typing folks -
Thanks to everyone who filled the survey and proposed talks. We now have an agenda for the summit:
- Experiments with AI agents and Pyrefly type errors - Conner Nilsen
- The ty implementation of constraint sets - Douglas Creager
- Formalizing parts of Python typing in Lean - Jia Chen
- Exploration of tensor shape types in Pyrefly - Avik Chaudhuri
- Intersection types for Python - Jelle Zijlstra
- PEP 827: Type Manipulation - Michael Sullivan
- Direction of Python’s Type System - Guido van Rossum
- Typing Council panel / Q&A
We’re looking forward to it!
– Steven and Carl