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.

Avsnitt(723)

What To Expect For JSNation -  BONUS

What To Expect For JSNation - BONUS

Chuck gives an overview of the events that will take place in the months of May and June for the JavaScript and React community. On YouTubeWhat To Expect For May and June 2023 - BONUSLinksJSNation – the main JavaScript conference of 2023Support this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

5 Maj 20233min

Cross Platform App Development with Simon Grimm - JSJ 580

Cross Platform App Development with Simon Grimm - JSJ 580

Simon Grimm is a Creator, Indie Maker & Solopreneur. He is currently working at The Ionic Academy. He joins the show to talk about "cross-platform development frameworks". He also tackles the difference between building native and hybrid apps. Additionally, he explains the different cross-platform apps. On YouTubeCross Platform App Development with Simon Grimm - JSJ 580SponsorsChuck's Resume Template Raygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipLinksThe Ionic AcademySocialsDevdacticGitHub: saimon24LinkedIn: Simon GrimmTwitter: @schlimmsonPicksAJ - Volume MasterAJ - videospeedAJ - SpeechifyAJ - bnna.netAJ - tauri-apps/awesome-tauriCharles - Jason Weimann - Learn Video Game Development with Chuck - BONUSCharles - game.coursesDan - ReactNext - ReactNext: Israel's largest React ConferenceDan - JNation 2023Dan - The main JS conference of 2023 - JSNation 2023Support this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

3 Maj 20231h 24min

Find Out More About Elliot Johnson - BONUS

Find Out More About Elliot Johnson - BONUS

Elliott Johnson is a Multi-stack data software generalist at Vercel. He is one of the speakers at the upcoming JSNation conference. He joins Chuck in this bonus episode to provide an introduction to his topic at the conference. LinksThe main JS conference of 2023SocialsLinkedIn: Elliott JohnsonSupport this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

3 Maj 20238min

Getting to Know Bruce A. Tate - BONUS

Getting to Know Bruce A. Tate - BONUS

Bruce A. Tate is a Founder at Groxio, Elixir Expert, and a Technical Author. He joins the show alongside Charles Max Wood to talk about his book, "Seven Languages in Seven Weeks". He also delves into some of the preparations and anticipations that come with reading the book. LinksSeven Languages in Seven Weeksgrox.io SocialsLinkedIn: Bruce TateTwitter: redrapidsSupport this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

26 Apr 202331min

Everything Remult with Noam Honig and Yoni Rapoport - JSJ 579

Everything Remult with Noam Honig and Yoni Rapoport - JSJ 579

Noam Honig is the Founder & CEO of Firefly Migration. Yoni Rapoport is a CTO at Firefly Migration. They join the show to talk about "Remult". It builds Full-stack, End-to-end Type-safe CRUD Apps without the Boilerplate. They dive into how it functions in your apps and its useful features. SponsorsChuck's Resume Template Developer Book ClubBecome a Top 1% Dev with a Top End Devs MembershipLinksRemultremultShort demo videoIntro blog postJS meetup talkTwitter: @RemultJsRemult | YouTubeSocialsLinkedIn: Yoni RapoportTwitter: @YoniRapoportLinkedIn: Noam HonigTwitter: @noamhonigPicksDan - The SolidJS April 1st tweetNoam - Thunder ClientYoni - Vite Support this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

25 Apr 20231h 20min

Jason Weimann - Learn Video Game Development with Chuck - BONUS

Jason Weimann - Learn Video Game Development with Chuck - BONUS

Jason Weimann is a Developer and Instructor. He returns to the show with Chuck to talk about video game creation. He shares his experiences as a developer and dives into his courses wherein he gives beginners and aspiring developers a walk-through of the world of creating games. LinksGame development courses & tutorialsProgrammer Course – game.coursesSocialsTwitter: @jweimannSupport this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

20 Apr 202350min

TanStack Router with Tanner Linsley -  JSJ 578

TanStack Router with Tanner Linsley - JSJ 578

Tanner Linsley is the Co-Founder & VP of UI / UX at Nozzle. He joins the show to talk about TanStack Router. TanStack is an Open-source software for building better UI and UX. They talk about the vital role that a "router" plays in the architecture of a web application. Moreover, Tanner shares why he developed his own router and explains the Type safe routing. SponsorsChuck's Resume Template Raygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipLinksTanStack Router (beta)SocialstannerlinsleyLinkedIn: Tanner LinsleyTwitter: @tannerlinsleyPicksAJ - PowerEdge R720 rack server detailsCharles - Between Two Castles of Mad King LudwigDan - The Bastard Operator From Hell Dan - Demonstrating democracy in Israel Dan - Ongoing war in UkraineSteve - How John Glenn’s $40 Camera Forced NASA to Rethink Space MissionsTanner - TonalTanner - Metroid Prime™ Remastered for Nintendo SwitchSupport this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

18 Apr 20231h 18min

Reverse Engineering with Joyce Lin - JSJ 577

Reverse Engineering with Joyce Lin - JSJ 577

Joyce Lin is the Head of Developer Relations at Postman. She returns to the show to discuss Reverse Engineering. They talk about APIs, API security, proxy tools and explain its relevance in your applications. They dive into the process, purpose, and significance of Reverse Engineering. Additionally, they talk about API hacking.Sponsors Chuck's Resume Template Developer Book ClubBecome a Top 1% Dev with a Top End Devs MembershipLinksPostman | YouTubeSocialsmeowsergirl.comGitHub: loopDeliciousLinkedIn: Joyce LinTwitter: @PetuniaGrayPicksAJ - Phone Strap Grip Holder FingerCharles - The CrewCharles - Battlestar Galactica Charles - Study: 'Dad jokes' help kids develop into healthy adultsDan - War in UkraineDan - Daylight savings Steve - Adult Blond Chick Magnet WigSupport this podcast at — https://redcircle.com/javascript-jabber/donationsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/javascript-jabber--6102064/support.

11 Apr 20231h 16min

Populärt inom Business & ekonomi

framgangspodden
varvet
badfluence
rss-borsens-finest
uppgang-och-fall
svd-ledarredaktionen
avanzapodden
lastbilspodden
rikatillsammans-om-privatekonomi-rikedom-i-livet
fill-or-kill
rss-kort-lang-analyspodden-fran-di
rss-dagen-med-di
affarsvarlden
borsmorgon
dynastin
tabberaset
kapitalet-en-podd-om-ekonomi
montrosepodden
rss-inga-dumma-fragor-om-pengar
market-makers