Companion post to my PyCon 2026 Typing Summit talk, "From Soundness to Blame: AI-Assisted Formalization of a Tiny Python." This is the first in a series. What this series is about Python's type system is practical, useful, but full of edge cases.
Companion post to my PyCon 2026 Typing Summit talk, "From Soundness to Blame: AI-Assisted Formalization of a Tiny Python." This is the first in a series. What this series is about Python's type system is practical, useful, but full of edge cases.