Notes

Technical notes, sketches, and partial ideas.