lewis smith's Shortform — LessWrong