Subgraph OS, the secure os
Adversary-resistant computing: an immutable, verifiable operating system with isolated workspaces, plus expert security services.
Subgraph OS, the secure os launched on April 6, 2016 with 16 votes, #1,724 of 4,301 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 10 years on.
In plain words
Subgraph OS is an immutable operating system designed for users facing sophisticated threats. It features a read-only base system protected by cryptographic verification that prevents unauthorized modifications, isolated workspaces for separating sensitive tasks, and includes expert security services. The system returns to a verified state with each restart, eliminating the accumulation of security vulnerabilities that plague traditional operating systems.
written from the facts on this page · September 2026
From the sources
Traditional operating systems accumulate security debt over time. Every installed application, every system update, every configuration change creates new attack vectors that persist indefinitely. Citadel breaks this model entirely. Built from the ground up for users who face sophisticated adversaries, it provides strong isolation without the complexity of traditional air-gapped systems. The base Citadel system is read-only and protected by Linux's dm-verity filesystem integrity mechanism. If a single bit is modified, the system won't boot. Every restart returns to a cryptographically verified clean state. Create unlimited isolated "realms" for different projects, clients, or security…from subgraph.com
Does a similar job
all alternatives →
MyraOS – My 32-bit operating system in C and ASM (Hack Club project)Oct 2025 · github.com · ▲247Hi HN, I’m Dvir, a young developer. Last year, I got rejected after a job interview because I lacked some CPU knowledge. After that, I decided to deepen my understanding in the low level world and learn how things work under the hood. I decided to try and create an OS in C and ASM as a way to broaden my knowledge in this area. This took me on the most interesting ride, where I’ve learned about OS theory and low level programming on a whole new level. I’ve spent hours upon hours, blood and tears, reading different OS theory blogs, learning low level concepts, debugging, testing and working on…
Vekos – a Rust OS with Built-In Cryptographic Verification2024 · github.com · ▲82VEKOS(Verified Experimental Kernel OS) is a Rust-based experimental kernel that focuses on runtime verification and security. Every filesystem operation and memory allocation generates cryptographic proofs that can be verified in real-time, ensuring system integrity. Think of it like a blockchain for OS operations rather than just storage verification. Key features: - Merkle tree-backed filesystem with operation verification - Memory manager with CoW and proof generation - Buddy allocator with zone-based memory management - Shell with VT100 support - Verified boot sequence with stage…
Copper – Open-source robotics in Rust with deterministic log replay2024 · github.com · ▲161Copper is an operating system for robots - build, run, and replay your entire robot deterministically. - Home · copper-project/copper-rs Wiki
Confidential computing for high-assurance RISC-V embedded systems2025 · github.com · ▲103Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 2d ago · permit.petercai.com
- IV
Life & fun · 14d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 15d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 9d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 13d ago · carrierexplode.com
Life & fun · 23d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, April 2016
the whole month →
Access all the files on Dropbox without having to sync
Work · 2016 · blog.dropbox.com
The easiest way to build an FB bot. No coding required!
Dev tools · 2016
Quickly find your Bootstrap classes on this interactive Bootstrap cheat sheet. It includes code samples and live preview of elements.
Dev tools · 2016 · hackerthemes.com