this post was submitted on 21 Dec 2023
218 points (96.2% liked)

Linux

48072 readers
1 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 6 years ago
MODERATORS
 

This isn't Linux, but Linux-like. Its a microkernel built from the rust programming language. Its still experimental, but I think it has great potential. It has a GUI desktop, but the compiler isn't quite fully working yet.

Has anyone used this before? What was your experience with it?

Note: If this is inappropriate since this isn't technically Linux, mods please take down.

top 50 comments
sorted by: hot top controversial new old
[–] jack@monero.town 23 points 2 years ago (2 children)

Now imagine the new COSMIC desktop environment in Rust on Redox, that would be great

[–] comicallycluttered@beehaw.org 5 points 2 years ago

Probably inevitable considering Jeremy Soller is the lead dev on Redox while also currently contributing to COSMIC.

To be honest, I'm surprised COSMIC isn't the default, but it's likely due to display server stuff that isn't part of Redox (Wayland, etc.).

[–] mmstick@lemmy.world 2 points 2 years ago

This is already in progress. COSMIC applications are compatible with Redox OS.

[–] cashews_best_nut@lemmy.world 21 points 2 years ago (4 children)

I don't understand the obsession with rust.

[–] weclaw@lemm.ee 90 points 2 years ago (10 children)

From my personal experience I can tell you 2 reasons. The first is that this is the first general purpose language that can be used for all projects. You can use it on the web browser with web assembly, it is good for backend and it also is low level enough to use it for OS development and embedded. Other languages are good only for some thing and really bad for others. The second reason is that it is designed around catching errors at compile time. The error handling and strict typing forces the developer to handle errors. I have to spend more time creating the program but considerably less time finding and fixing bugs.

[–] agent_flounder@lemmy.world 27 points 2 years ago* (last edited 2 years ago) (1 children)

That sounds pretty great. I get sick of having to switch gears for every layer. As a hobbyist it is tough to remember five or six languages well enough when only coding something a few times a year.

Since I do embedded, scripting, web front and back end this is sure tempting.

I have been hesitant to try to learn yet another language (this would make...ummm.. idk I lost count ages ago). But with all the hype I may break down and give it a whirl.

[–] YIj54yALOJxEsY20eU@lemm.ee 2 points 2 years ago (5 children)

Sounds like python may be a better fit if its supported on the embedded devices you use as it will cover scripting and backend too. Rust has quite a learning curve and can be rather verbose.

[–] agent_flounder@lemmy.world 3 points 2 years ago (2 children)

I do use python quite a bit for scripting and backend, app, and I've used MicroPython a little bit, preferring C, C++ for embedded. It's pretty great for what I need.

I might mess around with Rust out of curiosity anyway, though the downsides you mention make it less compelling for me, personally. I'm not a big fan of verbose languages (e.g., Java, though I have used it for some apps).

[–] anton@lemmy.blahaj.zone 3 points 2 years ago

Messing around with rust is certainly worth it, as it can change the way you think in a way that improves code in whatever language you write.

[–] YIj54yALOJxEsY20eU@lemm.ee 2 points 2 years ago

If you are curious definitely do check it out! It's a really cool language to learn and you'll start to enjoy the fight the compiler puts up.

load more comments (4 replies)
load more comments (9 replies)
[–] Goun@lemmy.ml 29 points 2 years ago (3 children)

And the fucking MIT License

[–] fossphi@lemm.ee 28 points 2 years ago* (last edited 2 years ago) (5 children)

Yes, as much as I appreciate memory safety and rust in particular. I'm very worried by this pivot away from copyleft and GPL. Specially the rewriting in rust phenomenon of fundamental stuff. It's safer, yes, but they're all pretty much non GPL and it seems very risky to me. Make no mistake, the industry is riding this wave to move away from copyleft to permissive licenses.

I wish that people understood the importance of FSF and GNU

[–] agent_flounder@lemmy.world 4 points 2 years ago (1 children)

Well that is rather insidious. Crap. They probably understand the reasons for the GPL very well. Doesn't mean they support them.

[–] fossphi@lemm.ee 6 points 2 years ago

I'm sure there's some community pull as well, because most of the rust ecosystem seems to be converged on MIT. But what despairs me is the wilful sidelining of GPL and everything GNU by some open source community members/corporate people. So yeah, you're probably right

load more comments (4 replies)
[–] QuazarOmega@lemy.lol 1 points 2 years ago

Rust devs be like: orange mittens

[–] lukas@lemmy.haigner.me 1 points 2 years ago

Shame that we don't have a proper copyleft license tho? GPL, as nice as the intentions are, is a license so convoluted that I'm not sure whether it'd hold up in court in my country.

[–] davel@lemmy.ml 23 points 2 years ago* (last edited 2 years ago) (15 children)

It’s a system programming language that isn’t C or C++.

Edit to add: How did Go get on that page? That’s a stretch.

load more comments (15 replies)
[–] beeng@discuss.tchncs.de 6 points 2 years ago* (last edited 2 years ago)

The idea is less bugs due to stricter rules when developing and compiling. You can understand that.

Then, also more access to build tools and high level programming without changing languages.

If you have no need for that, then just know others do and it's a great thing.

[–] mrpibb@lemmy.world 14 points 2 years ago

I’ve used it in a VM just to mess around. I’d like to install it on an old ThinkPad and try to compile some applications.

[–] ICastFist@programming.dev 12 points 2 years ago

How long would it take to compile their Rust microkernel alone compared to a similar one done in C? There are many posts around the web complaining about Rust's long compile times, though thankfully rarely as slow as C++

[–] Alsephina@lemmy.ml 12 points 2 years ago (1 children)

Oh my god they rewrote Linux in Rust. Amazing.

[–] baconicsynergy@beehaw.org 14 points 2 years ago (1 children)

Kinda. Redox uses a microkernel architecture and tries to keep only the most important functionality in ring 0 while they push everything else in userspace. It's great.

[–] cmeerw@programming.dev 4 points 2 years ago (1 children)

So they actually rewrote The Hurd in Rust.

[–] baconicsynergy@beehaw.org 1 points 2 years ago

Many lessons were learned from the Hurd that has impacted ALL microkernel kernel and userspace designs, but it is ancient by today's standards.

Its more accurate to say they were "rewriting" MINIX, but I don't like the word "rewriting" as all of these systems are unique in their own way.

[–] wiki_me@lemmy.ml 11 points 2 years ago (1 children)

Having some hardware mentioned on the site that is supported and ready for use could be helpful if someone wants to try it (say raspberry pi), There are probably people who are worried to will make their computer explode.

[–] aodhsishaj@lemmy.world 10 points 2 years ago

I wouldn't say it's inappropriate as there is more and more rust making it into the native kernel. I'll definitely throw this on my Ventoy usb and see if I can get it to boot

[–] callyral@pawb.social 5 points 2 years ago (1 children)

I've heard about it due to the Ion shell which I tried out once

[–] wuphysics87@lemmy.ml 1 points 2 years ago

Ion's been my go to local scripting language for a while

[–] stirner@lemmy.ml 3 points 2 years ago (2 children)

Shame they don't have a list of the packages they offer.

[–] mvirts@lemmy.world 2 points 2 years ago (1 children)

Slap a Firefox on top (and time travel to when ff is all rusted) and we'll be coming for ChromeOS. But will windows be completely rusted first? 🙃

[–] ChiefSinner@lemm.ee 2 points 2 years ago

I think the main reason Firefox isn't on there is because redox os doesn't use Wayland and x11. Porting firefox would be a massive effort unfortunately.

load more comments
view more: next ›