ATProto Browser

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lcmi344qas2v",
  "cid": "bafyreidrzp2n2xqdmt6oprpzuiwdyfwmvlge2yj2cq7ypb4ia2igwpatfi",
  "value": {
    "text": "See also leanprover.zulipchat.com#narrow/chann... for a discussion of potential projects that could be supported by this fund.",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/AI.20for.20Math.20fund",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreieh6aiuo3m4kmipfb2cakkemye35z5l6bcy5wpq64uilfunbkrcmm"
          },
          "mimeType": "image/jpeg",
          "size": 326272
        },
        "title": "",
        "description": "If this message does not go away, try reloading the page."
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicmoyt7ahqiun4o2tu46ckqz7jcogmcjat7utjgj46moe3otb6ljq",
        "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lcl2c3adwk2g"
      },
      "parent": {
        "cid": "bafyreicmoyt7ahqiun4o2tu46ckqz7jcogmcjat7utjgj46moe3otb6ljq",
        "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lcl2c3adwk2g"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 49,
          "byteStart": 9
        },
        "features": [
          {
            "uri": "https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/AI.20for.20Math.20fund",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2024-12-06T05:44:28.789Z"
  }
}