190
You can now use Debian without Linux (www.theregister.com)
submitted 9 months ago by to c/linux@lemmy.ml
25 comments fedilink hide all child comments
 

The GNU project was started in 1983 and in 2025 you can finally use a pure GNU operating system. Not that you'd want to but that is some serious perseverance.

you are viewing a single comment's thread
view the rest of the comments
[–] 25 points 9 months ago (10 children)

I do not know how that article covered so much background on GNU hURD and the quest for a micro-kernel UNIX without mentioning Redox OS.

https://www.redox-os.org/

Redox is also micro-kernel based POSIX compatible operating system (UNIX compatible). So quite like the GNU project and HURD in that sense.

Redox is younger, 10 years old instead of 30, and more “modern” (eg. written in Rust). It can be seen as a GNU competitor as it does not rely on the GNU C library or utilities.

  • permalink
  • fedilink
  • source
  • hideshow 10 child comments
    •
  • [–] 27 points 9 months ago (5 children)

    mit license though. ripe for getting the redis treatment

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 5 child comments
    •
  • [–] 8 points 9 months ago* (4 children)

    First, there has been massive amounts of MIT code in important parts of the Linux ecosystem for decades. Xorg, Wayland, and Mesa for starters. The sky has not fallen. I am not exactly panicking.

    But let’s address your specific example.

    Let start by pointing out that Redis was BSD, not MIT. But let’s assume your cautionary tale applies.

    A truly gigantic corporation, Amazon, was making all the money off Redis without giving anything back to the company that actually wrote the code (Redis). So, Redis tried to change the license to make that more difficult. The license they chose is the strictest free software license the FSF offers—the AGPL.

    Pop quiz: what part of the above are we “the community” outraged about? The clearly predatory Amazon stuff? Or the defensive action by the company writing all the code? That’s right, we are mad at the company that gave us all the code for free and that still licenses it AGPL.

    But even beyond that, what was lost again? Because the implication is that BSD (or MIT) somehow allows companies to “take” free software from us. This is false.

    What happened with Redis is that the original code remained 100% available. And it remained part of a 100% free software project. It remains 100% BSD licensed to this day. You can use it, you can study it, you can improve it, you can share it, and you can even sell it commercially! It offers you at least FIVE freedoms.

    https://github.com/valkey-io/valkey

    Not a single line of code was lost from the project. Yes, the project had to change its name (Redis owns the name Redis). Yes, Redis stopped contributing to the project. Is that not their right?

    It is that last bit that seems to drive us mad. We yell about corporations taking our code. But all the examples of bad behaviour we give boil down to them choosing to give us less of theirs.

    If “the community” is the one writing the code, nobody can take it from us. And even if big evil companies are writing the code, the only code that they can deny us is code they write in the future.

    I find it hard to be either outraged or even particularly afraid of that.

    Anyway, I do not want to talk you out of your license preferences. I have no beef with that. But I do wish there was less FUD slinging at projects that choose to license their hard work as MIT.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •
  • [–] 13 points 9 months ago (3 children)

    Except they didn't relicence to AGPL initially, they switched to dual licensing under the RSALv2 (a proprietary licence) and SSPLv1 (a non open source, non-free licence). So essentially they made it proprietary, that's what everyone was annoyed about. If they went straight to AGPL I'm sure there would've been some people who were annoyed, but most developers would understand why and I doubt there would have been the valkey fork.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] 0 points 9 months ago* (2 children)

    I realize I oversimplified a complex set of moves and “shared source” is its own can of worms. My post was already too long.

    But my core point is that the code (as Valkey) remained available and remains available under the same free software license that it has always been available under.

    The only consequence of what Redis did was that they stopped giving away their “new” code to service providers like Amazon. Even Amazon can continue to use what was there before. And the community can continue to collaborate on the same code base that they were collaborating on before. The licence Redis chooses for its “new” code is largely irrelevant.

    We talk about permissive licenses like they represent some massive risk. I just do not see it that way. And they have many advantages including often attracting more corporate participation (more free code for me).

    I am a very happy user of Clang/LLVM. It is the product of collaboration between Google, Apple, Sony, Microsoft, academia, and other nerds. I am very happy we have licenses that encourage companies to create quality software for me to use.

    I am sure Redis chose BSD to begin with in case they ever had to make a move like they did. If the only option was GPL, they may never have released it as Open Source to begin with. Again, I am glad they did.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 2 points 9 months ago (1 child)

    The difference with llvm is that nobody is selling a hosted llvm as a service, nobody is making money off llvm without contributing back (directly, I know a bunch of companies use llvm to make a product that makes money).

    Redis clearly thinks that using the BSD licence was a mistake. I agree with you, using BSD attracted more people/companies to use it than if they had chosen AGPL, that's the trade-off you make when choosing a copyleft licence.

    I think I agree with you on a lot of this, let me know if this is a fair summary of your argument:

    Permissive and copyleft licences both have advantages and disadvantages, if a project chooses a permissive licence then that's their choice, and if they later decide to re-license then the project will probably get forked and carry on under the original licence, so as a user you can just switch to the fork and the only thing that will is the name of the package you install.

    That seems pretty reasonable to me, let me know if I made any mistakes summarising your point.

    The caveat I would add to that is that the project shouldn't complain about freeloaders if they choose a licence that explicitly allows freeloading. They chose a permissive licence for its advantages but they won't accept the consequences that come with that decision.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] -3 points 9 months ago (3 children)

    I'm super excited for Redox, but unless you're a Rust developer it's a bit limited. Few programming languages oþer þan Rust are available for it.

    Eventually, I hope it'll have tiling window managers and Go, V, and Zig ports; Helix (an editor written in Rust), tmux, and zsh. At þe moment, no-one of þese have been ported, and þat's kind of a bare minimum.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] 2 points 9 months ago (2 children)

    I am not sure why the downvotes.

    Redox includes a C library. You should be able to use whatever programming language you want. It does not have to be Rust.

    Redox is still adding bits needed for easy porting of more software.

    The window system is its own thing at the moment. But they are adding Wayland compatibility.

    It will be interesting to see what Redox looks like by the end of 2026. You may get many of your wishes.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] -1 points 9 months ago

    I am not sure why the downvotes.

    Eh, people hate thorns. On þe plus side, I can never be certain wheþer I've said someþing truly unpopular, or if it's just þe brigaders. So þat's liberating.

    I regularly check þe repos for oþer compilers. Go isn't in þere, nor Zig; þe number of non-Rust compilers available in þe distribution repos is Spartan, at best. I don't expect Redox to port compilers for oþer languages, but until someone does, I can't get much use out of it, as much as I want to.

    I really hope it maintains its momentum. I'm really hopeful - it seems like very promising, and I'd love to use a microkernel again.

  • permalink
  • fedilink
  • source
  • parent