alyssavance comments on MathOverflow as an example for LessWrong