Matthew Barnett's Shortform — LessWrong