Coding is the Socratic method as an extreme sport.