expr @ expr @programming.dev

Posts

0

Comments

449

Joined

2 yr. ago

Let's not get ahead of ourselves. Typescript has a decent type system, but it's hardly state of the art. It's impressive how they've managed to mostly corral JavaScript into something much more sane, but at the end of the day it still suffers greatly from the limitations of JavaScript. They've essentially retrofitted some type theory onto JavaScript to make it possible to express JavaScript nonsense in the type system, but there's plenty of things that would have been designed differently had they been making something from scratch. Not to mention that the type system is unsound by design, which by itself puts it behind languages designed from the ground up to have sound type systems.

There's many, many things missing from the type system, like higher-kinded types, type-driven deriving/codegen, generalized algebraic data types (aka GADTs), type families (and relatedly, associated types), existentially-quantified types, and much more.

I use Firefox on mobile all the time. Works fine for me. The fact that I get adblock on mobile makes it a no-brainer to use over chrome.

Uh, no. They are, and have always been an awful cult that will lie, cheat, manipulate, and otherwise destroy people for trying to leave said cult.

What a sorry state of affairs that this is novel. Been doing this for years and always will. Fuck LLMs and the enshitifiation of this discipline.

Ah so it's not really an export, it's just the backing store used by some other (locally-running) program that you're trying to reverse engineer?

In that case yeah an sqlite database is probably most appropriate, though I can see a CSV still being desirable to remove a potential sqlite dependency.

If it's an export that will be consumed by a separate, unrelated program later, I think a CSV is most appropriate. Databases are persistence tools, not transport.

Based on what I can find, they are microscopic mites. You also have microscopic mites all over your face that you probably ingest at some point or another... So it's really not that weird.

That's the majority of Americans. Beyond what was almost certainly a stolen election (large scale, billionaire-bankrolled propaganda, campaigns, voter disenfranchisement, and probably voting machine manipulation), Trump's disapproval rating since starting that shit has skyrocketed.

We are in an awful fascist quagmire of a situation that we are going to have to fight to free ourselves from, but that doesn't mean that the actions of this administration actually represent us.

Not sure what you're referring to, but the 4th hasn't really changed. Maybe you're confusing it with the (laughable) military parade Trump did for his own birthday?

Personally I've long found patriotism to be a pretty abhorrent concept, but I've always enjoyed the opportunity to spend time with my family regardless. To me, the 4th is much more about community than it is the country. And while this country is fucking awful, I do have a pretty great community around me that I'm grateful for.

I'm honestly not sure, but I'm fairly certain it's intentional obfuscation done for the production build. Why they think it's so important to hide class names, I'll never know.

Yeah that's a complete myth and not based on actual science.

In modern chess, engines have gotten good enough that we generally do know the top moves and humans can't beat them. We can even numerically assess someone's chess play with a computer, which we call "accuracy". Obviously they can always be improved further, and there are a handful of situations where they might misevaluate, but it's still pretty incredible.

Engines have only made chess more exciting as they have shattered a lot of old theory and helped people find a lot of new and innovative ideas. They are an incredible aid in analysis and tournament prep.

Hmm that makes me wonder, is this his first time saying please publicly since 2016?

It's perfectly reasonable to not want to sleep over at your parents' house after only a month of dating. To be honest, it's reasonable to not ever want to do that. It's weird sleeping in someone else's house period.

But especially after just a month of dating, your parents may as well be strangers to him. He likely doesn't have any sense for any cultural differences between how he was raised and your family, like what behaviors are considered faux pas to your parents, etc.

To be honest I think you're really getting ahead of yourself. Take your time with the relationship and build trust and the foundations of a great relationship. It always takes time and patience. You guys are still just starting to learn about each other.

Yeah.. I do hear it a lot.

I met my wife on a dating app in 2019 on Bumble (28 at the time). It can work, but you have to be willing to sift through a lot of bullshit and be patient. You also need to be able to handle rejection and mistreatment (like getting stood up/ghosted). It's ultimately a numbers game and it takes time to find someone that is actually right for you.

I expect it's probably also not nearly as bad for older age groups. At your age, I think people are going to be a lot more likely to be direct and know what they want.

My advice is to try it out. Worst case, you decide it's not for you and try something else.

That's what I'm saying.

That's a really poor metric, because that encompasses many salaried jobs.

But yes, it's ultimately just about whether or not you are selling your time for money, or if you have acquired enough money to exploit the labor of others to make yourself more money without doing anything yourself.

Uh, there's still a shitload of websites out there doing SSR using stuff like PHP, Rails, Blazor, etc. HTML is alive and well, and frankly it's much better than you claim.

With your example, there are a number of languages that can statically prevent thread safety issues entirely, so that's not actually a good example of something a type system can't catch.

To be honest, there's much more that can be statically enforced by a type system than what C++ is capable of. With a sufficiently powerful type system, it tends to become more about tradeoffs in ergonomics and type safety.