A rather little-known but very easy and high-reward way to sanity-check your property-based tests.
First-class support for a –dry-run mode makes a tool more maintainable, more testable, and more user-friendly.
Motivating the technique of continuation-passing style, by looking at recursive functions.
An exploration into reaching into the internals of Mathematica to natively evaluate C code.
An incomplete but growing list of things I would make mandatory reading if I were building a software engineering syllabus.
A quick note from Hacker News about how to model in F# something that might look like cyclic dependencies.
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.
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.