Lauro Langosco's Shortform — LessWrong