Joseph Miller's Shortform — LessWrong