2021
Find the Bug, C# edition
Jan 18
2020
A bug in Git
Dec 28
Christmas quiz
Dec 26
Christmas dinner notes
Nov 21
Defunctionalisation
Mar 4
MIT Mystery Hunt answers
Jan 16
2019
2018
Dependent types overview
Jul 21
2017
Proof of Cauchy-Schwarz
Feb 14
2016
A Free Market
Aug 7
Be a Beginner
Aug 5
Part III essay
Jun 15
The use of jargon
Jun 13
Finitistic reducibility
May 25
Tennenbaum's theorem
Apr 27
Modular machines
Apr 21
Clojure and Exercism
Mar 28
Representable functors
Jan 26
2015
Monadicity Theorems
Dec 31
My First Forcing
Nov 28
Eilenberg-Moore
Nov 12
Lottery odds
Sep 25
Proof by contradiction
Aug 21
Motivational learning
Jan 29
2014
Latin translation tips
Dec 23
Matrix puzzle
Dec 19
Christmas carols
Dec 2
Python, script shadowing
Aug 26
Perfect pitch
Jul 21
Music practice
Jul 19
Solvability of nonograms
Jul 13
Possible cons of Soylent
Jun 25
Cayley-Hamilton theorem
Apr 17
Sample topology question
Apr 15
Writing essays
Jan 28
The Creation
Jan 2
2013
Smartphone Charter
Dec 30
The Training Game
Dec 14
Markov Chain card trick
Nov 12
The Ravenous
Oct 20
Meaning what you say
Oct 11
Plot Armour
Oct 10
Topology made simple
Aug 26
How to punt in Cambridge
Aug 22
My experiences with flow
Aug 21
Thinking styles
Aug 18
New computer setup
Aug 4
Metathought
Jul 25
On Shakespeare
Jul 21
Mundane magics
Jul 7
Sylow theorems
Jun 26
First post
Jun 26
CUCaTS Puzzlehunt
Jun 26