Writing / Engineering field notes

Ideas, under inspection.

Notes on correctness, system design and the decisions that make software easier to trust.

2 essays

Core

Agents Need Contracts, Not Trust (Part 1)

Agents make code cheap. They do not make intent obvious. Contracts give them a target, give tests something to derive from, and keep fast delivery from becoming fast debt.

contract-driven developmentai agentssoftware qualitytestingarchitectureseries
Low-Level Design

Why Shared-Nothing Scales on One Machine

Redis gets a lot from a single event loop. DragonflyDB takes another route: assign data to cores, avoid shared state, and let each core make progress without a lock.

low level designhigh level designmulti-threading