Software engineer syllabus

An incomplete but growing list of things I would make mandatory reading if I were building a software engineering syllabus.

Cyclic dependencies (a note from Hacker News)

A quick note from Hacker News about how to model in F# something that might look like cyclic dependencies.

An incomplete life evaluation checklist

A checklist I have used during my regular six-monthly life review.

Find the Bug, C# edition

A cute little exercise in bug-spotting.

A bug in Git

A bug I found and reported in Git.

Christmas quiz

A round of questions I wrote for a Christmas quiz.

Christmas dinner notes

My notes on the production of a Christmas dinner.

Anki as Learning Superpower

Some techniques to help you get more out of Anki.

General relativity (a note from Hacker News)

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

Nulls and options (a note from Hacker News)

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

The uncountability of the reals (a note from Hacker News)

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

In favour of recursive functions, not imperative constructs, to make loops

How to write loops immutably and safely.

Static config (a note from Hacker News)

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

Defunctionalisation

An underappreciated tool for writing good software.

MIT Mystery Hunt answers

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

Teaching how to cook (a note from Hacker News)

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

The stages of mathematics teaching (a note from Hacker News)

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

MIT Mystery Hunt 2019 answers

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

Chatting with Don Syme about the F# compiler

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

Dependent types overview

A quick overview of dependent types.