It was posted today, but written last month. It will be presented at the Future of Programming Workshop at strange loop next month.