Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

TypeScript types can run DOOM [video]

youtube.com

Post reply on HN
Print view View original

71–80 of 391 posts

Re: TypeScript types can run DOOM [video]

#71

Post by orangecat »

dimitropoulos wrote: post #44
orangecat wrote: post #30

Earlier quoted context omitted.

Doom is Turing complete ( https://calabi-yau.space/blog/doom.html ), so it's just a matter of building the appropriate map.

(author here) _yes I realize how ridiculous what I'm about to say is considering the project I just shared_ but I actually strongly disagree, haahah. there's this thing I learned of called "the turing tarpit". my position is that just because something could theoretically be done with infinite time and infinite resources, doesn't mean you can even approach the throne of doing it for real in a human lifetime. And if I…

Of course you're right, and I should have put quotes around "just". It would be amusing to calculate how long it would take to render the Google home page via Doom via TypeScript; I'd guess much longer than the age of the universe.

Re: TypeScript types can run DOOM [video]

#72

Post by layer8 »

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it.

[0] https://github.com/microsoft/TypeScript/issues/14833

Re: TypeScript types can run DOOM [video]

#73

Post by ravenstine »

One of the top comments in the video:

> If this guy goes for a big tech interview they're still going to ask him how to invert a binary tree

The industry's hiring process is so messed up that this is completely believable.

"We've decided to prioritize other candidates, as you are strong in the fundamentals but lack the kind of experience in Vue that we're looking for."

Re: TypeScript types can run DOOM [video]

#74

Post by __alexander »

layer8 wrote: post #72

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it. [0] https://github.com/microsoft/TypeScript/issues/14833

I think you missed the part about how much effort they put into it.

Re: TypeScript types can run DOOM [video]

#75

Post by graynk »

layer8 wrote: post #72

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it. [0] https://github.com/microsoft/TypeScript/issues/14833

There’s a difference between a _system_ being Turing complete and something actually _using_ that Turing-completeness to make something arbitrary run on it. You can’t deny this is an impressive effort.

Re: TypeScript types can run DOOM [video]

#77

Post by frankfrank13 »

layer8 wrote: post #72

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it. [0] https://github.com/microsoft/TypeScript/issues/14833

> I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete

The time is now, but if you had said

> I wonder if there will come a time when the HN audience will stop being amazed that some system can run Doom

The answer is never, and particularly not when its this insane to even try

Re: TypeScript types can run DOOM [video]

#78

Post by sizeofchar »

layer8 wrote: post #72

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it. [0] https://github.com/microsoft/TypeScript/issues/14833

There is a big gap between "Turing complete"-able and "real-time, interactive, graphical and performant"-thing.

Re: TypeScript types can run DOOM [video]

#79

Post by zeroq »

From YT comment section:

>> @TimMattison >> If this guy goes for a big tech interview they're still going to ask him how to invert a binary tree

> @MichiganTypeScript > So actually in the "why" video, you're going to hear about exactly that! I was looking for a job during working on this and absolutely got some disappointing rejections, and one was because of my lack of skillset on things like this in a big tech company's interview. I literally failed the technical screening. Oh well.

Re: TypeScript types can run DOOM [video]

#80

Post by regularfry »

layer8 wrote: post #72

I wonder if there will come a time when the HN audience will stop being amazed that some system is Turing complete, or that any Turing-complete system can run Doom (barring resource constraints). Maybe I’ve just seen it too often. The fact that TypeScript’s type system is Turing-complete was shown back in 2017 [0], and then of course you can run Doom on it. [0] https://github.com/microsoft/TypeScript/issues/14833

Ah yes, the Underpants Gnomes theory of Doom execution:

    1) Show that a system is Turing complete
    2) ???
    3) Run Doom on it.
Step 2 is, of course, always trivial, and no amount of effort or technical nous that goes into actually getting to step 3 can possibly be relevant.
Post reply on HN