News: 0001469599

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

Redox OS With COSMIC Apps Is Looking Quite Nice

([Operating Systems] 6 Hours Ago Redox OS + COSMIC)


Jeremy Soller who is an engineer at System76 and manages a side hustle of leading development on the open-source, Rust-written Redox OS has shared the latest look at this open-source operating system with the System76 COSMIC desktop applications.

Redox OS down to its micro-kernel is leveraging Rust and thus the COSMIC apps -- also leveraging Rust -- are a great fit for this open-source OS. Here's a look at Redox OS from a few years ago when I last gave it a shot, rather basic:

Now here's the latest look at Redox OS that Solley posted to [1]X with the caption " This is Redox OS, a Rust and micro-kernel based operating system that I created, running three COSMIC DE apps (with only Rust dependencies) that I authored. Even the C library, relibc, is written in Rust. Are we OS yet? ":

[2]

It's looking great. Jeremy in follow-up comments also added that they still need to port DRM kernel graphics drivers to make gaming more viable and self-hosting is "very close". Nice job to those that continue to be involved in this from-scratch Rust-written open-source OS.



[1] https://x.com/jeremy_soller/status/1799234577569137004

[2] https://www.phoronix.com/image-viewer.php?id=2024&image=cosmic_redox_os_lrg



botipua22

pWe00Iri3e7Z9lHOX2Qx

c117152

ffs_

andyprough

rabcor

hedonist

Once upon a time, when I was training to be a mathematician, a group of
us bright young students taking number theory discovered the names of the
smaller prime numbers.

2: The Odd Prime --
It's the only even prime, therefore is odd. QED.
3: The True Prime --
Lewis Carroll: "If I tell you 3 times, it's true."
31: The Arbitrary Prime --
Determined by unanimous unvote. We needed an arbitrary prime in
case the prof asked for one, and so had an election. 91 received
the most votes (well, it *looks* prime) and 3+4i the next most.
However, 31 was the only candidate to receive none at all.
41: The Female Prime --
The polynomial X**2 - X + 41 is
prime for integer values from 1 to 40.
43: The Male Prime - they form a prime pair.

Since the composite numbers are formed from primes, their qualities
are derived from those primes. So, for instance, the number 6 is "odd
but true", while the powers of 2 are all extremely odd numbers.