FwPython, Part 1: Setting the Stage
· 11 min read
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.
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.