This Summer in Redox – A Rust Operating System

In plain words

Redox is a Rust-based operating system undergoing significant development. The project recently completed a kernel rewrite designed to minimize kernel space to approximately L4 size by moving functionality to userspace, addressing previous memory management issues that caused crashes. It is intended for developers interested in systems programming and alternative operating system architectures.

written from the facts on this page · September 2026

From the sources

Lately, we’ve been kind of silent, because we’ve focused on the coding, and we have a lot of exciting news for everyone. Since August 13, the kernel is going through a complete rewrite, which makes the kernel space ultra-small (about the size of L4 ). Everything which can run outside the kernel in practice, will do so. It is almost complete and will likely be merged in the coming week. You can find it on GitHub here. The major reason for the rewrite was incorrect and inefficient memory management in the old kernel. This causes crashes in userspace where the kernel has not mapped pages correctly. Eventually, it was evident that in order to permanently solve these issues, we had…from redox-os.org

• 
  Redox Rust OS – v0.3.3 release2017 · github.com · ▲232

  Mirror of https://gitlab.redox-os.org/redox-os/redox - Release 0.3.3 - Lower Memory Usage · redox-os/redox

• 
  FeOx – Fast embedded KV store in Rust2025 · github.com · ▲37

  FeOx (Iron-Oxide) is an ultra-fast, embedded and persisted KV store in pure Rust. - mehrantsi/feoxdb

• 
  Flox 1.0 – Open-source dev env as code with Nix2024 · github.com · ▲382

  Hey HN, I'm Ron Efroni, CEO at Flox, and today we are releasing version 1.0 of our open source CLI, helping folks manage development environments everywhere.My own experience with development environments began with air-gapped systems, having to actually burn software to a CD to iterate over a very slow and expensive development cycle, sometimes reaching the server rack and realizing I have the wrong disk.... Fast forward to today and there are countless alternatives available backed by incredible compute resources, yet we somehow still find ourselves paying the price of long development…

• 
  Munal OS: a graphical experimental OS with WASM sandboxing2025 · github.com · ▲313

  Hello HN! Showing off the first version of Munal OS, an experimental operating system I have been writing in Rust on and off for the past few years. https://github.com/Askannz/munal-os It's an unikernel design that is compiled as a single EFI binary and does not use virtual address spaces for process isolation. Instead, applications are compiled to WASM and run inside of an embedded WASM engine. Other features: * Fully graphical interface in HD resolution with mouse and keyboard support * Desktop shell with window manager and contextual radial menus * PCI and VirtIO…

• 
  Chromiumoxid – An Async Headless Chrome API in Rust2020 · github.com · ▲127

  Chrome Devtools Protocol rust API. Contribute to mattsse/chromiumoxide development by creating an account on GitHub.

• R1
  Rust9x 1.76-beta – Rust on Windows 95+2023 · seri.tools · ▲53

  HN discussion about the initial release: https://news.ycombinator.com/item?id=31112273

• 
  /dev/null▲484

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Tribe 2.0▲998

  Introducing Augmented Messaging™

  Work · 2016 · tribe.pm

• 
  Slack for Mac▲937

  A new, improved Slack desktop app for Mac

  Work · 2016 · slack.com

• 
  Your Social Media Fingerprint (maybe NSFW)▲911

  Without your consent most major web platforms leak whether you are logged in. This allows any website to detect on which platforms you

  Growth · 2016 · robinlinus.github.io

• 
  MacBook Pro▲855

  The new MacBook Pro with TouchBar and more

  Life & fun · 2016 · apple.com

• 
  Surface Studio▲832

  A brilliant screen for your ideas, from Microsoft

  Life & fun · 2016 · microsoft.com

• 
  Facebook Design▲812

  Articles, videos, & resources made by designers at Facebook.

  Work · 2016