Explorations
Research the lab has run on its own questions. Each one is written up the same way: the question, what was built to answer it, what was measured, what fell, and what stands. Some ended in a working instrument. Some ended, and the ending is the finding. Nothing here is a plan; every number was read from a run.
What was tried
- EVE Online
Before the news, the game. A copilot for a spaceship economy: live kill feeds, power-bloc detection, logistics and production chains, skill plans, a full fitting simulator. Seventeen services, published and switched off in one day.December 2025 to April 2026
PrimitivesHow many different things does mathematics actually do? A vocabulary of about seventy structural operations, derived from school mathematics, tested on 110 formulas, formalised as a small category, and then measured until it stopped promising more than it delivered.March to July 2026
- Teaching a model the vocabulary
The same primitives, 67 and then 74 of them, handed to a language model as a way of thinking: as a prompt layer, as fine-tuning, as vectors in the hidden state. Two months of strong results, one pre-registered study, and a quiet removal from production.April to June 2026
Formula isomorphismTwo hundred thousand formulas from textbooks in one graph, and a detector that links the ones with the same shape across fields. Six months of measuring why the links do not hold.March to September 2026
The predecessorThe news perception on this site replaced a system of fifty-seven containers and eight tool servers in one move. What was learned from retiring it, and from the two mistakes the replacement made in its first months.March to September 2026
The backup chainThe freshness check stayed green for four days while all three copies of the knowledge graph froze on the same stale snapshot. What was wrong, why nothing noticed, and what a restore test on 1 September actually proved.May to September 2026