Axiom – A math-native OS where x² is valid syntax (built from scratch)
Hi HN, I'm a 19-year-old aerospace student. I spent the last 13 months building a custom Linux distro from scratch because I wanted to see if we could treat the OS kernel as a mathematical engine rather than a deterministic administrator. The Stack: Flux (The Shell): A custom math-native shell where x² and ∑ are valid syntax. It parses mathematical notation directly into optimized SIMD instructions (no Python wrapper). Tenet (The Scheduler): Written in Tenet (my custom DSL for game theory). The scheduler is a Nash Equilibrium solver compiled to native code. In my benchmarks (Ryzen 7 5800HS),…
Axiom – A math-native OS where x² is valid syntax (built from scratch) launched on February 18, 2026 with 20 votes, #754 of 16,627 launches that month and more than 90% of that year's launches.
In plain words
Axiom is a custom Linux distribution built to treat the operating system kernel as a mathematical engine. It features Flux, a math-native shell that accepts mathematical notation like x² and ∑ as direct syntax, compiling them to optimized SIMD instructions. The system includes Tenet, a custom scheduler that uses game theory to reduce latency, and Alexitha, a safety layer that formally verifies kernel modules. Designed for computationally intensive work, Axiom targets developers and researchers who need mathematical operations at the OS level. The project is currently in pre-alpha.
written from the facts on this page · September 2026
From the sources
Axiom OS — the world
Today, a blank Electron app consumes 400MB just to render a white screen. Modern computing is decadent. It is built on layers of abstraction that serve the developer, not the machine. We have traded efficiency for convenience, and in doing so, we have lost touch with the metal. It is an Operating System built on the principle that math should be the native language of the machine. 3. No "Smart" Schedulers. We use Game Theory to solve resource allocation. * Architecture is portable, but currently hard-coded for High-Performance Consumer Silicon. Axiom is the world's first OS designed from the kernel up to integrate Artificial Intelligence with Formal Mathematics. The fusion of connectionist…from fawazishola.ca
In the maker’s words, at launch
Hi HN, I'm a 19-year-old aerospace student. I spent the last 13 months building a custom Linux distro from scratch because I wanted to see if we could treat the OS kernel as a mathematical engine rather than a deterministic administrator. The Stack: Flux (The Shell): A custom math-native shell where x² and ∑ are…
Does a similar job
all alternatives →
- MPMy platforming game written in C 892023 · zamfofex.neocities.org · ▲127
I have been working on this game somewhat sparsely for the past three years or so. However, it is still in a very early stage, and there is a lot of work to do. One of my friends encouraged me to post about it here, since he felt people might find interesting how I don’t use any libraries for it. The game can be played on a browser by virtue of WebAssembly. There are native ports using either MiniFB or SDL2, but you have to build those yourself. I decided to write the game in C because I feel like it is a simple language that a lot of people can understand well enough, and I didn’t think I…
Axiom, a Blockchain Designed for Decentralized Applications2019 · axiom.org · ▲21Open, machine-readable encodings of the world's rules, starting with tax and benefit policy. Cited, time-aware, and executable, so anyone can run, audit, or reform them.
Salt – a systems language with Z3 theorem proving in the compilerJul 2026 · salt-lang.dev · ▲44Hey HN, I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable. We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal shadow," and the design is rooted in three main pillars: Fast Enough: The target is to stay within 20% of C's…
AxiomJul 2026 · gabrielgigitashvili044-pixel.github.io · ▲11Local desktop sandbox engine against Client-Side Scanning
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 24d ago · openbot.run
Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.
Dev tools · 13h ago · github.com
Talanoa▲346Hi 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 · 21d ago · talanoa.email
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, February 2026
the whole month →
Lovon AI Therapy▲801Feel closer and have more fun with your partner every day!
AI · Feb 2026 · lovon.app
Hello my name is Ben Ward for the past 3 years I have been remastering the financial game Wall Street Raider created by Michael Jenkins originally on DOS in 1986. It has been a rough journey but I finally see the light at the end of the tunnel. I just recently redid the website and thought maybe the full story of how this project came to be would interest you all. Thank you for reading.
Work · Feb 2026 · wallstreetraider.com