{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreid6nnmr2qjbzbmk3ihvad2kq6iivsf34hz7yjy5impijuqhnymkc4",
    "uri": "at://did:plc:4n6wgsqsqm6q2hjncgwmreey/app.bsky.feed.post/3mniuihvdoey2"
  },
  "path": "/post/51489000",
  "publishedAt": "2026-06-04T19:36:18.000Z",
  "site": "https://programming.dev",
  "tags": [
    "Programming",
    "HaraldvonBlauzahn",
    "1 comments",
    "https://6826.csail.mit.edu/2020/papers/noproof.pdf"
  ],
  "textContent": "submitted by HaraldvonBlauzahn to programming\n10 points | 1 comments\nhttps://6826.csail.mit.edu/2020/papers/noproof.pdf",
  "title": "How did Software get so reliable without Proof? (Tony Hoare) [PDF]"
}