Miscellaneous things

Here I will put anything I find interesting unrelated to the other topics.