Captain Beyond

If Valkey is the de facto successor of Redis, then maybe abandoning Redict is the right move. If he continued to put effort into Redict, people would just ask why is he wasting time with Redict when Valkey exists.

Note that I generally don’t think time put into free software is wasted, because once its put out into the commons it can be picked up and reused elsewhere - although in this particular case since Redict is licensed under LGPLv3 contributions made to it cannot be reused by Valkey which is licensed under the BSD license. One is, however, free to add their own contribution to both projects as neither requires a CLA, however both do require a Developer Certificate of Origin (DCO) https://codeberg.org/redict/redict/src/branch/main/CONTRIBUTING.md https://github.com/valkey-io/valkey/blob/unstable/CONTRIBUTING.md This is as far as I know an unusual case as generally forks use the same license allowing code to be freely exchanged between them.

GNU/Linux != Linux

Linux is a kernel

GNU/Linux is the GNU userland (tools and libraries) combined with the Linux kernel to form a complete operating system

Android is Linux but not GNU. So are Alpine, postmarketOS, and others I can’t think of

Linux is to an operating system as bread is to a sandwich… an essential component, but a slice of bread by itself does not make a sandwich make

Librewolf comes packaged by my distro (GNU Guix) so that’s what I use. I’m sure most “privacy” or “hardened” Firefoxes are more or less interchangeable. The only one that’s really noteworthy is GNU IceCat, because it’s more focused on software-freedom and includes the LibreJS addon, but I switched to Librewolf once it was packaged for Guix.

If Linux is just the kernel then Android and Ubuntu are equally Linux.

It is and they are. These are demonstrable facts.

I have no problem with referring to the family of Linux based operating systems collectively as Linux (with GNU/Linux being a subfamily of such), however, I firmly believe that the mythical concept of “real Linux” where some Linuxes aren’t really Linux is what creates the confusion. I would rather use other terms, like POSIX, Unix(like), and FreeDesktop to refer to so-called “real Linux” (with the caveat that they also include BSDs and the like - but I include these as part of the free desktop operating system spectrum, as most so-called Linux apps also run here. I don’t place special importance on the kernel because it is technically the furthest thing away from the user experience).

(Android being Linux isn’t a mere technicality - it means you can get a full terminal environment with a package manager and “Linux apps” and even run a full desktop environment if you really want)

Stallman’s attempt to rename Linux

There was never any “attempt to rename Linux.” Stallman simply wants to clarify which part of the operating system is “Linux” (the kernel) and which part(s) are not (many of which are his work, which Linux fans insist on also calling “Linux” even though the GNU project predates it by almost a decade).

Any “confusion” on this point is the result of Linux fans spreading mistruths (I assume only sometimes intentionally). Unfortunately at this point the myths are so firmly ingrained we have myths about the myths (like “Stallman wants to rename Linux”) and in my mind Stallman is definitely fighting a losing battle nowadays. Still, a falsehood being widely accepted does not make it true.

Linux is an operating system kernel and Windows is an entire operating system. You can’t really compare them

but user adoption is abysmal comparatively

I guess this is a matter of perspective. What I was saying in my previous comment is that what people commonly refer to as “Linux” (as in “Linux distributions”) is not just Linux (which is just a kernel) but also includes a bunch of other stuff, including GNU (that is what GNU/Linux refers to). If you’re talking about the actual thing called Linux, you’d be right, because most GNU systems are GNU/Linux systems, whereas arguably most Linux systems are not GNU systems; Alpine and Android are non-GNU Linux systems.

However, if like many in the Linux fandom you discount Android, then most Linux systems are GNU systems and vice-versa.

That’s debatable, since what people generally call “Linux” is more GNU than Linux anyway. “Linux” as the Linux fandom considers is it big and professional like GNU, because it is GNU (among other things).