Russ Tedrake - The Balance of Data and Rigorous Thinking (via searchlore.ai)