Blog Archive 2017 The History of the Frame Problem Mar 05 2017 2015 Automatic redis through static differentiation Mar 01 2015 2014 Using unsafeInterleaveIO to lift haskell’s lazy semantics into a toy interpreter Dec 08 2014 Partial evaluation of fat languages Apr 28 2014 Automatic redis, part two: sorting and data structures Jan 25 2014 2013 Automatic redis, part one: inserts and cache key extraction Nov 23 2013 Rubber-duck logging Oct 04 2013 A data representation language May 06 2013 Symmetric constraint learning Feb 18 2013 2012 The Hundred-Year function Sep 10 2012 2008 Foreach mutation Oct 18 2008 Faking continuation based web serving using exceptions Oct 04 2008 De-coupling interfaces with ‘yield lambda’ Sep 15 2008 Lorem Ipsum Apr 28 2008