Russ Tedrake - The Importance of Rigorous Thinking (via searchlore.ai)