Terence Tao - Lean Programming and Divide and Conquer (via searchlore.ai)