Home / Companies / Socket / Blog / Post Details
Content Deep Dive

Michigan TypeScript Founder Successfully Runs Doom Inside Ty...

Blog post from Socket

Post Details
Company
Date Published
Author
Sarah Gooding
Word Count
879
Company Posts That Month
42
Language
English
Hacker News Points
-
Post removed?
No
Summary

Dimitri Mitropoulos, the founder of Michigan TypeScript, achieved a groundbreaking technical feat by running the classic video game Doom entirely within TypeScript's type system, a platform not designed for such computational tasks. This project, which took a year and a half, involved processing 177 terabytes of TypeScript types over 12 days to render the game's first frame, making it one of the largest TypeScript codebases ever built. Initially intended to demonstrate why Doom couldn't run in TypeScript types, Mitropoulos' work instead proved its feasibility by implementing a WebAssembly runtime purely in TypeScript types, transforming type checking into a virtual machine capable of executing complex software. Despite having to modify the TypeScript compiler to bypass several safeguards, Mitropoulos succeeded in sustaining 20 million type instantiations per second and implemented all 116 WebAssembly instructions needed for Doom, while also developing a comprehensive set of tools like a type-level garbage collector and a real-time memory compactor. Though expressing no further interest in extending the project, Mitropoulos released it as open source and remains open to assisting others who wish to build on this extraordinary achievement.

Trends Found in this Post
Trend Post Mentions Total Month Mentions Posts Companies MoM
Real-time 1 6,457 1,307 242 +28%
Use This Data

Use this post, company, and trend context to find content marketing opportunities, perform competitive analysis, or address product feature gaps via the Plushcap MCP server or the Plushcap API.