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