Great post. Hits on some of my frustrations with science, and probably some of yours, too. Lee Smolin (author of The Trouble with Physics) chimes in in the comments section with the nice point - if all the idealists quit, how can they fix academia?
The HoTT book is finished! Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/.