gwern's Shortform — LessWrong