The tech money man thinks that jokes written by algorithm are the future of funny.