I would argue logic errors would decrease because you aren't spending as much time worrying about and fixing null ref and other errors.

can you prove that?

For the longest time MUDs were my standard "learn a new language" project. There's enough meat to expose strengths of the language but overall they're pretty simple.

Yeah, I do a lot of hobby game making and the 80/20 rule definitely applies. Your game will be "done" in 20% of the time it takes to create a polished product ready for mass consumption.

Stopping there is just fine if you're doing it as a hobby. I love to do this to test out isolated ideas. I have dozens of RPGs in this state, just to play around with different design concepts from technical to gameplay.

The service economy has a few problems.

The first is that much of it is optional. Stuff like fast food. People can do without it much easier than doing without a washing machine.

The second is, for many services, such as child care and elderly care, most adults are terrible at assessing quality. This creates a race to the bottom much like you see in manufacturing, making the jobs low wage. Because humans are humans you can't really point to a specific consequence of this either.

Like people putting ketchup on a steak, eating pizza with a fork, putting chili in a hand baked loaf of sourdough, using a garbage disposal as another trash can, or generally using the thing someone is knowledgeable about "wrong".

For you it's film, but most people have their thing, and you're probably doing the same thing to something else in your household.

I would buy that argument if it was deliberate, but the consumers in this case are passive and just have to endure whatever is set before them. Few even try changing the available settings, possibly apart from the most basic ones.

In a Greek restaurant I sometimes eat at there's a TV set to some absurdly high color saturation, colors are at 180%. It's been like that for years. Nobody ever even commented on it, even though it is so very very clearly uncomfortably extreme.

At least when people think that ketchup belongs on steak, that's a choice they're making that only affects themselves. They don't insist on squirting it on your side of the table because you happen to be sharing a meal.

> eating pizza with a fork

That's a weird one to include. It doesn't impact the pizza at all, it still tastes the same. Plus it's common to eat pizza with a fork in Italy.

Ada when?

It even lets you separate implementation from specification.

Even going beyond Ada into dependently typed languages like (quoth wiki) "Agda, ATS, Rocq (previously known as Coq), F*, Epigram, Idris, and Lean"

I think there are some interesting things going on if you can really tightly lock down the syntax to some simple subset with extremely straightforward, powerful, and expressive typing mechanisms.

If you're hanging your features off a well trodden framework or engine this seems fine.

If frameworks don't make sense for what you're doing though and you're now relying on your LLM to write the core design of your codebase... it will fall apart long before you reach "its basically working".

The more nuanced interactions in your code the worse it'll do.

Damn, I knew when I picked "not billionaire" I would regret it.

This is because of badly organized incentives. What we should do is to implement a tax on poor people. This will make them understand that being poor is less profitable than being rich and they will be motivated to become rich.

If the corporate veil, a legislative invention, were abolished or significantly weakened companies would stop acting evil pretty quickly. So yeah, this tracks.

This is a gross misunderstanding of what the corporate veil is.

Courts have already leaned this way too, but who knows what'll happen when companies with large legal funds enter the arena.