A stricter TypeScript for a world where AI writes most of the code | Hacker News Reader