Blog
Notes on network verification, formal methods, and infrastructure engineering.
PRACTICE
How meaningful is it to read code?
On AI-assisted programming, understanding systems by building them, and choosing limits that keep the work meaningful.
Read post →XPECTER / RELEASEXpecter 3.0 Is Here
A workspace rebuilt around sessions, panes, and files, with a first-class text editor and a sharper terminal for real infrastructure work.
Read post →NETWORK VERIFICATIONA Snapshot Safety Theorem for LoopGuard in Spanning Tree Protocol
Why a memoryless LoopGuard model turns a temporal safety question into an exhaustive check over reachable failure snapshots.
Read post →FORMAL METHODSBoundary Sufficiency: Local Validation of Spanning Tree Protocol Configurations Without Full-Network Recomputation
A precise theorem showing when local STP roles can be validated from a boundary distance vector, with a Haskell mechanization and 1,300x benchmark result.
Read post →