[PRL] Stevey's Blog Rants: Rich Programmer Food

[Doug Orleans]

On 6/25/07, Mitchell Wand <wand at ccs.neu.edu> wrote:
> Long-winded, but mildly entertaining.  --Mitch
>
> http://steve-yegge.blogspot.com/2007/06/rich-programmer-food.html

I especially enjoyed this part:

The next big phase is Type Checking. This is a group of zealous
academics (and their groupies and/or grad students) who believe that
they can write programs that are smart enough to figure out what your
program is trying to do, and tell you when you're wrong. They don't
think of themselves as AI people, though, oddly enough, because AI has
(wisely) moved beyond deterministic approaches.

This camp has figured out more or less the practical limit of what
they can check deterministically, and they have declared that this is
the boundary of computation itself, beyond the borders of which you
are crossing the outskirts of civilization into kill-or-be-killed
territory, also occasionally known as The Awful Place Where People
Make Money With Software.

You should hear them when they're drunk at rave parties.


--Doug