type-level programming

A three-minute excerpt from Milton Friedman's Free to Choose in which he uses a pencil to show that no single person knows how to make it. He argues that the free market coordinates countless strangers peacefully.

Ward Cunningham explains the history and intent of the debt metaphor, which he coined while refactoring the WyCash product. He says debt means code reflecting an incomplete understanding of the problem, not sloppy programming.