Funny you say that because he's done exactly that! If you look at http://venge.net/graydon/talks/codecon-2006.pdf http://venge.net/graydon/talks/codecon-2006.pd

Funny you say that because he's done exactly that! If you look at http://venge.net/graydon/talks/codecon-2006.pdf http://venge.net/graydon/talks/codecon-2006.pdf about Monotone, it turns out (see http://venge.net/graydon/talks/ http://venge.net/graydon/talks/) that it's “A talk Nathaniel Smith gave and I sat on stage looking supportive for, answering occasional questions. It's close to what I would have said!” (Nevertheless about the original question: yes it's by Graydon Hoare as he mentions: “Talk for some undergrads in computer science at UBC about the wide world of compilers.”)