T twitter.com "We're building a new static type checker for Python" 356 points shlomo_z 1 year ago 190 comments