Day 15 of Daily Writing Meta thoughts on the halfway point of my self-imposed month of daily writing. » December 15, 2025
Book Review: The Demon in the Machine “The thing that separates life from non-life is information.” » December 14, 2025
The Coming Need for Formal Specification The potential of formal verification for reasoning about systems. » December 12, 2025
Zip Files as (Simple) Key-Value Stores A simple on-disk key-value blob store: the humble Zip file. » December 11, 2025
What I Look For in AI-Assisted PRs Code review heuristics for reviewing AI-generated code. » December 10, 2025
SWIM: Outsourced Heartbeats Discussing the SWIM protocol, a failure detector algorithm for distributed systems. » December 9, 2025
Embodied Cognition and the “Tokenverse” 4E cognition, perceptual filtering, and discussion of LLM embodiment. » December 7, 2025