HackerTube / Video
TypeScript types can run DOOM
Michigan TypeScript

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.
HN commenters link it as a delightful example of how far TypeScript types can be pushed, since they are Turing complete.
3 Hacker News mentions · 2025–2025