Dima's Shortform — LessWrong