Source code for a talk using live coding