source code for my JAX 2014 talk