David Althaus's Shortform — LessWrong