Live data from Hacker News

TypeScript types can run DOOM [video]

youtube.com

261–270 of 391 posts

Re: TypeScript types can run DOOM [video]

#263
post #35

Earlier quoted context omitted.

In the YouTube comments he stated nonetheless that he still bombed big tech interviews, specifically the technical portion, probably because of some ridiculous LeetCode problem he did not memorize beforehand. It just goes to show how these procedures do not effectively determine who is actually a good engineer or programmer. If this guy can't land a job while achieving this, then something is not quite right with the…

hi! yep! this definitely happened. I do mention it in the next "why" video, but it's good feedback to know this is interesting to people because I could say a bit more about what those rejections were like - specifically the one where I failed the technical screening. I'm actually really excited to share that part of the story because I hope it can be a small thing in the back of people's mind to help them if it happ…

[dead]

Re: TypeScript types can run DOOM [video]

#264

I hope he learned something useful while doing it and it seems like he did, because, although regarding all the comments here I'll likely be alone in my assessment, I just see a massive waste of time & effort? He described it as "a brutal year-long journey of 18 hour days" and he didn't bootstrap a company, he wrote Doom in Typescript types...?! The "epic" doom music underlying his story just makes it seem even more…

Uh, I think he learned what _universe level scale_ really means.

Re: TypeScript types can run DOOM [video]

#265
I had once built a type checker for a query language within the TypeScript type system, I thought I have reached the limits. Actually showed it to the TS team and they felt the same. This is like something my mind could never had even swallowed, let alone be able to ever build! Nice job!

Re: TypeScript types can run DOOM [video]

#266
post #245

Earlier quoted context omitted.

Typescript's type system is Turing Complete (at least it was for 2.2) [0]. Regexes fundamentally can't do that [1]. [0] https://github.com/Microsoft/TypeScript/issues/14833 [1] https://en.wikipedia.org/wiki/Turing_completeness

A strict theoretical regex yes, but a lot of regex implementations in practice are not strict NFA/DFAs and may indeed be turing complete

I think GP meant PCREs when they said regex. Ar at least the subset of them that doesn't embed perl code.

Re: TypeScript types can run DOOM [video]

#267

Earlier quoted context omitted.

society create the überman myth to keep the working class down, thinking they will never be the top of their game. the ones doing the hiring know that those putting in 18hrs a day are the unicorns, i.e. the best they can hope to find.

I’m close to one of these types and I get taken advantage of a lot and desperately wish I could turn it off. It presents in weird ways that are hard to navigate politically - often I will end up on a team and be outputting a large majority of the work, people/egos get hurt or threatened, still inevitably make the same anyway. It's never really led to any kind of career or financial success I'd have thought it would h…

You are halfway there my friend. The other half is tactful self promotion. Make sure your skip levels see what you’re doing. Do a little less for your team and a little more for other teams and make sure their leads know you’re helping. Become the legend you can and it will result in much success. Output is only half the picture.

Re: TypeScript types can run DOOM [video]

#268
post #16

This shouldn’t be possible.. Typescript devs have lost their collective minds and I’m totally here for it. Edit : TS not front end

Counterpoint, it absolutely should be (barring the pedanticness of modding it a bit): https://news.ycombinator.com/item?id=37555651

Re: TypeScript types can run DOOM [video]

#269
post #179

> "It was a brutal year long journey of 18 hour days" [to run doom in TypeScript types] This is some serious dedication for what at first blush may sound to many to be a completely unserious, or even useless, achievement. But I say to those people: a DOOM proof is just as worthy of praise as any other academic mathematical proof, and has the advantage of being verifiable by laymen. Congrats on this amazing achievemen…

He wasn't being serious.

Re: TypeScript types can run DOOM [video]

#270
Apparently, this guy tried to apply to BigTech to get a job but was rejected.

> "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."

I mean... I don't have words...how f*cked up is the interview process ??

Post reply on HN