Geoffrey Litt argues AI coding's limit is human understanding, and proposes explanations, quizzes, and micro-worlds · cho.sh