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 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