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

381–390 of 391 posts

Re: TypeScript types can run DOOM [video]

#381

Post by dimitropoulos »

ok_dad wrote: post #380
dimitropoulos wrote: post #369

Earlier quoted context omitted.

hi! author here! it's a pipedream, I know, but it's a hope/goal of mine to, in the next video (the "why did you do this" video) to give some fuel/motivation to people that might be feeling like you describe. do you have any advice for me for what I can say in the upcoming video to someone that might not be as comfortable, as you say. I really do have a grasp for how hard what you're talking about is, and I've tried o…

I have no advice because I’m still kinda in the bad place but I think it just takes one thing you can focus on that you enjoy and sometimes you can slowly dig out of the hole. I’ve started woodworking and the joy I get finishing a project has helped to push me forward. Just talk from the heart and you’ll make a good video I’m sure. Good luck, your project is very impressive and I hope you are able to continue to make…

thanks! actually the "why" video is going to talk at some length about my woodworking business, so you might enjoy that part! best of luck to you!

Re: TypeScript types can run DOOM [video]

#382

Post by [deleted] »

dimitropoulos wrote: post #176
ejones wrote: post #164

Earlier quoted context omitted.

Ah nice! Well, hats off this is really impressive. As other commenters mentioned the extent to which it's documented and the restricted scope probably helped.

exactly! knowing what I know now, actually WebAssembly was probably just about the best thing I could have accidentally picked!

[deleted]

Re: TypeScript types can run DOOM [video]

#383

Post by code_biologist »

adhamsalama wrote: post #377
code_biologist wrote: post #188

Earlier quoted context omitted.

First party runtime types would be nice, but zod has become pretty much the standard answer for projects that need it. Not complicated.

Tell me how to have automatic documentation and validation like FastAPI using anything in Node.js and I will use it immediately. Note: NestJS isn't it.

Do OpenAPI Swagger docs count? That seems to be the route a ton of the ecosystem takes.

trpc, ts-rest, and express-zod-api all explicitly build on zod and can do validation + Swagger UI generation.

hono looks like it doesn't do that by default, but single-source-of-truth validation + Swagger UI are available as middleware via `@hono/zod-openapi`.

Re: TypeScript types can run DOOM [video]

#384

Post by replete »

dimitropoulos wrote: post #374
replete wrote: post #370

Earlier quoted context omitted.

Fascinating. Just for fun, comparable compute (by cpumarks) to your 13900k for 30 fps would be 39,600+ 96-core AMD EPYC 9655Ps. Bravo on the project success!

you know what's funny, I also have a threadripper rig (which is my main development rig) and it ran _slower_ than on the 13900k. Like. by a lot. and while that surprised me at first, it's makes a lot of sense because this is Node.js in the end (i.e. the TypeScript typechecker runs within Node.js) and that means it's single threaded. So single-threaded perf is all that matters.

That figures. It was fun though to pretend it would scale across processors. Were you tempted to fork the typescript compiler in this project to add some optimizations or something crazier like gpu acceleration for rendering or parallel workloads?

Reminds me of the guy on Youtube obsessed with optimizing Mario64 code, he found really interesting things like how removing optimizations made the game faster - presumably because the very basic tooling the original developers had made it hard to measure things across the board, and also not making the most of the powerful hardware architecture.

Re: TypeScript types can run DOOM [video]

#385

Post by vid »

dimitropoulos wrote: post #375
vid wrote: post #362

Earlier quoted context omitted.

I'm not diminishing them, I am in awe of their work, I'm just pointing out that sometimes people (including myself) focus on esoteric projects that might have some learning opportunities, but don't directly solve a real problem (and might just be psychological mechanisms).

hi! author here! it's taken me many years to be able to self reflect enough to produce these next few words, but the answer is I have learned about myself that I perform better under pressure. I'm more consistent, reliable, and make better decisions when it's go-time. so I guess the answer to your question _should_ be yes. although.. I've noticed I have other flaws that have burned me many times in responding to inci…

I totally understand. When I have a project with a months timeline that I know can be done more quickly, I spend a lot of up front time exploring areas that might be helpful, or might just be interesting on their own. A friend called this process "annealing." It does bring more creative and sometimes breakthrough solutions, but I find we are in a world where development creativity is subjugated to more top down controlled ideas (which can often lead to a 'race to the bottom' for the users in a startup culture focused on exits)

Re: TypeScript types can run DOOM [video]

#386

Post by lofaszvanitt »

nmeofthestate wrote: post #296
LAC-Tech wrote: post #236

Earlier quoted context omitted.

I don't thinks statements like this are meant to be read literally in American English. IE US English speakers always fond of telling me how they work X hours in a day, or they went N days without sleep. Which used to really impress me, until I realised "wait... do they just exaggerate as matter of course"? And then I realised - of course they do; these are people for whom every purchase is an "upgrade"; where a bicy…

I work with Americans and never experienced this from any of them - are you sure you're not... exaggerating?

not with the youtube types. who say: I spent 670 hours trying to defeat this boss and died 555 times.

Re: TypeScript types can run DOOM [video]

#387

Post by danielscrubs »

KPGv2 wrote: post #339
gr4vityWall wrote: post #313

Earlier quoted context omitted.

> I don't thinks statements like this are meant to be read literally in American English. I don't know, when I got hyperfocused on a side-project a few years ago, I was dedicating almost all my awake time to it. 12+ hours a day, every day, including weekends, for months. Surprisingly, I didn't burn out. I was just so interested in it, I couldn't stop, and even started neglecting other things to work more on it. I nev…

This happened to me once. It was like attaining enlightenment. My company worked with a F100 that had, as a core piece of their business, a piece of software they'd commissioned in the 80s that they still used in the 2010s to make billion dollar decisions. But no one knew how it made the calculations they relied on. This was before attorneys knew to include source code in procurement, the original devs at a third par…

”not sleeping […] for weeks”. This is why Americans make the best marketers, you just can’t help yourself embellish with some fabrications to make a great, memorable story.

Re: TypeScript types can run DOOM [video]

#388

Post by akkad33 »

mseepgood wrote: post #330
akkad33 wrote: post #289

Earlier quoted context omitted.

I have seen papers saying at least Java and Python type systems are turing complete. I wouldn't surprised if all type systems are turing complete

No, good language designers take care that their type system is not Turing complete.

Can you give an example of such a language that is type safe (which removes C)
Post reply on HN