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

251–260 of 391 posts

Re: TypeScript types can run DOOM [video]

#251

Post by lmm »

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…

> And if I'm just totally wrong on this, then you have your answer on why I never gave up on this project. I never once, ever, at any point, lost hope that it wouldn't work (HOW COULD IT?!).... right up until the very instant when I couldn't deny it anymore and it was on the screen in front of me.

Has this experience changed your way of thinking at all? It sounds like the thing people thought was possible actually was possible, and that Turing completeness really did mean what people thought it did.

Re: TypeScript types can run DOOM [video]

#253

Post by khazhoux »

cobbal wrote: post #76
aylmao wrote: post #29

At this point the easiest way to know if a system is Turing complete is to check if someone has ported DOOM to it haha Very impressive!

Only if the church-turing-carmack thesis holds, which I personally doubt

Most people would agree that Mengelberg‘s 1984 paper clearly answers that question … of course, we all know that his language is famously hard to parse!

Re: TypeScript types can run DOOM [video]

#255

Post by adamtaylor_13 »

josephg wrote: post #189
adamtaylor_13 wrote: post #131

Earlier quoted context omitted.

And we're also not driving race cars, we're the pit crew... So you kinda do want mechanics... Like, literally, we build and fix the thing you're selling. We do not USE the thing we're building by and large.

> We do not USE the thing we're building by and large. Yes, thankyou, that's quite obvious judging by the quality of most software. It really is amazing how bad most software made for non-developers is. Like, as software engineers, we understand how essential version control is. We made git and github for ourselves. But nobody has bothered building that functionality for people who edit word documents all day. Or peo…

Well my comment wasn’t really on usability or UX per se, just noting that the narrative of needing race car drivers is inaccurate. You don’t need to reverse B-trees to program normal software.

Also usability concerns have nothing to do with reversing B-trees.

Re: TypeScript types can run DOOM [video]

#256

Post by AdieuToLogic »

A Turing complete[0] language can do just about anything any other Turing complete[0] language can do, even if the language used is a language's own type system.

Mad respect for the author. This is a non-trivial achievement indeed.

Bravo!

0 - https://en.wikipedia.org/wiki/Turing_completeness

Re: TypeScript types can run DOOM [video]

#257

Post by AdieuToLogic »

raincole wrote: post #217
paulryanrogers wrote: post #216

Earlier quoted context omitted.

At 17TB, trillions of types, and a year of 18h days my guess is he got very creative.

*177TB, according to the video.

Generative Programming[0] FTW!

0 - https://en.wikipedia.org/wiki/Automatic_programming#Generati...

Re: TypeScript types can run DOOM [video]

#258

Post by tmh88j »

callalex wrote: post #115
SXX wrote: post #109

Earlier quoted context omitted.

By now there is more than one story how some open source developer wasn't hired because their skills with the project they created was not sufficient for the job.

I go back and forth on my opinion for this one. You wouldn’t necessarily want a mechanic or engineer to drive a race car, for example.

> You wouldn’t necessarily want a mechanic or engineer to drive a race car, for example.

GM does. Their engineers have set multiple track records[1] and vehicle-specific lap records[2].

[1] https://gmauthority.com/blog/2025/02/c8-corvette-zr1-sets-fi...

[2] https://www.roadandtrack.com/new-cars/a10206481/the-chevrole...

Re: TypeScript types can run DOOM [video]

#259

Post by [deleted] »

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…

[deleted]

Re: TypeScript types can run DOOM [video]

#260

Post by dclowd9901 »

flanbiscuit wrote: post #204

"But I'm not one of those fancy 10x developers. Instead of a master of craftsmanship, I'm more a master of close-enough-manship" I definitely relate to this comment. and he also says "It was a brutal year long journey of 18 hour days" I think people are looking for those unicorn 10x devs that are like Good Will Hunting for code, but forget that there are those devs that might not get things right away but never stop…

Yeah I relate to this too. I often head into something not knowing what to do, taking the naive approach, realizing there's some patterns I can tool out and simplify, and refine my process. Basically just chewing through the problem. Frankly I've never met a project I couldn't finish. Since I'm not really that talented, it's the thing that gives me the confidence to tackle something.
Post reply on HN