This site is for personal notes, experiments, and write-ups.