If so, it looks like he's decided to go implementing again. Have you heard that he got hired at Google to do AI development work? I think it was mentioned on Ha

If so, it looks like he's decided to go implementing again. Have you heard that he got hired at Google to do AI development work? I think it was mentioned on Hacker News at some point.