writing.

Notes, write-ups, and things worth keeping around.