Writing

Notes on software and its design. Human written.

2026

tau: a bitemporal time-series database with composition
20 min read
A deep dive into Tau, a time-series database designed with correctable time in mind. Explore its unique data model, layered architecture, and rigorous testing approach that sets it apart from traditional TSDBs.
When the spec writes itself: agents in regulated enterprise software
12 min read
Why front-loaded SDLCs in regulated enterprise are a near-ideal substrate for agent-driven development, and what that means for Low-Code
Vesper: a RISC-V64 kernel in Rust, no_std, no crates
13 min read
Building an OS from M-mode boot up to ELF parsing on QEMU virt, following Stephen Marz's OsBlog
Charta: state charts as the next IR for code-generating agents
9 min read
From LLMs that write code, to agents that run tools, to formally verified state charts you can codegen from
Derive: an embeddable RDF quad store in Zig
7 min read
Six permutation indexes, string interning, and a CRC-framed WAL
Coding vs Learning with LLMs
11 min read
The good, the bad and the you're absolutely right!

2025

2024

2023