The House Carpenter

A note on the correct definition of a proportion space

The trajectory of a bouncing ball

Implementing Python’s `cmp_to_key` function

Enumerating the ordered k-partitions of an integer

Dualities between depth-first search and breadth-first search

A simple motivation for the notion of a natural transformation

Notes on periodic functions

A proof of the boundedness theorem by induction

Notes on proving the completeness theorem for propositional logic

Programming languages as theorem verifiers