This is Redox OS (
@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?
More programmers than ever are moving to Rust.
They may not know Rust is not always the best choice!
Here are some languages that they may want to try instead: ๐งต
An anonymous donor just sent 299 Ether (equivalent to 393,000 USD) to the
@redox_os
donation address. Both this address and transaction are public. I have no idea what to do with a donation of this size but will have more details soon after some research.
Windows 10: Your fancy E-core's confuse the heck out of my scheduler, try Windows 11!
Windows 11: You have to connect to a network to proceed with installation.
Also Windows 11: Sorry, pal, I don't have a driver for WiFi using your fancy new chipset.
People: Linux is hard!
I highly recommend Turing Complete, a game where you start with a single NAND gate and build components up until you have a computer, solving various challenges along the way.
Announcing COSMIC Text, a pure Rust library (no system dependencies) for font shaping, layout, and rendering with font fallback. Capable of accurately displaying every translation of the UN Declaration of Human Rights on every major operating system.
This kind of treatment is exactly why I started
@redox_os
from scratch and written primarily in Rust. There is a lot of resistance to even minor beneficial change in Linux and related projects. I don't even try to contribute to the Linux kernel anymore.
@github
copilot, with "public code" blocked, emits large chunks of my copyrighted code, with no attribution, no LGPL license. For example, the simple prompt "sparse matrix transpose, cs_" produces my cs_transpose in CSparse. My code on left, github on right. Not OK.
Someone posted a Pop!_OS logo on a rainbow background on Reddit. In the span of a couple hours, it got reported 5 times. I had to personally delete about two dozen comments and ban about a dozen users for hate speech. This image is what the Linux "community" can't even tolerate
Pop!_OS does not track our users, but we do pay hosting costs, which gives a good estimate of ISO downloads. In the month of April, nearly 600 terabytes of bandwidth was used to download ISOs, which is about 200,000 downloads!
Linux when? Linux now. ๐๐ง
For the last 6 months, our team and our open source community have been working hard to bring Zed to Linux.
As of today, we've released our first, official, stable build of Zed on Linux!
After a lot of soul searching, it is clear there is no one size fits all Linux distro, though I'd hope Pop!_OS gets as close as it can. We're working on ways to provide the Pop experience on any distribution, without missing features and third party repositories.
Redox OS has received another large anonymous donation of about 80,000 USD. This donation did not come through Tornado Cash and therefore no sanctions apply, and it can be immediately used.
It is painful to me that I have seen a few big accounts say something to the extent of "why don't the Rust folks make their own kernel." Either they are not aware of Redox OS or they are ruling it out for unknown reasons. I would appreciate elaboration.
I wrote a PDF reader with libcosmic yesterday. While it is very basic and not likely to be ready for the first COSMIC release, it is pure rust, lightweight, GPU accelerated, and highly portable.
Can someone
@amazon
explain why I only get low res streams on Linux but running the same browser in a Windows VM on the same machine (inside Linux) gets high res? Absolute idiocy.
How I know when to start a new software project:
- Do I have time for this project? No.
- Have I finished my prior projects? Also no.
- Is there a need for this project? Definitely no.
It is time!
It has been a while since the last
@redox_os
release, so let me explain. I wrote an operating system where the (micro)kernel, drivers, services, and applications are mostly written in
@rustlang
. Even the C library is written in Rust - check it out!
I will be staying away from Pop!_OS development for a while. This is a nice time to work on firmware, and there are surely exciting things coming in that area.
Surprised to see so many people confused by this. We are building a desktop environment with Rust and any desktop environment needs a default editor, alongside other default apps like a file manager, terminal, and image viewer. These must fit in perfectly with the whole system.
Thanks for filling my block lists haters. I'll keep bringing the trans agenda to each and every one of you one Rust project at a time. ๐ณ๏ธโโง๏ธ๐ฆ๐
I got the Intel High Definition Audio driver for Redox OS working pretty well and I cannot tell you how fun this is! Playing Duke Nukum 3D in eduke32 at full volume on _real hardware_ on a Rust microkernel feels pretty dope to me!
"Jeremy, why does your desktop need 128 GiB of RAM?"
So I can build the Redox toolchain (rustc, llvm, gcc, binutils) for three different architectures at the same time.
If System76 restricted source code availability in any way beyond what is legally necessary due to vendor licenses, I would publicly call out the company, and resign.
This reality is probably what drives us to do the opposite, to continue down the path of opening the unopened!
If you told teenage me that I would have anything to do with making a very popular Linux distribution - I probably would not have believed it. If you told me that my heroes would become my colleagues, my friends, and yes, sometimes my enemies, I'd have laughed at the absurdity.
After working on compatibility issues, here is
@Redox_OS
running on a Pentium II 400 MHz system with 256 MiB RAM. This system has fewer features than the Pentium M laptop, which had to be adjusted for, notably, no page attribute table support.
Forcing networking in Windows 11 might be the dumbest thing I've seen from Microsoft recently. The second place medal going to making an ISO file that can't be put on a USB stick directly, instead requiring all the files to be copied to a partition that is EFI bootable, and (1/3)
COSMIC and Pop!_OS are fully funded through
@System76
hardware sales. Our hardware includes a wide range of products built for Linux, from desktop computers with open hardware chassis, to laptops running open source firmware, to open hardware keyboards.
I run a $69,420/month software product business.
I have -0 employees.
Here are 7 open source tools I should probably share some revenue with but I don't because
#FounderLyfe
@SnazzyQ
@system76
I'm the Principal Engineer at System76 - if you have any questions about Thelio, Pop!_OS, or anything else System76 makes please do ask!
The Intel BIOS leak has almost no effect on coreboot. Many of us coreboot folks already had access to FSP and BIOS source from Intel under NDA. Alder Lake is already supported by coreboot (and sold by System76). The leak does not identify any CSME details. Any more questions?
This is a terrible loss for the Rust language. The post about compile-time introspection () demonstrates an incredibly powerful system that comes at no runtime cost but would eradicate vast expanses of boilerplate. I wish I could see where it would end up.
Sigh. I and everyone else are officially out, now.
Sorry. Good luck with whatever reflection direction you pick. Maybe I'll be able to help in 2026 or something.
We will be bringing Linux 5.11 and Mesa 21.1 to Pop!_OS 20.04 and 20.10, which will finally cement in open source driver support for AMD RX 6000 series. Hopefully moving forward we will have earlier access to new AMD GPUs, we were able to get RX 6700 XT stock soon after launch.
We
@redox_os
submitted two presentation proposals to
@rustconf
. Neither were accepted. We'll do the presentations on our own and upload to our website.
Today I have some exciting news. I will be leaving my kush Principal Engineer role at System76 to be an unpaid intern at Apple. I look forward to making coffee for the heroes optimizing the profit to consumer rights ratio for the wealthiest company on the planet.
On PC, you can't play GTA IV, V, or Trilogy Definitive Edition because the rockstar launcher is down, and you can't buy original GTA 3, Vice City, or San Andreas because they delisted them. Genius.
Why do I think a hardware competitor chose to use a System76 maintained Linux distribution?
Pop!_OS is laser focused on the Linux Desktop out of box experience. Not the Linux Server, with Desktop on the side. Not embedded. Not building highly customized installs.
Desktop & OOBE
I have ported
@redox_os
to 32-bit x86, specifically to i686. In the process, the ease of porting Redox OS to other architectures has been greatly enhanced, and the aarch64 port has been improved (more details at a later time!).
Hey
@github
if your AI emits code that matches my own, and it was trained using my code, it needs to be under a compatible license. This is just bot powered copy and paste
- Have time to play a game
- Game only runs on Windows
- Try to boot into Windows
- Automatic updates
- Graphics driver broken, update
- Reboot and hit another update
- No more time to play game
- Wonder if it would have been faster to fix Proton to support said game
BRB rewriting my code to be compatible with copilot:
fn foo_copyright_jeremy_soller(bar_copyright_jeremy_soller: NewTypeCopyrightJeremySoller) -> ResultCopyrightJeremySoller
The HP Dev One, developed with collaboration between
@HP
and
@pop_os_official
, is now available for purchase! If you have _any_ questions about this laptop, let me know ;-)
"This would never have happened on X." Kids, I've been around long enough to know that everything that can go wrong has gone wrong on any Linux distribution.