{"product_id":"never-done-the-double-non-closure-of-software-work","title":"Never Done : The Double Non-Closure of Software Work","description":"Two ordinary moments from a working week. A function ships clean,\u003cbr\u003e and months later fails on a case its type checker looked straight\u003cbr\u003e at and passed. A service that shipped clean a year ago, untouched\u003cbr\u003e since, will no longer run - nothing in it moved; everything under\u003cbr\u003e it did. The first says a rule can never cover every case it governs;\u003cbr\u003e the second, that an artefact can never be finished, only kept in\u003cbr\u003e being.\u003cbr\u003e \u003cbr\u003e This is a book about those two refusals and its single claim of\u003cbr\u003e them: neither ever closes. One opening is logical, a limit no\u003cbr\u003e procedure escapes, sharpened here into a theorem; the other is\u003cbr\u003e temporal, the upkeep of software having the form of labor - \u003cbr\u003e consumed in the doing, setting nothing down for good. Held apart as\u003cbr\u003e two lenses, they are shown to touch at one place a programmer can\u003cbr\u003e point to: the commit in which a custom kept by hand hardens into a\u003cbr\u003e rule a machine enforces. And the enclosure settles nothing: it moves\u003cbr\u003e the unruled margin rather than removing it, opening a fresh frontier at\u003cbr\u003e the new rule's edge. From that join follows an account of what a\u003cbr\u003e maker does where nothing comes to rest - not finishing, which no\u003cbr\u003e one can do, but staffing the unfinishable in the open. The fifth\u003cbr\u003e volume in the Code Crafting series, written to be read alone.","brand":"BoD","offers":[{"title":"Default Title","offer_id":58234534297935,"sku":"9789181342345","price":12.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0061\/0372\/8217\/files\/9789181342345_1-never-done-the-double-non-closure-of-software-work.jpg?v=1784095999","url":"https:\/\/www.suomalainen.com\/products\/never-done-the-double-non-closure-of-software-work","provider":"Suomalainen.com","version":"1.0","type":"link"}