★ Variational Inference
Compounding is for the Mathematically Illiterate
Blackbody Thermodynamics
Heuristics for Monad Rules
Where does the entropy come from?
★ Foundation of Thermodynamics
★ Exponential Families
Harmonic Divergence in Coq
Companion Operator
★ Type logic in Haskell
★ Differential Geometry of Maxwell's Equations
Testing in Python for Scientific Computing
★ Implementation of Norvig's spell checker in Haskell
The Reader and Writer Monads and Comonads
Variational Equation
Backward Error Analysis and Equivariance
★ Modern LaTeX typesetting