Mark Miro's Shortform — LessWrong