Skip to content

Why We Built Axon

Every generation of systems programming has been defined by its constraints. C gave us portability. C++ gave us zero-cost abstractions. Rust gave us memory safety without a garbage collector. Each solved the problems of its era.

But we’re entering a new era. An era where AI writes more code than humans. Where concurrency is the default, not an optimization. Where WebAssembly blurs the line between native and web. And where supply-chain security is existential.

Axon is our answer to this era.

1. S-Expressions Are the Right Syntax for AI

Section titled “1. S-Expressions Are the Right Syntax for AI”

When we started Axon, we made a controversial choice: S-expressions instead of C-style syntax. Here’s why:

;; Axon — clear, unambiguous, machine-parseable
(fn factorial (n)
(if (<= n 1)
1
(* n (factorial (- n 1)))))
// C — operator precedence, semicolons, curly braces
int factorial(int n) {
if (n <= 1) return 1;
return n * factorial(n - 1);
}

LLMs tokenize C-style syntax into dozens of tokens per line. S-expressions tokenize into fewer, more meaningful tokens. This means:

  • Lower inference cost — fewer tokens = cheaper API calls
  • Higher accuracy — less ambiguity = fewer hallucinations
  • Better tooling — structural editing, not text editing

Threads are the wrong abstraction for modern hardware. Actors are the right one.

;; Spawn 10,000 actors — each with its own lightweight stack
(for i 0 10000
(spawn (lambda ()
(handle-request i))))

Axon’s runtime maps M actors onto N OS threads, with work-stealing and zero-copy message passing. No mutexes. No data races. No deadlocks.

Every Axon program compiles to both native code (via LLVM) and WebAssembly. The same binary can run on a server, in a browser, or at the edge.

;; Compile for WASM
;; $ axonc --target wasm32 main.axs -o app.wasm
(fn main []
(println "Hello from WASM!"))

We’re shipping Axon 1.0 in Q3 2026. Between now and then:

  • Stable C ABI for interop with existing ecosystems
  • Package manager (axpm) with lockfiles and supply-chain verification
  • Standard library covering networking, crypto, and data structures
  • Language server for VS Code, Neovim, and Emacs

Axon is open source under the MIT license. We’re building in public, and we’d love your feedback.

Let’s build the future of systems programming, together.