Statically type checking Python code using Pyright | Hacker News Reader