Looks like your link was cut off: https://ai.facebook.com/blog/paving-the-way-for-software-20-...

(Missing the -with-kotlin at the end)

Sure. People were asserting that the second chris lattner left google, see https://news.ycombinator.com/item?id=22161780

Reading that thread, I'm always so confused by HN posters who ask for evidence that would be impossible to provide without self-incriminating. Are they asking disingenuously, or are they just clueless?

Always makes me laugh. Perhaps something like 10% clueless, 80% disingenuous and 10% feel they are somehow entitled to information that's obviously sensitive or private.

They aren't clueless.

This kind of tactics has been used since the beginning of time.

There was no way to produce a hard evidence, and everyone knew that.