Archives
- 20 Sep Type Theory Part II: Proving Natural Addition Commutes from First Principles
- 13 Sep Type Theory Part I: Introduction to Type Theory
- 12 Sep On Design and Normativity
- 02 Sep A Hypothetical New Mathematical Field
- 11 Apr Being a Living Part of Sydney
- 31 Mar Lessons Learnt at Roseworthy
- 31 Jan Halmos' Set Theory: a Review
- 18 Dec Ranking My Subjects
- 17 Dec Weekend At Inverell
- 14 Dec A Strange Painting
- 08 Dec I'm Obsessed With The Witcher Books
- 07 Dec What is the 'Co' in 'Covariant' in C#?