ATProto Browser

Record data

{
  "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3lli3e2pxws2q",
  "cid": "bafyreianxyxc4vcff6wkva2wzrhyngsyer3igcelwhuxuzshvlklfr6aiu",
  "value": {
    "text": "It'll probably actually look like Contextual Modal Type Theory [*], but CMTT's main type is just a generalization of implication that instead internalizes hypothesizing by a whole context, not just one type.\n\n[*] www.cs.cmu.edu/~fp/papers/t...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://www.cs.cmu.edu/~fp/papers/tocl07.pdf",
        "title": "",
        "description": ""
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreihlicidm3vqgt7bqt4wjr4zqpnrxgrl6nahhglp2ab5a24zegldjy",
        "uri": "at://did:plc:mss5l446ynjlw6e67y6u5fsq/app.bsky.feed.post/3llhsvvvn4c24"
      },
      "parent": {
        "cid": "bafyreifchmqgwc5d3juoiy5ctmkwuqozp2cf37pirjp3frnhnrzos2qrne",
        "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3lli3bqlzls2q"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 243,
          "byteStart": 213
        },
        "features": [
          {
            "uri": "https://www.cs.cmu.edu/~fp/papers/tocl07.pdf",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-03-29T00:32:56.367Z"
  }
}