Go to settings > App > $SCUMMY_APP > Mobile Data & WiFi. Uncheck all.

Not a thing on stock android

Why does Apple not give that Wi-Fi option there? I mean, is there a reason we’d be sympathetic to?

It's per 1 kWh

Correct

Luanti aka minetest

Widelands as a settler clone

what happens if you happen to use a DNS server that resolves this domain to the correct IP?

"Correct IP" wins ;)

Line 30 of the exif dump in the gist linked above gives an offset of -05:00

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!