ATProto Browser

Record data

{
  "uri": "at://did:plc:cvzdmr3ssm2qvcx4xe5zwt74/app.bsky.feed.post/3lmmyhbebhc2s",
  "cid": "bafyreiaclwywkbxn7hfunog2bbzui366rkxdrzgbxiamqphjevkll4dvmq",
  "value": {
    "text": "consider: for every feed X containing poasts P1, ..., Pn, there is a single injective function f from X to ℕ such that each f(Pn) is a distinct member of ℕ. Dan posits that there is a set F of all f where f: X ↣ ℕ such that every f is valid for ordering X.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigwbwau2zprxa2dwkiwwibb3uakc3wzulj6foq6itizv6kjh2ufhi",
        "uri": "at://did:plc:7mnpet2pvof2llhpcwattscf/app.bsky.feed.post/3lmmxf4b5gc2v"
      },
      "parent": {
        "cid": "bafyreiag3jphtjd6bt5ahc3p5mgzqgnjab5lntv3svmcqptqgig3fn6iii",
        "uri": "at://did:plc:vc7f4oafdgxsihk4cry2xpze/app.bsky.feed.post/3lmmxsqcyuc2w"
      }
    },
    "createdAt": "2025-04-12T16:49:33.081Z"
  }
}