Ty: Astral's New Type Checker (Formerly Red-Knot) – Talk Python Live Stream [video]