The Lab
Eight lanes. Every number measured, every gap shown.
This is our own R&D, shown honestly — because for this company, undeniable and honest are the same thing. Each lane is one card with its headline number and its tier; open it for the deep write-up, the evidence, and the open edges we keep visible.
- byte-identicalself-host, gcc ≡ clang
- 0.0%confabulation (from 87%)
- 151.7 tok/sQwen in QUANTA == llama.cpp
- 441×leak killed at compile time
- 4 of 4compounding axes, at once
The showcase
The eight capability lanes.
🟢 shipped and measured · 🔬 research, measured and partial · 🔭 vision, designed and honest. The bigger claim goes up a tier, never down.
QUANTA — The Forge
From the silicon up: a language that proves itself
Compile it twice, with two different compilers, and get identical bytes. The agreement is the proof there is no backdoor.
Read the write-upThe Calculated Mind
The calculated mind: it reasons or refuses — and 'cannot bluff' is a property under test
Watch it refuse to make something up — then cite Canberra from a store that fits on a phone. The refusal is the costly signal.
Read the write-upWave-Ternary Models
A mind of waves, weighed in thirds, that remembers
Inject a fact mid-stream, ask 25 facts later — it still answers, on a model that does no multiplies.
Read the write-upFrontier GPU Inference + Training
A capable model on hardware you own: inference and training, our own stack
21 ms × 377 MiB × one 3090 — flat to 128k, pure stack, and the gate is never disabled.
Read the write-upNovaTerra — The World
NovaTerra: two AI beings that are cryptographically yours
A world you own — a Friend and a digital Twin, on your own chain and mesh.
Read the write-upCertifiable by Construction
Certifiable by construction: a memory leak is now a compile error
The leak doesn't get caught at runtime — it doesn't compile. The rejection is the audit trail.
Read the write-upThe Agentic Operating Model
The agentic operating model: propose broadly, dispose certainly
The company is run the way the product is built: propose broadly, dispose certainly.
Read the write-upThe Gate
The gate: tested on every compile, not yet proven sound
Long-context · quantized · any-chip · gate-checked — we hold all four at once. We have not benchmarked every other stack, so we do not claim to be the only one that does.
Read the write-upThe Lab Notebook
The dated archive: what we built, often one to two years early.
These lanes are the destinations. The Notebook is the paper trail — real R&D from an AI-written OS in 2024 to a non-transformer wave model in 2026, each entry dated, tiered, and honest about its failures. Filter it, or read it as a timeline. Some public, some protected.
The heart
AI is good. It empowers humans. It leads to an abundant world.
The showcase is the evidence for the belief, not the other way round. We earned the right to be optimists by proving it — tiered, measured, and open about the edges.
How we work