Updates from Leverage Research: History and Recent Progress — LessWrong