[latexr]

> I'm sure that there is at least one director or VP inside GitHub pushing a new salvation project that must use AI to solve all the problems

GitHub is under Microsoft’s CoreAI division, so that’s a pretty sure bet.

https://www.geekwire.com/2025/github-will-join-microsofts-co...