A static analysis tool for Python that blurs the line between testing and type systems (github.com) 5 points by sebst in: 1 month ago | discuss