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
TIL: SQLite’s ‘WITHOUT ROWID’ SQLite’s ‘WITHOUT ROWID’, and how rowid columns behave. » December 5, 2025
Technical Escape Velocity The skill threshold where technical problems become solvable. » December 3, 2025