Per-talk notes from the PyCon US 2026 Typing Summit in Long Beach: Pyrefly and AI agents, ty constraint sets, Lean formalization, tensor shape types, intersection types, PEP 827, Guido on the direction of typing, and the Typing Council Q&A.

Just published my notes from this year’s Python Typing Summit at PyCon US. If you’ve ever been curious what one of these is like from the inside: intersection types, constraint sets in ty, tensor shapes in Pyrefly, Guido on direction. Comments

  • [object Object]@lemmy.caEnglish
    1·
    6 months ago

    You can’t have tech conferences in Florida.

    They’re not a safe state for trans people, and if you pretend that’s not a problem you’re leaving a lot of people excluded and in danger.

    I’m disappointed in pycon.