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.

A quick note from Hacker News about a neat fact from general relativity.

A quick note from Hacker News about why we want optional types but why ’null’ is unintuitive.

A quick note from Hacker News about a beautiful proof of the uncountability of the reals.

How to write loops immutably and safely.

A quick note from Hacker News about my preference for static config rather than dynamic.

An underappreciated tool for writing good software.

Photos from the Mystery Hunt.

A couple of solution documents I made during the progress of the 2020 MIT Mystery Hunt.

A quick note from Hacker News about my thoughts on teaching cookery.

A quick note from Hacker News about the various stages of learning and teaching in mathematics.

A couple of solution documents I made during the progress of the 2019 MIT Mystery Hunt.

Notes from a chat with the creator of F#, about how to contribute to the compiler.

A quick overview of dependent types.

A quick note from Hacker News about why the comment-handling situation in JSON is bad.

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?”.