divia's Shortform — LessWrong