Writing

Technical writing on blockchain security, smart contract analysis, symbolic execution, and distributed systems architecture.

Atomic Operations in Redis with Lua Scripting

MULTI/EXEC transactions have sharp edges. Lua scripts are atomic, faster, and composable. Here's everything you need to write production-safe Redis scripts.

Zero-Downtime PostgreSQL Schema Migrations at Scale

ALTER TABLE takes a full table lock. At millions of rows, that means minutes of downtime. Here are the techniques we use to migrate schemas without disruption.