MathOverflow as an example for LessWrong — LessWrong