Grant Sanderson - The Role of Programming in Math (via searchlore.ai)