Ask HN: mypy is used in production? | Hacker News Reader