{
  "blyg": "0.3",
  "id": "4y10zx3wxvzjv6mansjfzkhpyn",
  "kind": "fragment",
  "origin": "https://www.msweet.net/notes/",
  "page": "143-rust-terns",
  "author": {
    "name": "Matthew McDowell-Sweet",
    "url": "https://www.msweet.net/"
  },
  "created": "2026-10-29T07:55:09Z",
  "updated": "2026-10-29T07:55:09Z",
  "version": 1,
  "content_md": "The [de Bruijn factor](https://www.cs.ru.nl/~freek/factor/) measures how much bigger a formal proof is than its informal original. A similar construct could measure the gulf between building large-scale software and assuring it. It could be effort-orientated (assurance hours / build hours) or clock-orientated (elapsed time to assure / elapsed time to build). The difference between those two is organisational friction. Or, like margin in the mind of Bezos, *opportunity*.",
  "content_html": "<p>The <a href=\"https://www.cs.ru.nl/~freek/factor/\">de Bruijn factor</a> measures how much bigger a formal proof is than its informal original. A similar construct could measure the gulf between building large-scale software and assuring it. It could be effort-orientated (assurance hours / build hours) or clock-orientated (elapsed time to assure / elapsed time to build). The difference between those two is organisational friction. Or, like margin in the mind of Bezos, <em>opportunity</em>.</p>",
  "content_hash": "sha256:48b1d26b598bc6624c93b588a282bcc84f2bbd69c593621e9d62770c46bd5121",
  "media": [],
  "changelog": [
    {
      "version": 1,
      "at": "2026-10-29T07:55:09Z",
      "note": null
    }
  ]
}