StableBlog

This is a repository containing TeX vesions of articles in my blog. My hope is that links to this repo will have more longevity than links to Blogger.

I'm actively in the process of creating this repo and these are preliminary draughts for now.

I've made light edits, mainly to eliminate overfull hboxes and to make sure code compiles with GHC. I've left in material that may seem a little dated now.

Note that when you view a PDF directly from GitHub it appears not to have the external links in it. So download it if possible.

Monads

• You Could Have Invented Monads
• The Mother of all Monads
• Tagging Monad Transformer Layers

Comonads

• Evaluating cellular automata is comonadic

Category Theory

• Reverse Engineering Machines with the Yoneda Lemma
• Profunctors in Haskell
• What does it mean for a monad to be strong?

Quantum Mechanics

• Negative Probabilities

Clifford Algebras

• Constructing Clifford Algebras using the Super Tensor Product

Other

• Running from the past
• Quine central
• Dimensionful Matrices
• From Löb's theorem to spreadsheet evaluation

• Arboreal Isomorphisms from Nuclear Pennies
• Optimising pointer subtraction with 2-adic integers

• The Three Projections of Doctor Futamura

• Fast Forwarding lrand48()

• Dimensionalful matrices