Writing

Notes on software and its design. Human written.

2026

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!
Tau: data as typed functions of time
12 min read
Why I designed tau's data model around partial functions and an actor-per-series runtime

2025

2024

2023