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