About

A collection of notes, quick references, and other ideas.