The central tension in the software process comes from the fact that we must go from an informally identified need that exists in-the-world to a formal model th

The central tension in the software process comes from the fact that we must go from an informally identified need that exists in-the-world to a formal model that operates in-the-computer. - Bruce Blum, 'Beyond Programming' (1996) There are two models of reality that I find to be the most useful ones, especially when writing programs. The first is functions, and the second is sequences of states. - Leslie Lamport You threaten my startup with patents & debt? I've chosen my models carefully. Perhaps you should have done the same. - @ML_Hipster ... from https://github.com/globalcitizen/taoup https://github.com/globalcitizen/taoup