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

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.

Yes, I think port forward and domain name is required not just for Lemmy but for every ActivityPub service (Kbin too).

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

Muy chulo ese toque naranja