Running Doom in TypeScript’s Type System with Dimitri Mitropoulos - JSJ 684

Running Doom in TypeScript’s Type System with Dimitri Mitropoulos - JSJ 684

What if I told you someone managed to run Doom inside TypeScript’s type system? Sounds insane, right? That’s exactly what our guest Dimitri Mitropoulos did—and in this episode, we dive deep into the how, the why, and the mind-bending implications of this ambitious project. From type-level programming to the philosophical limits of Turing completeness, this is an episode that pushes the boundaries of what you thought was possible in JavaScript.

We talk about how the TypeScript type system evolved to become Turing-complete, how Dimitri pulled off this seemingly impossible feat, and why “Doom-complete” might just be the new gold standard for computational capability. Along the way, we touch on functional programming, generics, recursion, and even some Lambda Calculus. It’s part computer science theory, part coding madness, and 100% geeky goodness.

Episode Highlights
[3:05] – Dimitri explains how a simple thought experiment turned into a year-and-a-half-long obsession
[8:40] – The origins and significance of Turing completeness in type systems
[14:15] – Why running Doom in TypeScript is more about proving limits than just showing off
[19:55] – What it means to run programs inside the type system vs. TypeScript code itself
[27:10] – ASCII art as output, functional recursion for game state, and hover-over frames in your editor
[35:30] – How ignorance, determination, and obsession fueled the completion of the project
[45:20] – Personal insights: balancing family, burnout, and passion while chasing an impossible dream

Links & Resources
Dimitri Mitropoulos
Michigan TypeScript YouTube Channel – Dimitri's channel featuring the project
Type Challenges by Anthony Fu – Advanced TypeScript exercises
SquiggleConf – The TypeScript-focused conference Dimitri co-founded
Josh Goldberg – TypeScript expert and co-organizer of SquiggleConf


Become a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

Jaksot(736)

High-Performance Networking: Key Resources and Tools for Web Developers - JSJ 637

High-Performance Networking: Key Resources and Tools for Web Developers - JSJ 637

Robin Marx is a Web Protocol and Performance Expert at Akamai. They dive deep into the fascinating world of networking performance, where experts share invaluable resources and insights to optimize yo...

25 Kesä 20241h 22min

Transforming React Development: The Experimental Compiler’s Approach to Memoization and Performance - JSJ 636

Transforming React Development: The Experimental Compiler’s Approach to Memoization and Performance - JSJ 636

In this episode, they dive deep into the latest advancements in React with a special focus on the experimental React Compiler. Our guest speakers, Sathya Gunasekaran and Joe Savona, share their insigh...

18 Kesä 20241h 29min

Practical Strategies for Web Optimization: Using Chrome DevTools - JSJ 635

Practical Strategies for Web Optimization: Using Chrome DevTools - JSJ 635

Jack Franklin is a Senior Software Engineer at Google. They dive deep into the world of performance optimization. They explore the sophisticated capabilities of Chrome DevTools, focusing on the perfor...

11 Kesä 20241h 24min

New Frontiers in Web Platform Development with Bruce Lawson - JSJ

New Frontiers in Web Platform Development with Bruce Lawson - JSJ

In this episode, they dive into the world of web development, featuring insightful discussions on the differences and costs associated with hiring React Native developers, the importance of understand...

4 Kesä 20241h 19min

Building a Custom Front-end Framework - JSJ 633

Building a Custom Front-end Framework - JSJ 633

Zach Lankton is the Product Engineer at Signature Payments. They dive deep into the world of software development and tech innovations. In this episode, they explore a wide range of topics, the main f...

28 Touko 20241h 21min

Sentry's Impact on Web Vitals Understanding - JSJ 632

Sentry's Impact on Web Vitals Understanding - JSJ 632

Lazar Nikolov is a Full-stack engineer. They engage in a deep exploration of diverse subjects, from historical veracity and book recommendations to crucial insights on web performance monitoring tools...

21 Touko 20241h 25min

Embracing Angular's Evolution with Santosh Yadav - JSJ 631

Embracing Angular's Evolution with Santosh Yadav - JSJ 631

Santosh Yadav is a Google Developer Expert for Angular. They dive into the world of JavaScript and development. The discussion centers around the topic of why Angular is considered the best framework,...

7 Touko 20241h

Web3 with Nik Kalyani - JSJ 630

Web3 with Nik Kalyani - JSJ 630

Feel like you don’t know enough about Web3? Don’t worry, neither do we. That’s where these podcasts come in! In this new episode, the Jabberers sit down with Nik Kalyani, the founder of Decentology an...

30 Huhti 20241h 24min

Suosittua kategoriassa Liike-elämä ja talous

sijotuskasti
psykopodiaa-podcast
mimmit-sijoittaa
rss-rahapodi
ostan-asuntoja-podcast
herrasmieshakkerit
rss-rahamania
rss-neuvottelija-sami-miettinen
rahapuhetta
taloudellinen-mielenrauha
rss-h-asselmoilanen
rss-markkinointitrippi
rss-seuraava-potilas
van-elamaa
oppimisen-psykologia
pomojen-suusta
rss-lahtijat
rss-inderes
rss-myyntipodi
rss-savessa