February 18, 2026
Moon math or madness?
Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)
Moonshot or math cult? HN splits as therapy jokes fly
TLDR: Axiom is a new OS that treats math as the computer’s native language and bakes in AI, pitched as a rebellion against bloated software. Commenters split between applauding the ambition, questioning why it must be a full OS, and cracking jokes—while nerds demand details on math input and model swapping.
Axiom is a new “math-native” operating system that wants your computer to speak numbers, not nanny it with layers of bloat. The creator opens with a moon-landing mic drop—“we did Apollo with 4KB, your blank app needs 400MB”—then promises an AI-at-the-core machine where the terminal understands calculus and a “game theory” scheduler divvies up resources. It’s a big swing, and the Show HN post lit up for the drama.
The crowd? Deliciously divided. One camp cheers the audacity—“Fun! Good luck,” says the optimists—while pragmatists side-eye the whole “OS from scratch” thing. The sharpest critique: why make this an operating system at all? As one skeptic put it, this looks like three separate ideas (math shell, AI brain, fancy scheduler) glued together for the vibes. Meanwhile, the tech diehards skip the philosophy and go full nerd, asking whether math is typed in LaTeX (a typesetting language) or a custom script, and whether you can swap in a different AI model.
And yes, it got spicy. The top zinger: a commenter joked the project could be replaced by therapy—aka, this might be less about computers and more about feelings. Result: a perfect internet storm—bold manifesto, serious questions, and world-class snark.
Key Points
- •Axiom OS is a math-native, AI-integrated Linux workstation built from LFS 12.4 with no telemetry or cloud dependencies.
- •Core principles include no garbage collection, no virtual machines, and resource scheduling via game theory (Nash equilibria).
- •Boot log shows AXIOM KERNEL v0.9.4 optimizing for AMD Ryzen 7 5800H (Zen 3) with AVX2/FMA3, using TORAM, and loading FLUX and TENET modules.
- •The architecture stack comprises Metal (AMD Zen 3, NVIDIA RTX), Kernel (Linux 6.7.4), Memory (TORAM), Interface (Flux/Tenet), and Cognition (Alexitha).
- •Neurosymbolic design integrates LLMs (Qwen) for creative reasoning with formal verification (Flux/Tenet); inference runs as ring-3 services for low latency.