Infrastructure

General notes on programming, software development, and related topics.