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

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