Blog Archive 2019 O(2) as a semidirect product Apr 30 2019 Deloopings of 0-groups Jan 02 2019 2015 Monads as lax functors Jun 22 2015 2013 Free monads in category theory (part 3) Dec 16 2013 Free monads in category theory (part 2) Dec 04 2013 Free monads in category theory (part 1) Nov 20 2013 Another proof of function extensionality Sep 18 2013 Free Applicative Functors Apr 03 2013 Families and fibrations Feb 20 2013 2012 Continuation-based relative-time FRP Jun 04 2012 Pipes 2.0 vs pipes-core May 29 2012 Applicative option parser Apr 27 2012 Monoidal instances for pipes Feb 04 2012 An introduction to guarded pipes Feb 02 2012 Reinversion of control with continuations Jan 18 2012 From event-driven programming to FRP Jan 10 2012 2010 Effective Qt in ruby (part 3) Dec 06 2010 Effective Qt in ruby (part 2) Sep 24 2010 Effective Qt in ruby (part 1) Jun 25 2010 2008 Monads for Markov chains Oct 16 2008