5 ms·

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 a

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-wasm-runtime https://github.com/MichiganTypeScript/typescript-types-only-...

sn9 2y ago
What was the argument for why it couldn't?
- mbb70 2y ago
  Because we lack an infinite tape and infinite time, not everything that is Turing complete can run DOOM
  - n2d4 2y ago
    Or more specifically, everything that is Turing complete can run DOOM, but most languages are only Turing complete under certain assumptions which are not met in practice
  - akie 2y ago
    > not everything that is Turing complete can run DOOM Beware with such blanket statements, you might inspire someone to do 18-hour days for a year to prove you wrong.
  - zelphirkalt 2y ago
    Not having infinite tape is true for all computers though. And probably also not infinite time as well.
- LoganDark 2y ago
  He tried and tried and tried to find one and accidentally proved instead that it could.