AI Summary
5 min read🎙️ The Voices & The Context
- The Format: Casual interview on the Syntax podcast, with hosts Wes Bos and Scott Tolinski chatting tech wizardry.
- The Key Players:
- Guest: Dimitri Metropolis, TypeScript wizard famous for porting Doom entirely to TypeScript types (no JavaScript), plus Type Slayer tool and local meetups. Multidisciplinary dev from Michigan with non-CS degrees.
- Hosts: Wes and Scott bring high-energy banter on TypeScript performance, tools, and industry trends.
- The Vibe: Fun, intensely nerdy, and educational—pure geek excitement over mind-bending TypeScript hacks.
🗝️ Key Themes & Topics
Discussed TypeScript extremes, tool-building, dev tools evolution, and future of programming amid AI.
- Doom in TypeScript Types: Dimitri built the full Doom game engine (physics, rendering, sound) using only TypeScript's type system—no runtime JS. Proved it's "Doom Complete" (better than Turing complete) after 1.5 years; final compile took 11.5 days for one frame, rendered as ASCII art pixels.
- Type Slayer Tool: Desktop app (built in Tauri/Rust) for diagnosing TypeScript type-check performance issues in massive monorepos. Spots type explosions, hidden errors (like
ts-expect-error), and big unions; born from Doom struggles, saves CI time (e.g., 100s off builds). - Dev Tools & GUIs: Preference for GUI a
Continue reading the full summary in the app — free to try.
Read Full Summary →Free • No credit card required
What you'll learn
- 1 (00:00) **🎙️ Introduction: Dimitri Metropolis**
- 2 (01:29) **Doom in TypeScript Explained**
- 3 (09:51) **Type Slayer: TypeScript Performance Tool**
- 4 (16:12) **Building Type Slayer with Tauri**
- 5 (24:03) **TypeScript Performance in AI/CI Era**
- 6 (30:23) **Future of TypeScript & Programming Languages**
- 7 (37:08) **SquiggleConf & Michigan TypeScript**
+ Full timestamped outline available in the app
Show Notes
Scott and Wes sit down with Dimitri Metropolis to explore the wild edges of TypeScript—from running Doom in the type system to building tools like Typeslayer. They dig into Turing-complete types, performance limits, and what the future might hold for TypeScript and programming languages as a whole.
Show Notes
- 00:00 Welcome to Syntax!
- 00:27 Dimitri Metropolis Introduction
- 01:29 What is Doom in TypeScript?
- 03:10 TypeScript Types and Turing Completeness
- 04:06 Project Overview and Challenges
- 04:57 ASCII Art and Visual Representation
- 06:50 Performance Issues with TypeScript
- 09:27 Brought to you by Sentry.io
- 09:51 Typeslayer Tool Introduction
- 16:19 Building in Tauri
- 20:54 Challenges around packaging
- 24:03 Future of TypeScript and AI
- 27:40 Is the Go-based compiler significantly faster?
- 30:23 Should there be something to follow Typescript?
- 36:27 Staying up to date with WASM.
- 37:08 SquiggleConf Overview
- 38:26 Hosting a conference
- 40:45 What are your thoughts on Zig?
- 45:07 Vibe coding as an end goal
- 50:01 Sick Picks & Shameless Plugs