A personal collection of notes and rambles about things I've learned or found interesting.
A collection of useful preliminary definitions etc.