Blog Archive

• Feb 16, 2022 • composition

  Power in the small, properties at large

• Sep 22, 2021 • composition

  An example of why software composition is hard

• Mar 5, 2017 • history, artificial intelligence, frame

  The History of the Frame Problem

• Mar 1, 2015 • flexible competence, automatic redis

  Automatic redis through static differentiation

• Dec 8, 2014 • programming languages

  Using unsafeInterleaveIO to lift haskell's lazy semantics into a toy interpreter

• Apr 28, 2014 • partial evaluation, programming languages

  Partial evaluation of fat languages

• Jan 25, 2014 • artificial intelligence, automatic redis

  Automatic redis, part two: sorting and data structures

• Nov 23, 2013 • artificial intelligence, automatic redis

  Automatic redis, part one: inserts and cache key extraction

• Oct 4, 2013 • productivity

  Rubber-duck logging

• May 6, 2013 • programming language

  A data representation language

• Feb 18, 2013 • artificial intelligence, constraint satisfaction, machine learning

  Symmetric constraint learning

• Sep 10, 2012 • artificial intelligence

  The Hundred-Year function

• Oct 18, 2008 • binding, foreach, lexical closures

  Foreach mutation

• Oct 4, 2008 • continuation, exception, python, separation of concern

  Faking continuation based web serving using exceptions

• Sep 15, 2008 • coroutine, python

  De-coupling interfaces with 'yield lambda'