> they just closed the venerable Microsoft Research Silicon Valley, so it's not that they are putting their money where their mouth is.

I seem to remember they fired Leslie Lamport.