Innovation on the Edge?
MCassatt asks: "It's a truism in many fields that breakthroughs come from the edge: the scandalous Impressionists become pretty pictures for posters and umbrellas; the world of science fiction becomes the world of science.
The wonderful, the fantastic, and the mad of today are tomorrow's mainstream. Are there examples of this in computer science? Not extreme programming, but extreme programs?"
Gnutella
Bit Torrent
Freenet
Reiserfs
Linux Kernel
Open SSH
Encrypted Filesystems
GnuPG
At least in my opinion p2p and crypto are the edges in coding right now. Both can be hugely successful if you succeed in writing them properly. They can also be a huge failure if done improperly. Personally, I'm amazed that there aren't more p2p worms/remote exploits out there. Every now and then there are a few breaks in crypto from a weird angle, but in general they have been very successful as well.
Karma: SELECT `karma` FROM `users` WHERE `userid`=138474;
To this day this prolific timewaster has left a very impressive swath of damage to production. If that isn't extreme, then I don't know what is.
Lots of fun little things to place with at Google Labs.
Much of theoretical computer science is all about some crazy professor looking at a problem that he thinks is cool, without worrying about its utility. Then in a few years, somebody finds a practical application.
"Computer space" is the object of study of computability theory. Turing Machines, Post Machines, the \lambda-Calculus, the Language of WHILE-programs, function (morphism) composition, etc. These are all theories about the nature of computer space. Since the Church-Turing thesis and complexity theory pretty much cover the fundamental physics of the space, instead we worry about different ways to visualise and apply the space. It's much closer to engineering than physics is style, but you must admit that there's some similarity.