We chose Positron's Python type checker | Hacker News Reader