Blog

Notes, decisions, references, and occasional longer writing.