I wonder if with 177TB you could implement DOOM in a regex ... (plz don't try unless you want to be on top page of hackernews in a year!)
TypeScript types can run DOOM [video]
241–250 of 391 posts
Re: TypeScript types can run DOOM [video]
#242Earlier 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…
The does video starts off with some serious hyperbole (noted for anyone reading this comment before watching the video)
So much hyperbole that I thought the entire video was a spoof on the practice of making a Doom proof until about a minute in, where I asked aloud to an empty room, "Wait, this is real?"
Also, he forgot to credit the video itself, which has a really high production value! Kudos all around!
Re: TypeScript types can run DOOM [video]
#243Earlier quoted context omitted.
I was crushed and embarrassed. Yep. Not even gonna lie. I used to work on Insomnia at Kong, which is literally a frontend for cURL. But some of the questions I couldn't answer were like "how do you get headers with cURL". I DON'T FRIGGIN KNOW. THAT'S WHY I WORKED ON A GUI FOR CURL. I CAN'T STAND USING THE CLI. lol. But to them, it was a question they were supposed to ask, and I got it wrong. Same story for questions…
You have coding skills. Some marketing and video production skills. Self discipline and persistence. The time to spend 18hr days on a project. Why look for employment? Start your own business.
are you some kind of fortune teller!? haha. so that's so funny you say that because that, too, is a big part of the story. actually I was gearing up to do exactly that - but everything blew up in my face and this Doom project was, in many ways, my way of picking up the pieces from the rubble.
there's another reason, which is that I really get a lot of energy from working with other people. it makes me really happy. and right now especially I really love the people I work with. I learned this lesson the hard way in my stint contracting - because the inter-personal relationships are very different when you're there one day and gone the next (as a contractor).
Re: TypeScript types can run DOOM [video]
#244Earlier quoted context omitted.
> 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…
> My partner works in a CMS all day at work. Every change she makes is pushed directly to production. There's no review process. No staging. No testing. No change control or rollback. If anyone messes something up, they get blamed for "taking down the app". As a software engineer, I look on in horror. Fwiw that just sounds like an immature CMS - I've seen review/approval workflows, branches, preview environments etc…
> I take your overall point but maybe your partner doesn't have to live this way.
I agree - but if a review system exists in the product, she's never seen it. They don't even have a staging system for testing changes. Its wild.
And for context, she works at a large organisation that's a household name here in Australia. This is a large organisation thats been around for well over 50 years. They have an engineering team and thousands of employees.
I don't know if the software is bad or if its misconfigured. But the status quo outside of our industry is jaw-droppingly terrible.
Re: TypeScript types can run DOOM [video]
#245I wonder if with 177TB you could implement DOOM in a regex ... (plz don't try unless you want to be on top page of hackernews in a year!)
Typescript's type system is Turing Complete (at least it was for 2.2) [0].
Regexes fundamentally can't do that [1].
Re: TypeScript types can run DOOM [video]
#246Blew 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-...
What was the argument for why it couldn't?
Re: TypeScript types can run DOOM [video]
#247idk why ppl do this to themselves, likes?
Re: TypeScript types can run DOOM [video]
#248I wonder if with 177TB you could implement DOOM in a regex ... (plz don't try unless you want to be on top page of hackernews in a year!)
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
Re: TypeScript types can run DOOM [video]
#249[dead]
Re: TypeScript types can run DOOM [video]
#250Blew 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-...
What was the argument for why it couldn't?
Because we lack an infinite tape and infinite time, not everything that is Turing complete can run DOOM