I got to help with his talk at Google: https://www.youtube.com/watch?v=kogikw3InpY&t=4s https://www.youtube.com/watch?v=kogikw3InpY&t=4s That's Udi Manber int

I got to help with his talk at Google: https://www.youtube.com/watch?v=kogikw3InpY&t=4s https://www.youtube.com/watch?v=kogikw3InpY&t=4s That's Udi Manber introducing him. They knew each other, somehow.