Hacker GitHub

← All repos

theseus-os/Theseus

View on GitHub ↗ ★ 3,222 Rust

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

13 mentions on Hacker News by 9 people: 2 stories, 11 comments · first 2020-12-30 · latest 2026-05-27

Mentions per year 13 mentions · busiest year 2023 (6)
20082026
AllStoriesComments NewestTopOldest
  1. …non-Rust programs in sandboxes. Everything else is Rust. Hmm.. Last updated in 2024 though. 0: https://github.com/theseus-os/Theseus
    comment by Findecanor · 2026-05-27 · in Theseus: Translating Win32 to WASM
  2. …but there's a lot of interesting ground on the OS side of things too. Something like Theseus < https://github.com/theseus-os/Theseus > is also interesting, providing similar protections (in theory) by enforced compiler invariants rather…
    comment by jer-irl · 2026-03-23 · in Show HN: Threadprocs – executables sharing one address space (0-copy pointers)
  3. Yeah, also https://github.com/theseus-os/Theseus One could also run virtual machines for end user workloads under a Theseus design. (The other meaning, not bytecode interpreter.) That sounds like a nice way to real world applicability, to…
    comment by yencabulator · 2025-02-21 · in Greg K-H: "Writing new code in Rust is a win for all of us"
  4. …that seems to include C purely to show how to support programs written in C (libc and a demo app). https://github.com/theseus-os/Theseus It contains some 1000+ lines of ASM for the early boot from BIOS, that look like they originate from…
    comment by yencabulator · 2024-05-09 · in The search for easier safe systems programming
  5. ▲ 4
    Theseus OS
    story by jt2190 · 2023-10-23 · 1 comment
  6. …together into one executable (which is also the kernel), with some neat tricks like hot upgrades. https://github.com/theseus-os/Theseus https://www.theseus-os.com/
    comment by yencabulator · 2023-08-31 · in Fomos: Experimental OS, built with Rust
  7. …for memory-protection. Personally, I think the most interesting of those might be Theseus: < https://github.com/theseus-os/Theseus >
    comment by Findecanor · 2023-08-30 · in Fomos: Experimental OS, built with Rust
  8. I believe that Tock (tockos.org) and Theseus ( https://github.com/theseus-os/Theseus ) are in this area a bit as well, just from an actual OS perspective. I don't know much about this area, but it would be wonderful if these could work…
    comment by chaxor · 2023-07-19 · in Asynchronous Rust on Cortex-M microcontrollers
  9. …Microsoft Windows can be rerooted as something like wine running in user space of a rust os like https://github.com/theseus-os/Theseus
    comment by singularity2001 · 2023-04-28 · in Microsoft is busy rewriting core Windows library code in memory-safe Rust
  10. …the language, and also explores a way of updating any core OS component on a live running system. https://github.com/theseus-os/Theseus There's also KataOS which google just recently announced: https://opensource.googleblog.com/2022/10/anno…
    comment by infogulch · 2023-01-20 · in Exploiting null-dereferences in the Linux kernel
  11. Check out theseus! It's exploring some of these ideas. https://github.com/theseus-os/Theseus
    comment by opnitro · 2021-05-05 · in SeL4 on RISC-V Verified to Binary Code
  12. ▲ 379
    Theseus: A modern experimental OS written from scratch in Rust
    story by metalwhale · 2021-01-12 · 148 comments
  13. Source code at https://github.com/theseus-os/Theseus
    comment by yencabulator · 2020-12-30 · in Theseus: An Experiment in Operating System Structure and State Management