pythagoras5015's Shortform — LessWrong