Good post; you should put it in Main. It's nice to see more stuff here on some of the aspects of instrumental rationality from HPMoR. Similarly, the two linked posts on your blog are brilliant; I'd been vaguely intending to write about them myself at some point, but you might have saved me the work.