ATProto Browser

Record data

{
  "uri": "at://did:plc:qfrekkhphlonkdee4pgjba7s/app.bsky.feed.post/3looccxhm7s25",
  "cid": "bafyreienoyhlqn2kwgqptneog4lmrh3q2duqzckurcfynir2ycxgvefxbm",
  "value": {
    "text": "These proofs depend on the axiom that there is only one table the index is associated with in the lifespan of the program, which sadly can’t usually be proved by only examining only the defining module.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdfph7by6vd5n774phdf73emubqaombggao3j3ol635al4lf66oq",
        "uri": "at://did:plc:vt464ohreg6sglmnb4cuctmr/app.bsky.feed.post/3loljxple7k2x"
      },
      "parent": {
        "cid": "bafyreicdfph7by6vd5n774phdf73emubqaombggao3j3ol635al4lf66oq",
        "uri": "at://did:plc:vt464ohreg6sglmnb4cuctmr/app.bsky.feed.post/3loljxple7k2x"
      }
    },
    "createdAt": "2025-05-08T16:09:08.898Z"
  }
}