Live data from Hacker News

TypeScript types can run DOOM [video]

youtube.com

1–10 of 391 posts

Re: TypeScript types can run DOOM [video]

#4
Nothing will ever top this for typescript types. This is the pinnacle. An entire virtual machine and system memory with garbage collector in types.

Turing Completeness is one level, but being able to run Doom is the real test of whether a programming environment is complete and robust. Absolutely stunning to see TypeScript's type system get there.

Re: TypeScript types can run DOOM [video]

#6
Blew my mind! Dimitri talks about it in the video but I love the mention of how this project came to be[0]:

> This engine was built to service a project that aimed to demonstrate why Doom can't run in TypeScript types. Well. The funny thing is.. It can.

[0]: https://github.com/MichiganTypeScript/typescript-types-only-...

Re: TypeScript types can run DOOM [video]

#8
I got to watch Dimitri posting internal updates about his progress on this, and it has been utterly mindblowing. This is genuinely one of the most amazing things I've ever seen done with code. Absolutely legendary feat! (And also an incredible amount of persistence.)
Post reply on HN