I like your extension of the argument towards standard libraries. I guess one way of thinking about this is that the standard library hasn't made programmers ob

I like your extension of the argument towards standard libraries. I guess one way of thinking about this is that the standard library hasn't made programmers obsolete. Charlie ends his post with an intriguing question - what is the abacus for programming? Some way of reasoning about programming that isn't a black box. Perhaps raising the abstraction level even higher? Assignments that are like "design an app that makes it really easy to share photos" and then "reason about how you would test that app" and "what countermeasures would you create to prevent abuse" and then have the student(s) come up with specific pieces of implementation of parts of that solution that would fit the allotment of time?