This wiki is a collection of my notes on subjects that interest me and relate to my work or hobbies. You can help improving these pages: register as a user, login and start editing.