Notes A collection of technical notes, mathematical ideas, programming experiments, and things worth remembering.