Fri 09 October 2015 Type logic in Haskell
Sat 07 February 2015 Implementation of Norvig's spell checker in Haskell
Wed 31 December 2014 The Reader and Writer Monads and Comonads
Mon 15 July 2013 Modern LaTeX typesetting
Wed 10 September 2025 Variational Inference
Thu 18 January 2024 Compounding is for the Mathematically Illiterate
Sat 05 June 2021 Blackbody Thermodynamics
Fri 15 February 2019 Heuristics for Monad Rules
Wed 08 August 2018 Where does the entropy come from?
Sun 24 June 2018 Foundation of Thermodynamics
Sat 05 August 2017 Exponential Families
Wed 22 June 2016 Harmonic Divergence in Coq
Tue 05 April 2016 Companion Operator
Sat 16 May 2015 Differential Geometry of Maxwell's Equations
Tue 28 January 2014 Variational Equation
Mon 16 September 2013 Backward Error Analysis and Equivariance
Fri 10 April 2015 Testing in Python for Scientific Computing