Talk at CodeMesh in November 2015. See the associated blog post at: http://amirchaudhry.com/codemesh2015