Russ Tedrake - The Power of Editing in Education (via searchlore.ai)