| Microsoft funds a lot of fairly pure research with some of it slipping out into the real world, e.g. Simon Peyton-Jones http://research.microsoft.com/en-us/people/simonpj/ of Glasgow Haskell Compiler fame (and perhaps the most interesting interview in Coders at Work, although that has a lot to do with my familiarity of the work of others in the Lisp and PARC worlds). One of the biggest complaints about Microsoft Research (or whatever it's called) was how little gets out of the lab into the "real world", with things like F# being recent exceptions, and their funding of the GHC is another example of how they indirectly ship code. Although this mostly legit complaint is precisely your complaint about "not just research shops". I'm pretty sure IBM is still doing some tech R&D, how much in the coding area I'm not sure, let alone for how long. Hmmm, has such a beast other than Sun for a brief time ever existed? Obviously Bell Labs, and the UCB Unix project (and some other DARPA projects that had useful code as a required deliverable, e.g. their general VLSI infrastructure push: http://en.wikipedia.org/wiki/VLSI_Project). MIT's exokernel project found itself reified in the real world as Xen, through yet another university lab. Plus today there are other business models, e.g. look at Clojure (admittedly a one man project for the first few years), the cost of doing a R&D project that ships real world code is fantastically lower than it used to be when e.g. XEROX PARC was doing most? of its work on bit slice (i.e. not too fast) 16 bit Altos with 1-4 banks of 64KB RAM. I came to the conclusion in the early '80s that some of the differences in the granularity of traditional Lisp and Smalltalk objects (the latter are larger) is in part due to the machines these people did their work on. Lisp has always gone for a big flat address space, Smalltalk had bank switching to contend with an I think that encouraged larger objects (larger than a cons cell, atom, numeric immediate, etc. The architecture of X has a lot more to do with GAO "most preferred customer" rules/law than anything else. |
There's certainly something to be said about it being possible -- more so now than ever -- for hackers to work alone, without affiliation with a large R&D organization or academia. Rich Hickey's work has been amazing and will be influential (the persistent immutable data structures are beginning to spread beyond Clojure). It's also interesting that Hickey was able to "bootstrap" himself from consulting rather than full-time work, regaining full rights to his work (not being subject to the all-too-common agreements which require one to give the fruit of all of their ideas to their employer).
Academia is still doing well (Scala from EPFL, some fairly interesting distributed systems work going on at Berkeley) and there are also university-based spin-offs e.g., Stonebraker start-ups (even though I disagree with some of his approaches, it's still great to see companies built to solve difficult and interesting problems). Historically these have been big on the West Coast: Google, Inktomi, Ousterhout's start-ups (Scriptics, Electric Cloud). I haven't seen any emerge recently, but perhaps I haven't been looking in the right places (or have been too cynical about what I saw).