<?xml version="1.0"?>
<?xml-stylesheet href="/transform" type="text/xsl"?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:bs="http://purl.org/ontology/bibo/status/" xmlns:ci="https://vocab.methodandstructure.com/content-inventory#" xmlns:dct="http://purl.org/dc/terms/" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xhv="http://www.w3.org/1999/xhtml/vocab#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" lang="en" prefix="bibo: http://purl.org/ontology/bibo/ bs: http://purl.org/ontology/bibo/status/ ci: https://vocab.methodandstructure.com/content-inventory# dct: http://purl.org/dc/terms/ foaf: http://xmlns.com/foaf/0.1/ rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# xhv: http://www.w3.org/1999/xhtml/vocab# xsd: http://www.w3.org/2001/XMLSchema#" vocab="http://www.w3.org/1999/xhtml/vocab#" xml:lang="en">
  <head>
    <title property="dct:title">Toward a Theory of Design as Computation</title>
    <base href="https://doriantaylor.com/toward-a-theory-of-design-as-computation"/>
    <link href="document-stats#E8X1coC6z369WDvRT5rtNI" rev="ci:document"/>
    <link href="elsewhere" rel="alternate bookmark" title="Elsewhere"/>
    <link href="this-site" rel="alternate index" title="This Site"/>
    <link href="http://purl.org/ontology/bibo/status/published" rel="bibo:status"/>
    <link href="" rel="ci:canonical dct:references" title="Toward a Theory of Design as Computation"/>
    <link href="lexicon/#Er25AsP7lDnL8trRRAsODJ" rel="dct:audience" title="Digital Media Theorist"/>
    <link href="person/dorian-taylor#me" rel="dct:creator" title="Dorian Taylor"/>
    <link href="//www.amazon.com/dp/0143050133" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0143120611" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0199898073" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0201626950" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0262581469" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0262691914" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0300078153" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0465026567" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0674627512" rel="dct:references"/>
    <link href="//www.amazon.com/dp/081297381X" rel="dct:references"/>
    <link href="//www.amazon.com/dp/1400067820" rel="dct:references"/>
    <link href="//www.amazon.com/dp/1476718962" rel="dct:references"/>
    <link href="person/dorian-taylor" rel="meta" title="Who I Am"/>
    <link about="./" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="f07f5044-01bc-472d-9079-9b07771b731c" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="this-site" rel="alternate"/>
    <link about="./" href="elsewhere" rel="alternate"/>
    <link about="./" href="e341ca62-0387-4cea-b69a-cdabc7656871" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="this-site" rel="alternate"/>
    <link about="verso/" href="elsewhere" rel="alternate"/>
    <meta content="toward-a-theory-of-design-as-computation" datatype="xsd:token" property="ci:canonical-slug"/>
    <meta content="I want to talk more about computation as more than something that is done by computers." name="description" property="dct:abstract"/>
    <meta content="2014-02-21T15:12:45+00:00" datatype="xsd:dateTime" property="dct:created"/>
    <meta content="toward-a-theory-of-design-as-computation" property="dct:identifier"/>
    <meta content="2014-02-21T18:22:42+00:00" datatype="xsd:dateTime" property="dct:issued"/>
    <meta content="2014-02-21T18:23:18+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2014-03-09T04:00:58+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2014-07-15T00:49:59+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2014-07-31T06:31:25+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2017-12-16T23:01:12+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2019-07-07T03:44:44+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2021-07-24T21:42:43+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2022-05-31T04:18:52+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2022-05-31T15:10:50+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta about="person/dorian-taylor#me" content="Dorian Taylor" name="author" property="foaf:name"/>
    <meta content="summary_large_image" name="twitter:card"/>
    <meta content="@doriantaylor" name="twitter:site"/>
    <meta content="Toward a Theory of Design as Computation" name="twitter:title"/>
    <meta content="I want to talk more about computation as more than something that is done by computers." name="twitter:description"/>
    <meta content="https://doriantaylor.com/file/notsof-indian-village" name="twitter:image"/>
    <object>
      <nav>
        <ul>
          <li>
            <a href="giant-conf-2014-dissolving-the-redesign" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">GIANT Conf 2014: Dissolving the Redesign</span>
            </a>
          </li>
          <li>
            <a href="" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">Toward a Theory of Design as Computation</span>
            </a>
          </li>
          <li>
            <a href="document-stats#E8X1coC6z369WDvRT5rtNI" rev="ci:document" typeof="qb:Observation">
              <span>urn:uuid:f17d5ca0-2eb3-4dfa-8f56-0ef453e6bb4d</span>
            </a>
          </li>
        </ul>
      </nav>
    </object>
  </head>
  <body about="" id="EHe6V2ZRI1-iE5Hbo8hFVI" typeof="bibo:Article">
    <p>In 2000, I bought a book on the recommendation of a friend. It's a gigantic, floppy paperback, with an ethereal, nautically-themed cover, and the grave title of <a href="https://www.amazon.com/dp/0262581469/?tag=doriantaylor-20"><strong style="font-variant: small-caps">Cognition in the Wild</strong></a>. It's an ethnographic analysis of the navigation team of an <span class="parenthesis" title="actually an amphibious warship, which is like a baby aircraft carrier.">aircraft carrier</span>, which dives deeply into the nuts and bolts of how people think and collaborate. This fearsome tome sat on my shelf for <em>ten years</em>. All the better, too, as I don't think I would have understood it if I had picked it up a day sooner. Perhaps because in it, the author, <a href="http://hci.ucsd.edu/hutchins/" rel="dct:references">Edwin Hutchins</a>, wrote passages like this:</p>
    <blockquote id="EOClA1ImUGjtq5wqoFsa5I">
      <p class="quote">A navigation chart is an analog computer.</p>
    </blockquote>
    <p style="text-align: center">and</p>
    <blockquote id="E_LDUzkvKoECupS9qp3LqL">
      <p class="quote">If we built the right <a href="http://en.wikipedia.org/wiki/Formal_system" title="Formal system &#x2014; Wikipedia" rel="dct:references">formal system</a>, we could now describe states of affairs in the world that would have been impossible or impractical to observe directly. Such a state of affairs might be something in the future, which we cannot observe directly, but which can be predicted. I consider the mastery of formal systems to be the key to modern civilization. This is a very, very powerful idea.</p>
    </blockquote>
    <p>I'll get back to these statements in a moment, as I'm still laying a foundation, but reading them I was floored. Around this time, I had acquired a copy of <span class="parenthesis" title="You are almost certainly more likely to know Design of Everyday Things">a lesser-known book</span> by one of Hutchins's colleagues, <a href="http://jnd.org/" rel="dct:references">Don Norman</a>. In it, he describes a type of thing called a <dfn>representational artifact<a href="#simon">&#x2731;</a></dfn>, a human-made object, purpose-built to embody <dfn>representational states</dfn> and the transitions between them. In other words, a representational artifact has a meaning beyond, or even <em>irrespective</em> of, its utilitarian physical properties. Norman also wrote of <em>cognitive</em> artifacts, which are representational artifacts designed to support memory and reasoning&#x2014;<a href="https://www.amazon.com/dp/0201626950/?tag=doriantaylor-20">Things That Make Us Smart</a>. This, I surmise, is what Hutchins meant by the navigation chart being a kind of computer.</p>
    <aside role="note" id="ExTQXNtwpCglfNzH1LVPWJ">
      <p id="simon">&#x2731;The term <dfn>artifact</dfn>, in the sense of human-made object with a purpose, comes from <a href="http://en.wikipedia.org/wiki/Herbert_A._Simon" rel="dct:references">Herbert Simon</a>, who, by the way, wrote in <a href="https://www.amazon.com/dp/0262691914/">The Sciences of the Artificial</a>: <q>Solving a problem simply means representing it so as to make the solution transparent.</q></p>
    </aside>
    <p>I had just begun, at this time, to develop my own understanding of formal systems and how they relate to computation, largely due to another daunting volume, this time by <a href="http://www.soic.indiana.edu/people/profiles/hofstadter-douglas.shtml" rel="dct:references">Douglas Hofstadter</a>. <a href="https://www.amazon.com/dp/0465026567/?tag=doriantaylor-20">G&#xF6;del Escher Bach</a> is not only about formal systems, but also about <a href="http://en.wikipedia.org/wiki/Morphism" title="Morphism &#x2014; Wikipedia" rel="dct:references"><dfn>morphisms</dfn></a>, which are structure-preserving mappings between arbitrary categories of things. Think like a mathematical function, but more abstract, and simultaneously more concrete. A morphism could, for instance, be a way to describe what goes on when we take a photograph, or transcribe a conversation, or construct a building. Hofstadter's argument was that meaningful form in our environment is transformed across media, through our senses, with its meaning intact, and represented analogically in the structures of our brains. It is then synthesized with other meaningful forms within, and turned outward through our bodies to act on the world. The ongoing interplay between these states of affairs is what we call consciousness.</p>
    <p>Whether or not you buy that last bit is irrelevant, because in this context it's the morphisms that are important. A known initial state plus a known morphism equals a predictable result. This equates to the deliberate composition and manipulation of formal systems. This process is also known as <dfn>computation</dfn>. Specific types of morphisms may also be employed to translate a representational state from one physical medium to another, to yet another, without losing any information. This idea provides the foundation for data storage and networking. It's also what we're doing when we render an image, or navigate a ship, or prosecute a law, or turn a blueprint into a building.</p>
    <p>This trio of books had such an impact because they furnished me with the notion that any artifact, and any <em>non</em>-artifact, <em>and</em> any <em>system</em> or mix thereof, can be a representational medium, and any representational medium is inherently a computational medium. The machines we recognize today as <dfn>computers</dfn> constitute an efficient, yet <em>extremely</em> narrow interpretation of this idea.</p>
    <p>This brings me to the heterodox architect, <a href="http://patternlanguage.com/" rel="dct:references">Christopher Alexander</a>. Around 2008 or so, I read his 1964 PhD dissertation, <a href="https://www.amazon.com/dp/0674627512/?tag=doriantaylor-20">Notes on the Synthesis of Form</a>. The thesis was about the use of a structure-preserving mathematical decomposition of complex design problems into hierarchies of simpler problems which could be readily solved, then recomposed into a complex solution. Seeing enormous value in this technique, and puzzling at why I couldn't find an implementation anywhere, I wrote the code myself. Aside from my math skills being insufficient at the time to <span class="parenthesis" title="it turns out to be in the family of graph min-cut algorithms, which have undergone considerable research and development since 1964">implement the method properly</span>, I couldn't understand how Alexander generated the <em>initial</em> structure, <em>manually</em>, to be processed by his computer program.</p>
    <p>In order to use Alexander's technique, you had to gather hundreds, if not <em>thousands</em>, of what we would typically call <dfn>requirements</dfn>&#x2014;orders of magnitude more than common practice. Then you'd have to <em>work</em> them to get them all into roughly the same <dfn>conceptual scope</dfn>&#x2014;that is, such that they deal with the same <q>size</q> of concern&#x2014;arguably a subjective criterion. Then you connect these objects together on the condition that a change to one affects the state of another. Such a task would be positively <em>enormous</em>, and must be fixed before you can even begin to apply the technical innovation.</p>
    <section id="E0AKR3DoGmBZJ1jgAZArPL">
      <img style="display: block; max-width: 100%; margin: auto" src="file/notsof-indian-village" alt="" rel="dct:hasPart foaf:depiction"/>
      <aside role="note" id="E2TWYDOgWRLql_0BiU9FiK">
        <p>Requirements gathered for the design of a village in India, from Appendix I of Notes on the Synthesis of Form. This is what the set looks like before applying the hierarchical decomposition. There are 141 <dfn>misfit variables</dfn>, as Alexander termed them, and 1444 connections between them. Each one of those dots represents irreducible fieldwork, each line the result of puzzling over whether two dots should be connected. This one is just a baby.</p>
      </aside>
    </section>
    <p>The hierarchical shape produced by breaking this hairball apart at its natural articulation points is called the <dfn>decomposition pattern</dfn>.  Because the decomposition pattern depends on the structure of these connections, a latecomer requirement would almost certainly produce a wildly different result. This represents a huge bottleneck to progress, with the perennial <em>one-more-thing</em> threatening to torpedo any nascent plan. While theoretically sound, Alexander's method, as initially described, would be too fragile to put into practice. Nevertheless, as a prolific architect, he's figured it out somehow. Luckily he left a hint.</p>
    <aside role="note" id="E5FOaMlNUWO2-2s-7vyiTK">
      <p>Herbert Simon was also writing about the decomposability of complex systems in the early 1960s, and, as an economist, his primary concern was social systems. This was definitely a <em>thing</em>.</p>
    </aside>
    <p>In the preface to the paperback edition of <em>Notes</em>, Alexander stressed the importance of the diagrams that riddled the text, and how they were actually more important than the math. I didn't understand what he meant until I got my hands on <span class="parenthesis" title="yes, I weighed it">all 15 pounds</span> of his magnum opus, <a href="http://www.natureoforder.com/" title="NATURE OF ORDER" rel="dct:references">The Nature of Order</a>, which was <em>after</em> reading Hutchins, Norman, Simon, and Hofstadter. The key is repeated all over the text: <em>it's the geometry, stupid.</em> And then it hit me:</p>
    <blockquote id="EXzijJ_SfGvnj4pJmyJSeI">
      <p style="text-align: center; font-weight: bold">Alexander is using the building site <em>itself</em><br/>as a computational medium.</p>
    </blockquote>
    <p>Consider this: a building, when complete, is every bit a representational artifact as it is <a href="http://en.wikipedia.org/wiki/%22%E2%80%94And_He_Built_a_Crooked_House%E2%80%94%22" rel="dct:references">a gadget for keeping off the rain</a>. It encodes a set of <a href="lexicon/constraint" rel="dct:references" title="Constraint">constraints</a> and <a href="lexicon/affordance" rel="dct:references" title="Affordance">affordances</a> that literally <em>program</em> how human beings interact with one another. Architects have known about and <span class="parenthesis" title="Good grief, just look at Albert Speer or Le Corbusier."><em>harnessed</em> this effect for various ends</span> since the first buildings. Alexander's interest is in creating structure that supports the widest range of freedom in ordinary human life. To achieve this, he uses the current representational&#x2014;that is to say, geometric&#x2014;state of the system, <em>on the ground</em>, to compute the next step in the construction process, itself a recursive application of a carefully-selected set of fundamental morphisms. Christopher Alexander has amortized the computation of the requirements gathering, <em>and</em> their processing, <em>and</em> the decomposition pattern, <em>and</em> the construction program, through a set of morphisms which are acted out, by people, in real, physical space. The Nature of Order is a four-volume, 2165-page instruction manual.</p>
    <p>If you can do this with a geometry problem, you can do it with a topological one. In fact, Alexander's original thesis is ultimately a topology problem. The morphisms he defines embed semiotic structure into the definite geometry of a building. When applied, the building process yields meaningful structure. Abstract relations between social concerns <em>literally</em> become concrete. This implies that this technique should be <em>easier</em> to implement, when you don't even have to pour any.</p>
    <p>I don't yet know how well Alexander's <a href="http://www.livingneighborhoods.org/ht-0/fifteen.htm" rel="dct:references">fundamental geometric properties</a> translate directly to abstract topological structure, but they all have to do with contrast, symmetry, proportion, continuity, recursion, and self-similarity. Indeed, Alexander has demonstrated what Hutchins has called for. If philosophers, linguists, mathematicians, anthropologists and designers saw fit, we wouldn't have to wait another fifty years for a generalization of this process.</p>
    <section id="E3YsKUR_enwNhnhqF5VYaJ">
      <h2>Interlude: The Ethics of Formal Systems</h2>
      <p>The bridge crew of Hutchins's <span class="parenthesis" title="It wasn't the real Palau; the name was changed.">USS Palau</span> acted as a computational medium for <span class="parenthesis" title="until they had an emergency, then the crew sprang into action to improvise a solution. Contrast: USS Yorktown.">carrying out the formal system called <em>navigate the ship</em>.</span> If such a model works for the bridge crew, then it can be expanded out to all of society, barring any evidence that people interact in ways that do <em>not</em> process and exchange information. Before you balk: I'm not suggesting that we're all like computers&#x2014;if anything, it's the other way around. No, I'm trying to say something considerably more subtle.</p>
      <p>A formal system is a mathematical distillation of a process which operates within a certain envelope. This envelope is like the rules of a game: while the play itself may vary wildly, it never varies outside the rules. This gives formal systems the predictive capabilities Hutchins wrote about.</p>
      <p>Another word for formal system, therefore, is <em>game</em>. Yet another word is <em>policy</em>. For our purposes, these concepts are equivalent.</p>
      <p>A game with contradictions in its rules isn't fun, because it can't be trusted to be consistent. A game with <em>no</em> contradictions runs the risk of being <em>too</em> fun, such that we prefer it over reality. Games are preferable to reality&#x2014;at least if you're winning&#x2014;because the rules of the latter are not&#x2014;and never are&#x2014;fully understood.</p>
      <p>The problem with an inconsistent formal system is obvious: it's exactly equivalent to a program crashing on a computer&#x2014;it kicks you out to the surrounding context and leaves you to fend for yourself. The problem with a <em>consistent</em> formal system is something I'm tempted to call <dfn>drift</dfn>. It hums away until some cumulative effect <em>outside</em> the system's description causes the surrounding context <em>itself</em> to crash, like a computer program that gobbles up all its host's memory, or runs the machine so hot that it catches fire. This scenario leads the formal system's inventor to say something like <q>oh, it would have worked forever if reality hadn't gotten in the way</q>.</p>
      <p>Another word for this drift is <dfn>epiphenomena</dfn>: things that occur in the surrounding environment while a system is running. Yet another word is <dfn>externality</dfn>, like the classic example of a factory polluting its environment as it churns out widgets that its owner sells at a profit. We only notice or complain about externalities that harm us. We tend to be silent about the ones we benefit from, assuming we're even aware of them. See where I'm going with this?</p>
      <p>Some games are won by the party with the greatest physical strength and dexterity, others are won by the sharpest intellect. There is also a category of game where the advantage goes to the person who knows the rules best. Nobody knows the rules better than the person who wrote them.</p>
      <p>There is an idea prevalent in our culture that if we just find the <em>right</em> system, we can ride it out in perpetuity. We can <dfn>gamify</dfn> social interaction. This idea is manifested most prominently in the departments of psychology, sociology, law, political science, and economics. Moreover, there are now <a href="http://janemcgonigal.com/" rel="dct:references"><em>actual</em> game designers</a> who have <a href="https://www.amazon.com/dp/0143120611/?tag=doriantaylor-20">expressed an interest</a> in tinkering with public policy. I want to suggest that the very <em>idea</em> of trying to define an all-encompassing system, no matter how fair you try to make it, will <em>always</em> produce systems whose rules benefit the makers, and whose externalities they can at best benefit from, and at worst ignore.</p>
      <p>I agree with Hutchins that the mastery of formal systems is a very, very powerful idea. I also submit that part of that mastery is understanding that possibly the most important criterion for assessing the potential damage a formal system can cause is its <em>size</em>. That is: scale, scope, complexity. As designers of systems, we should aim for compact, narrow, and understandable, and we should blow them up periodically and reform them. The closer a person's rhetoric, pertaining to a system, approaches <em>everything</em> and <em>forever</em>, the less that person should be trusted.</p>
      <p>The problem with large systems is not that they're too complex, it's that they're too <em>simple</em>. Or rather, too <em>simplistic</em>. Their ability to be defined is the indication of their inadequacy. The simplicity and comprehensibility of a system is a natural handbrake on its domain of operation and range of applicability. If you can understand a system, it either describes states of affairs only in <em>extremely</em> general terms&#x2014;like physics&#x2014;or it simply doesn't describe a very large part of the world at all.</p>
      <aside role="note" id="EKGYbZS1qrjHkigvzRyXLL">
        <p>For the sociopolitical implications of technocracy and bad system design, see <a href="https://www.amazon.com/dp/1476718962/?tag=doriantaylor-20">Voltaire's Bastards</a> and <a href="https://www.amazon.com/dp/0143050133/?tag=doriantaylor-20" rel="dct:references">The Collapse of Globalism</a> by <a href="http://www.johnralstonsaul.com/eng/" rel="dct:references">John Ralston Saul</a>, <a href="https://www.amazon.com/dp/0300078153/?tag=doriantaylor-20">Seeing Like a State</a> by <a href="http://politicalscience.yale.edu/people/james-scott" rel="dct:references">James C. Scott</a>, and <a href="https://www.amazon.com/dp/081297381X/?tag=doriantaylor-20">The Black Swan</a> and <a href="https://www.amazon.com/dp/1400067820/?tag=doriantaylor-20">Antifragile</a> by <a href="http://fooledbyrandomness.com/" rel="dct:references">Nassim Taleb</a>.</p>
      </aside>
      <p>Rather than design master plans, we designers of systems should instead design <em>federations</em> of little systems linked together by extensible protocols and generic interfaces. This way we can create complex systems without having to explicitly define them. These protocols and interfaces <em>themselves</em> are systems which, in order to work, must constrain what can be said. This is why we still have to deliberately blow these systems up and reassemble them every once in a while. It's essential that we understand that.</p>
      <aside role="note" id="EH_3MtehOZBNb-qhVL3oaJ">
        <p>Consider the enormous ecosystems that have grown up around <abbr title="Musical Instrument Digital Interface">MIDI</abbr>, or the World-Wide Web. For all their benefits, they still have significant limitations. <a href="http://jaronlanier.com/" rel="dct:references">Jaron Lanier</a> rightly points out that in <abbr title="Musical Instrument Digital Interface">MIDI</abbr>, you can't make a sound that lives between the frames of the protocol, and if you ever doubted the <abbr title="World-Wide Web">Web</abbr> has flaws, just find <a href="https://www.youtube.com/watch?v=gWDPhEvKuRY" rel="dct:references">Ted Nelson</a>. It would be a grave mistake to say <q>system X is the <em>only</em> way forward</q>, no matter what you were talking about.</p>
      </aside>
      <p>The master plan is still an attractive model to people in power: Get the smartest eggheads together&#x2014;pay them whatever you need to&#x2014;and have them just <em>magic</em> up a comprehensive solution. <span class="parenthesis" title="unless they are economists, then you just keep letting them wreck stuff.">You can hang them if they fail.</span> It's arguably a byproduct of <em>being</em> in power that we come to believe that we can concoct a master plan that will work. People who are <em>not</em> in power, by and large, are still credulous about the notion that the way to solve problems <em>is</em> a master plan. I see it as our job, as designers of systems, to set this record straight. I'm fairly confident that the <em>least</em> frustrating way to get this message across will be by demonstration.</p>
      <hr/>
    </section>
    <p>Alexander has found a way to create buildings&#x2014;at a competitive cost&#x2014;<em>without</em> a master plan. Rather, he uses a <em>protocol</em> that sequentially applies discrete, structure-preserving transformations to a region of space, all the while taking continual input from the users, the surroundings, <em>and</em> the partially-computed product. The result is a building which is considerably better adapted to the real environment in which it needs to function.</p>
    <p><em>Why</em> the buildings are better adapted are because they shape and give definition to physical space without imposing upon it. The structure <em>affords</em> certain patterns of social interaction, rather than <em>prescribing</em> them. The people who use Alexander's buildings report an unprecedented sense of freedom and belonging. What's more, the process to create these buildings causes them to exhibit a conspicuous geometric pattern, which becomes a signal to people that the structure behaves this way.</p>
    <p>I submit, once again, that if you can get these results with buildings, you can get them with systems that <em>aren't</em> buildings. Alexander's original doctoral thesis was about the abstract meta-problem of solving design problems, irrespective of specialist domain. His solution, matured over half a century, is as elegant as it is profound. The work of people like Hutchins, Norman, Hofstadter, Simon, etc., not only corroborate just how sophisticated it is, but also indicate that the approach isn't limited to buildings. They provide the theoretical basis to show that the potentially alien-looking things we'll have to do to implement this generalized process are <em>deliberate</em>, and that we actually have some idea about what we're doing.</p>
    <p>This is important, because as Alexander wrote in his latest book, which carries the unassuming title, <a href="https://www.amazon.com/dp/0199898073/?tag=doriantaylor-20">The Battle for the Life and Beauty of the Earth</a>, there will be pitched opposition to these new methods, if for no other reason than they look unusual. Leave aside the fact that the incumbents will have a lot of retooling to do if these new methods catch on. To keep from being interfered with, we'd have to be able to show at every turn that the method is working, and the method should take no more time or money than the incumbent to execute. That part is going to be hard.</p>
    <aside role="note" id="EHFsjQNTlph5QOpiWXeE4J">
      <p><span class="parenthesis" title="I'm not going to tell you my first.">Possibly my second-favourite Machiavelli quote:</span> <q>And it ought to be remembered that there is nothing more difficult to take in hand, more perilous to conduct, or more uncertain in its success, than to take the lead in the introduction of a new order of things, because the innovator has for enemies all those who have done well under the old conditions, and lukewarm defenders in those who may do well under the new.</q></p>
    </aside>
    <p>Any structure or process we can simulate on a computer, whether physical or virtual, whether made of bits or bricks or people, either <em>is</em> a formal sytem, or corresponds to an <em>analogous</em> one. Mastering formal systems means recognizing them as first-class entities, and even implementing them in non-traditional media, i.e., <em>not</em> a conventional computer. Declare up front to every stakeholder that you're using whatever your equivalent of the building site is, <em>on purpose</em>, to compute the next step in the process. And if people understand what a <dfn>cognitive artifact</dfn><a href="#mockup">&#x2731;</a> is <em>for</em>, it doesn't look like a digression or waste of effort to make one.</p>
    <aside role="note" id="EuvZ-vO4BaX84mOXXAACdL">
      <p id="mockup">&#x2731;Alexander makes extensive use of full-scale cardboard mockups of various building features, and tweaks them on the building site to get them right. The time and money he spends making disposable models would look consummately insane to a conventional architect. What he spends on them, however, he more than recoups in fewer mistakes and a more valuable product. In case you're wondering what that looks like in the so-called <q>digital</q> sphere, it's all those precursor <abbr title="User Experience">UX</abbr> and related materials that we know we should do but still try to squeeze out of the process. These precursors have to <em>be</em> the process.</p>
    </aside>
    <p>This process, <a href="lowering-the-risk-of-web-development" title="Lowering the Risk of Web Development" rel="dct:references">as I've argued elsewhere</a>, is going to entail a new kind of service, by a new kind of professional, mediated by a new kind of contract&#x2014;likely several of each. The common thread in these services is, roughly, to transit business and institutional entities from a paradigm of mechanistic master planning, to one of stepwise, structure-preserving transformations. The vehicle is whatever proximate thing you actually do. To find willing participants, I suggest looking in places where the incumbent method hasn't worked out very well, and everybody knows it. If you've put up with these 3000 words so far, I'd wager the incumbent method isn't working so hot for you either.</p>
    <p>I embarked on this odyssey because I'm fed up with working in an ecosystem that selects for garbage. In the quaternary industrial sector, which is all about information and design, the risk of the process, and the agreements around it, still makes it safer and more lucrative to <em>look</em> like you solved a problem than <em>actually</em> solving it. In other words, the easiest way to win commercially as a designer is still to fail at design. I resolved that if I want to earn a living doing <em>good</em> design, I'm going to have to bootstrap what is ultimately a <em>social</em> system&#x2014;a <em>protocol</em>&#x2014;that rewards good design.</p>
    <p>You can scarcely compress the time it takes to do good design. The best you can do is arrange the process so that progress is conspicuous and the partially-completed result has its own intrinsic value. Alexander has figured this process out for buildings; we can use the work of these other gentlemen to figure out how far it extends.</p>
  </body>
</html>
