aarroyoc

Strongly typed is not an opposite of gradually typed. I think you mean statically typed. Strong / Weak refers to how type casts are possible.

Usually iD, but sometimes Vespucci and JOSM (I use it when I have som GPS data alongside).

In Spain, I think only ING has this cashback procedure that allows you to withdraw cash from supermarkets, but it's only for its own clients. It's not very popular and I have to admit, that as an ING client, I've never use that feature. More traditional banks still have lots of ATMs and banks like ING cover the ATM fees if you withdraw enough money (if you withdraw 200€ in one go, it's free for example).

I agree that Alpine Linux shouldn't be recommended to newbies but I don't like the explanation. Distros like Alpine Linux are good for the whole Linux ecosystem, as they avoid monoculture and bring diversity to the software, which in turn they foster competition. Like a biological ecosystem, betting everything into one particular specie is a recipe for disaster. Some examples: Glibc has found many bugs because musl did things differently, and it turned out that glibc was not following the standard (also musl had bugs on its own), GCC was stuck until Clang came out and developers started to prefer Clang,...

VLC ships their own codecs which is great on Windows, but a bit suboptimal on a typical Linux desktop installation since you're probably going to have GStreamer or ffmpeg available too for the rest of the software like video editors, web browsers, etc

Alpine Linux, because it uses OpenRC and musl, it's an interesting choice a little bit different but I really like it nyself for servers.

Gentoo, the biggest source based distro, has Emerge, a very configurable package manager.

NixOS, uses the Nix programming language to install packages and configuring the system. Very powerful and breaks many conventions about Linux systems

GNU Cobol is interesting, but note that most COBOL running in production is using other compilers and operating systems. MicroFocus and IBM COBOL are the most popular ones. They are usually executed on IBM operating systems like z/OS or IBM i, which have a hardware a bit different from a normal PC/server.

IPv6. Lack of IPv4 addresses it's a problem, specially in poorer countries. But still lots of servers and ISPs don't support it natively. And what is worse. Lots of sysadmins don't want to learn it.

Yes. My apps are not static: one is a Django app (Python) using Postgres. I had to compile both Postgres and Python but that's because I wanted to use them in Docker but there were no images available (maybe there are now, things change fast in this world).

Other was a Rust app, also using Postgres. For this I had to wait until a cryptography library (ring) added support to RISC-V since they use some assembly to improve the performance. After that, it was fine.

I've been experimenting with more stuff, in general almost all important languages work, but beware that even if it works, they might not be as performant as in ARM or x86. Java for example, worked but the JVM didn't have a JIT so it was very slow (this is fixed now, but some distros still ship it without JIT AFAIK).

Yes, I have a VisionFive 2 and I use it to host some websites. I have am Arch Linux image compiled by a user in a forum, but the userspace packages are from a RISC-V repository from a other people working in Arch in general.

I could run my websites but it wasn't easy at first, because, yes I have Docker but there are almost no images for riscv64, so I had to do some compiling and build images in a local registry. Bu now it works pretty well.

I always found "find" very confusing. Currently, I'm using "fd", which I think has a more sensible UX

Supercomputers are usually just a lot of smaller computers that happen to be connected with very efficient networking. Then you use something like MPI to simulate a big pool of shared memory.