Work

From difficult questions to working systems.

Everything we've researched, built, broken and rebuilt. Each record tells you what we tried, what happened, and what we learned along the way.

Systems catalogued: 5
In development: 3

Featured case studyIn development

Astraeus

Aerospace engineering intelligence platform purpose-built for aerospace, defence, aeronautics, and space engineering. Mission control meets NotebookLM.

The question it answered

Critical flight standards (FAA FAR Title 14, EASA CS-25, MIL-STD-810H, ICAO Doc 9859) and multi-decade NASA/ESA technical reports remain locked in fragmented, unstructured PDFs. Generic LLMs hallucinate calculations and cannot detect conflicting aerodynamic or orbital assumptions.

Read the case study

Aerospace flight manuals & technical documents

01Ingest: Rust control plane ingests documents, with RBAC and serving
02Extract: Equations pulled out of every source document
03Variable graph: Multi-document AST links variables like Isp, Mach and Reynolds number
Conflict check: Detects assumption conflicts between sources
05Generate: Produces verifiable simulation code

ProducesPython simulation codeMATLAB simulation codeFlagged assumption conflicts

Every case study

5 problems. 5 attempts at an answer.

Pick one to read the whole story, from the first question to where it stands today.

Behind every case study is a pile of experiments. Some of them failed. We kept those too.

See the experiments Start a conversation