Carlos Ramirez's Shortform — LessWrong