A checklist I have used during my regular six-monthly life review.
A cute little exercise in bug-spotting.
A bug I found and reported in Git.
A round of questions I wrote for a Christmas quiz.
My notes on the production of a Christmas dinner.
Some techniques to help you get more out of Anki.
How to write loops immutably and safely.
An underappreciated tool for writing good software.
Notes from a chat with the creator of F#, about how to contribute to the compiler.
A quick overview of dependent types.
Answering the question, “What is lost when we move from the reals to the complex numbers?".
Answering the question, “Which mathematical ideas took a long time to define rigorously?".
Answering the question, “Are these examples of abuses of notation?".
Answering the question, “does the International Maths Olympiad help research mathematics?".
This is just a link to a beautiful proof of the Cauchy-Schwarz inequality. There are a number of elegant proofs, but this is by far my favourite, because (as pointed out in the paper) it “builds itself”.
Answering the question, “Why does WolframAlpha say that a quantity is ComplexInfinity?".
Answering the question, “how far back in time would maths be understandable to a modern mathematician?".
The story of Martin’s search for a kaki fruit.
Being a beginner at something is great, especially if it’s something that humans are built for.
Now that my time in Part III is over, I feel justified in releasing my essay, which is on the subject of Non-standard Analysis. It was supervised by Dr Thomas Forster (to whom I owe many thanks for exposing me to such an interesting subject, and for agreeing to supervise the essay).