Notes A collection of notes and small posts on various topics. There is nothing to see here at the moment.