Innovation @ Microsoft
Recently I came across some links about really cool things going on at Microsoft. One is about Singularity, an innovative new operating system currently developed at Microsoft reasearch (that has nothing in common with Windows!) Btw: The project descriptions sounds great, but a still think that the name is a bit of a stretch.
Even more interesting is this Wired article that is mostly about model checking verification of third party drivers performed by Microsoft - very cool stuff (with a very nerdish interpretation of "cool").