By the way, have you seen how I've been using MathOverflow recently? It seems that if you can reduce some problem to a short math question in standard terms, the default next action (after giving it your own best shot) should be posting it on MO. So far I've posted two problems that interested me, and both got solved within an hour.
So far I've posted two problems that interested me, and both got solved within an hour.
It's all magic to me but it looks like a very effective human resource. Have you considered pushing MathOverflow to its limits and see if those people there might actually be able to make valuable contributions to open problems faced by Less Wrong or the SIAI?
I assume that the main obstacle in effectively exploiting such resources as MathOverflow is to formalize the problems that are faced by people working to refine rationality or create FAI. Once you know how to ask...
More and more, LessWrong's posts are meta-rationality posts, about how to be rational, how to avoid akrasia, in general, without any specific application. This is probably the intended purpose of the site. But they're starting to bore me.
What drew me to LessWrong is that it's a place where I can put rationality into practice, discussing specific questions of philosophy, value, and possible futures, with the goal of finding a good path through the Singularity. Many of these topics have no other place where rational discussion of them is possible, online or off. Such applied topics have almost all moved to Discussion now, and may be declining in frequency.
This isn't entirely new. Applied discussions have always suffered bad karma on LW (statistically; please do not respond with anecdotal data). I thought this was because people downvote a post if they find anything in it that they disagree with. But perhaps a lot of people would rather talk about rationality than use it.
Does anyone else have this perception? Or am I just becoming a LW old geezer?
At the same time, LW is taking off in terms of meetups and number of posts. Is it finding its true self? Does the discussion of rationality techniques have a larger market than debates over Sleeping Beauty (I'm even beginning to miss those!) Is the old concern with values, artificial intelligence, and the Singularity something for LW to grow out of?
(ADDED: Some rationality posts are good. I am also a lukeprog fan.)