Logbook / verifier · benchmarks · thesis
Notes from the bench.
Short writeups when something changes in `main`. Verifier work, benchmarks we can defend, and occasional thinking about why this kernel exists.
- 03Mar 12, 2026
Range refinement after conditional branches
Adding range narrowing to the abstract interpreter — what changed, what was hard, and what we got back.
§ verifier - 02Feb 19, 2026
211 ns on the Raspberry Pi 5
How we measured the interrupt-to-eBPF path on a Pi 5 and why the number is fixed.
§ benchmarks - 01Jan 08, 2026
Why axiomOS exists
A note on the gap between 'kernel you can extend' and 'kernel you can trust to extend' — and why both should be available at once.
§ thesis