P pyre-check.org Pyre: A performant type-checker for Python 3 140 points tosh 5 years ago 115 comments