RedoxOS is a special kind of Linux distribution that uses a microkernel and is written in Rust. For those who don't know, Rust is a programming language well-known for being fast. I've been using System76's COSMIC desktop environment, which is also written in Rust and is lightning fast. Imagine an entire OS written in that same language. That's what RedoxOS is, and it's zippy. This is, hands down, the fastest operating system that I've ever used.
I'll pick a few, simple, perfectly ordinary inputs at random, and work out what I think the output should be. This is a pretty trivial problem so I'm expecting that all the implementations will match my output. [narrator: He is is expecting no such thing] I'm also expecting that, even if for some reason I've made a mistake, all the implementations will at least match each other. [narrator: More lies] They've all been proved correct, right?
System76's Pop!_OS seems to be one of the more popular Ubuntu remixes among tech-savvy Linux enthusiasts. That may mean that the bolder of them are about to break their computers, because finally, the beta of version 24.04 is here, along with the beta version of the company's COSMIC desktop. The version number is because this release is based on Ubuntu 24.04, aka "Noble Numbat," which was emitted by Canonical at the end of April 2024.
The version number isn't a typo: Pop!_OS is a third-party Ubuntu remix, and this is the Noble Numbat-based version - the Ubuntu release from April last year. The reason for the delay is that this release has a whole new desktop environment, COSMIC, that the company is building from scratch in Rust. We reported that this version went alpha last September and since then COSMIC has made its way into multiple other distros,
When I started off learning Rust, I was reading the Rust book, the official book, and it really resonated with me when they started speaking about option types, and result types, algebraic data types, and all those things. It occurred to me at that time, or it was the first time it clicked, that you could move this burden of discipline from yourself to the language.