{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif42yc4g4gd2xzo3pbgzpb62jzffjimzvriw2vjm76smnkxplcgl4",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mn557o5jt2h2"
  },
  "path": "/t/how-trustworthy-and-robust-is-ghc/14175#post_6",
  "publishedAt": "2026-05-31T07:37:21.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Is “very” a trustworthy and robust answer?\n\nI suppose that trustworthiness and robustness of software are currently very vague. Common proxies are:\n\n  * Number of automated tests.\n  * Amount of human scrutiny received (correlates with size of community, anticorrelates with size and complexity of the code).\n  * Severity of bugs that have been discovered (correlates with number of automated tests, anticorrelates with human scrutiny).\n\n\n\nOne issue with individual bugs is that testing can only show the presence of bugs, never their absence. Discovering severe bugs may be due to increased testing, not due to poorer code.",
  "title": "How trustworthy and robust is GHC?"
}