I think "domain" here is like the datatype

Those billions of lines are already broken by definition.

Sure, buddy.

All reasonable Linux distro will patch these stupid things to usw the system interpreter.

It's not how it works. You can just install whichever linux distro of your favorite, download blender or krita, and see it uses its own python by default yourself.

And thankfully it's not how it works. If it were it'd break plugin ecosystems of many apps completely.

gentoo (a lot of lines removed):

  $ strace blender-4.4 
  ..
  openat(AT_FDCWD, "/usr/lib64/libpython3.13.so.1.0", O_RDONLY|O_CLOEXEC) = 3
  ...
  openat(AT_FDCWD, "/usr/lib/python3.13", O_RDONLY|O_NONBLOCK|O_CLOEXEC|O_DIRECTORY) = 12
  ...

No issues with plugins

And even if the build scripts are downloading deps, having the application itself install dependencies to the user's home directory at runtime is unheard of.

But also a flaky test is a bug by itself.

Typescript has something that can be used as dependent types, but it wasn't intended as a language feature, so the Syntax is not as ergonomic as Agda: https://www.hacklewayne.com/dependent-types-in-typescript-se...

That whole blog is one big and fascinating rabbit hole into type theory! Thanks for the link!

I can recommend Stardew Valley. It really captures the same cozyness as the video game, and it's cooperative.

My only complaint re Stardew multiplayer is because the clock doesn't pause in menus, conversations etc like it does in singleplayer, the game gets a lot less relaxing and more rushed. I wish the day would just be 25% longer when playing in co-op.

are you talking about the computer game in coop or stardew valley board game?

Oh whoops, the videogame, I missed that the parent comment was talking about a boardgame version.

Do they make a profit nowadays

Likely yes, with a margin of perhaps 38%

https://news.ycombinator.com/item?id=34268536

man imapsync

The word female does not, in fact, decompose as fe+male; instead it comes from the same latin root as feminine. The word was influenced over time to more resemble male only because people thought they were related.

https://en.wiktionary.org/wiki/female

Good, but it only gives a very brief overview, no explanations

I don't know, the number of people that know what a mapped or sum types are is strikingly low, let alone some of the more advanced concepts or even tsconfig.

I've always thought that typescript is in the real of technologies that developers use for years but never really master such as css. Maybe not as severe as css, but it's the same direction.