Noting

Short notes, quick takes, and things worth writing down.