ATProto Browser

Record data

{
  "uri": "at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3lc6rrcrbb22l",
  "cid": "bafyreid4y5s4lkyylhaci2v3wqkfaztconmfbbgkcjb5yn7myrtcztndsm",
  "value": {
    "text": "\"second, we type these one-hole contexts with a category of type diffs and explore the metatheory\nof the system that arises for maintaining well-typedness systematically\"\narxiv.org/pdf/2411.16571",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://arxiv.org/pdf/2411.16571",
        "title": "",
        "description": ""
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiakjbvv432ii3fmvd645mpiwsoz4kdsfiaxeevlyqdhhchwxidcha",
        "uri": "at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3lc6rrcr2gc2l"
      },
      "parent": {
        "cid": "bafyreiakjbvv432ii3fmvd645mpiwsoz4kdsfiaxeevlyqdhhchwxidcha",
        "uri": "at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3lc6rrcr2gc2l"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 195,
          "byteStart": 171
        },
        "features": [
          {
            "uri": "https://arxiv.org/pdf/2411.16571",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2024-11-30T19:00:41.286Z"
  }
}