Honest question: does the current Google have the environment to innovate on the next generation of compilers/PL/program synthesizers?
I would have definitely said yes back in the day; but not so sure now.
(Admittedly might be biased. I'm the founder of Synthetic Minds. We're building program synthesizers; basically all compilers work: https://news.ycombinator.com/item?id=19059922)