Paul Christiano - The Appeal of Theoretical Computer Science (via searchlore.ai)