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