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

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, 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

Honestly, if SWI Prolog serves your needs, use it! Scryer Prolog is still very rough on the edges. However, even with that, some things already make Scryer interesting, like string handling, which is more natural and integrates very well with DCGs, and standards compliance. Scryer passes all ISO syntax tests, and also is one of the few systems that implement dif/2, freeze/2, or even length/2 correctly according to the drafts (this was shown on the meetup, SWI for example failed on all those 3 things). Also, clpz is being developed only taking into account SICStus and Scryer, since they implement the same Attr Var interface (SWI has another one).

I don't agree that there's no progress. Other Prolog systems were started in the 20th century and they received funding from universities or they've been commercial. Scryer has neither of those things. For the most part, it was developed in free time. It needs to form its own community of users that will improve the system. That's why these kind of events are so positive in my opinion.

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.

My custom blog, Syncthing and now I'm trying Lemmy and Mastodon. Let's see how it goes!