Introduction

A collection of notes on different topics which interest me or are otherwise useful.