5 ms·Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches3 points by ocamoss 4mo ago