ATProto Browser

Record data

{
  "uri": "at://did:plc:qfrekkhphlonkdee4pgjba7s/app.bsky.feed.post/3lood327vzs25",
  "cid": "bafyreigmug2ujfa7fyt3c3ocaiifpi5klrj42uf5w32qlxbo2n55xp2lsm",
  "value": {
    "text": "I mean it is a proof it just relies on an axiom you can’t usually proof, making it possible to produce a program that violates that guarantee if it doesn’t uphold that axiom",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdfph7by6vd5n774phdf73emubqaombggao3j3ol635al4lf66oq",
        "uri": "at://did:plc:vt464ohreg6sglmnb4cuctmr/app.bsky.feed.post/3loljxple7k2x"
      },
      "parent": {
        "cid": "bafyreiau2as5vpaj4hlgw4bseuipjpm3vrue4gykl7ndoeneh7fsgeb454",
        "uri": "at://did:plc:vt464ohreg6sglmnb4cuctmr/app.bsky.feed.post/3loocw2wazs2g"
      }
    },
    "createdAt": "2025-05-08T16:22:37.100Z"
  }
}