> M$ on the other hand does not seem to generate the level of new
> ideas and developments that one would expect; compare with IBM which
> is still a power house of original research.
I don't know about that. Since about 2000, Microsoft's research
groups have become awesome. (Prior to 2000, it was a different story...)
There are some very innovative things going on there in software model
checking, specification and verification, testing and security,
graphics, and a lot of other areas. Some of these things have even
begun to percolate into engineering groups.
What is IBM doing that is so impressive?