K-12 curriculum should be weighted more towards programming practice than theory. Understanding the craft of programming, good UI design, and how the web works will be relevant to kids for their whole lives. Turing machines, big O notation, and discrete math are all interesting, but emphasizing them over coding would be like learning number theory without knowing how to add and subtract.