https://www.patrickstevens.co.uk/slightly-silly-sylow-pseudo-sonnets/
https://www.patrickstevens.co.uk/misc/YonedaWithoutTears/YonedaWithoutTears.pdf
https://www.patrickstevens.co.uk/misc/ModularMachines/EmbedMMIntoTuringMachine.pdf
https://www.patrickstevens.co.uk/posts/2021-10-19-crates/
https://www.patrickstevens.co.uk/posts/2016-05-25-finitistic-reducibility/
https://www.patrickstevens.co.uk/posts/2016-04-13-independence-of-choice/
https://www.patrickstevens.co.uk/posts/2016-04-08-another-monty-hall-explanation/
https://www.patrickstevens.co.uk/misc/AdjointFunctorTheorems/AdjointFunctorTheorems.pdf
https://www.patrickstevens.co.uk/posts/2021-02-20-in-praise-of-dry-run/
http://www.patrickstevens.co.uk/wordpress/archives/364
http://www.patrickstevens.co.uk/wordpress/archives/379
http://www.patrickstevens.co.uk/wordpress/archives/474
http://www.patrickstevens.co.uk/wordpress/archives/584
https://www.patrickstevens.co.uk/posts/2020-10-23-anki-learning/
https://www.patrickstevens.co.uk/sequentially-compact-iff-compact/
http://patrickstevens.co.uk/mathematical%20summary/2014/12/19/matrix-puzzle.html
https://www.patrickstevens.co.uk/posts/2024-07-25-lob-theorem/
https://patrickstevens.co.uk/cauchy-schwarz-proof/