Why recursion matters, part 3: meaningful programs

Why recursion matters, part 2: lazy evaluation

Why recursion matters, part 1: proof by induction

A little polymorphism, part 2: channels, combinators and const generics

A little polymorphism, part 1: vectors, closures and coherence

Hilbert’s rusty hotel

Generic returns in Rust

Announcing Building Git

How I accidentally learned Prolog

Implementing patience diff