A collection of random pages. I hope to document whatever is interesting