TypeScript types can run DOOM [video]

Post by hombre_fatal » Thu, Feb 27, 2025, 6:03 PM UTC

josephg wrote: post #174

hombre_fatal wrote: post #138

Earlier quoted context omitted.

I do think shipping a product that has real users (and everything it entails, like writing the docs) is 100x more important than having leetcode and common interview tactics fresh on your mind. Without context, I suppose I can see the Homebrew guy's case possibly signaling a sort of hubris since it was just a fizzbuzzy-level question. In his defense, I would find it ridiculous if we just had a technical convo about h…

> I do think shipping a product that has real users (and everything it entails, like writing the docs) is 100x more important than having leetcode and common interview tactics fresh on your mind. It depends on the job! At a small product company, absolutely. Shipping useful features to customers is what you're hired to do. Hardcore CS knowledge is less useful than understanding how to talk to customers and shipping.…

Post by anon25783 » Thu, Feb 27, 2025, 6:45 PM UTC

pornel wrote: post #340

mseepgood wrote: post #330

Earlier quoted context omitted.

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

Is there a mainstream language where this still holds true? From what I've seen most languages don't want to have a Turing complete type system, but end up with one anyway. It doesn't take much, so it's easy to end up with it accidentally and/or by adding conveniences that don't seem programmable, e.g. associated types and type equality.

Post by wetpaws » Thu, Feb 27, 2025, 7:22 PM UTC

karparov wrote: post #144

kibwen wrote: post #105

Earlier quoted context omitted.

He's also one of the principal organizers of SquiggleConf, a conference focused on devtools that takes place in Boston: https://2024.squiggleconf.com/about What I'm saying is, if he still happens to be looking for a job, any employer reading this should be falling over themselves to recruit this man.

There is more to hiring than technical competence. I'm not seeing any red flags in his videos, but just saying, ability to work in a team is not obvious from such posts.

Post by saagarjha » Thu, Feb 27, 2025, 8:14 PM UTC

jerf wrote: post #341

saagarjha wrote: post #286

Earlier quoted context omitted.

Right, but sometimes you actually do have to reverse the array.

I can't remember the last time I reversed an array. Honestly it's at least a code smell. Why can't your code just read it in the other direction? Or have it in the correct order in the first place (e.g., sort it correctly instead of sorting it backwards and then reversing it). It's not that hard, even in a C-style for loop language.

Post by ok_dad » Thu, Feb 27, 2025, 8:42 PM UTC

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…