Materials for my talk at Code on the beach 2014