James Governor has a nice post on some stories about OpenSource interop and Standards inside Microsoft.
Alcides Fonseca.AI & Programming Languages researcher
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.