Python type inference and data-flow analyses for better lints and code quality | Hacker News Reader