Tech

Notes on development, infrastructure, and tools.