Writing
Ideas behind Knot0 and the future of AI-powered operations.
Orchestrating AI Agents in Production
Why chat threads break, and what to use instead
Semi-Formal Reasoning
How a template turned AI code review from assertion into proof
REPL Is All Agents Need
From ephemeral code to persistent scratchpad — how three generations of agent architecture led to one insight
Vibe Testing
Using LLM reasoning to find spec gaps before writing code
Dagain
DAG-based orchestration for coding agents
From Runbook to Running Software
JIT synthesis and the death of maintenance
Runners
The execution fabric for embodied AI
Controlled Power
Letting AI act safely in production