What's wrong with CS research

This rant would be worth reading weren't it for the fact that programming language provability is but one of many areas of research in CS, which is something the author doesn't seem to realize in either of his two rants.

Almost no one cares about program provability, well gee golly, I'd never have known!

Why should anyone who needed years in grad school to figure that out even be taken seriously?

Isn't this a dup of: http://news.ycombinator.com/item?id=43074