展示 HN：公理 – 一个数学原生操作系统，其中 x² 是有效语法（从头开始构建）

展示 HN：公理 – 一个数学原生操作系统，其中 x² 是有效语法（从头开始构建）
Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)

阿波罗11号悖论：我们用4KB的内存登上了月球。今天，一个空白的Electron应用仅仅为了渲染一个白屏就需要400MB。现代计算是堕落的。它建立在服务于开发者而非机器的抽象层之上。我们用便利性换取了效率，并因此失去了与硬件的联系。 AXIOM是对这种堕落的拒绝。它是一个基于数学应是机器原生语言原则构建的操作系统。 1. 没有垃圾回收。你自行管理内存。 2. 没有虚拟机。shell直接与内核通信。 3. 没有“智能”调度器。我们使用博弈论来解决资源分配问题。

一位19岁的航空航天专业的学生从头开始构建了“Axiom”，一个以数学为原生的操作系统，详情发表在Hacker News上。该项目旨在将操作系统内核视为一个数学引擎，而不是传统的管理员。 Axiom由三个核心组件组成：**Flux**，一个允许直接数学语法的shell（例如x²）；**Tenet**，一个基于博弈论的调度器，通过基准测试将系统抖动减少高达48倍；以及**Alexitha**，一个神经符号安全层，用于验证内核模块。目前处于预Alpha阶段，由于安全性和安全层潜在的商业化，源代码目前关闭，但可以获取白皮书。该创建者详细介绍了该项目的哲学基础——重新思考操作系统架构的愿望——在链接的Medium文章中。虽然一些评论者建议将组件分离成独立的工程，但这项雄心勃勃的尝试展示了一种新颖的操作系统设计方法。

The Apollo 11 Paradox

We landed on the moon with 4KB of RAM.

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.

AXIOM is a rejection of this decadence.

It is an Operating System built on the principle that math should be the native language of the machine.

1. No Garbage Collection. You manage your own memory.

2. No Virtual Machines. The shell talks to the kernel.

3. No "Smart" Schedulers. We use Game Theory to solve resource allocation.

展示 HN：公理 – 一个数学原生操作系统，其中 x² 是有效语法（从头开始构建） Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)

展示 HN：公理 – 一个数学原生操作系统，其中 x² 是有效语法（从头开始构建）
Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)