Nerdy notes on nerdy stuff.