Never Done

Two ordinary moments from a working week. A function ships clean, and months later fails on a case its type checker looked straight at and passed. A service that shipped clean a year ago, untouched since, will no longer run - nothing in it moved; everything under it did. The first says a rule can never cover every case it governs; the second, that an artefact can never be finis...