ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbr2m7uic24",
  "cid": "bafyreieox2wsfclqaqpk7etubchazi2c7nlllngv3vm6ul2g2t4towha5i",
  "value": {
    "text": "➡️ There is lots more info on 4.17 in the recent release notes: github.com/leanprover/l...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://github.com/leanprover/lean4/releases/tag/v4.17.0",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreih735ymczmp5hbpx74s7yuaogoygdy56m6ktndny2azmppqynfwie"
          },
          "mimeType": "image/jpeg",
          "size": 228357
        },
        "title": "Release v4.17.0 · leanprover/lean4",
        "description": "v4.17.0\nFor this release, 319 changes landed. In addition to the 168 feature additions and 57 fixes listed below there were 12 refactoring changes, 13 documentation improvements and 56 chores.\nHigh..."
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreidw43i2hmxbnjsvr6qzis4enpy7w5x5hv2eusaxfn2x76affqx7ae",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbqxptkwc24"
      },
      "parent": {
        "cid": "bafyreidw43i2hmxbnjsvr6qzis4enpy7w5x5hv2eusaxfn2x76affqx7ae",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbqxptkwc24"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 94,
          "byteStart": 68
        },
        "features": [
          {
            "uri": "https://github.com/leanprover/lean4/releases/tag/v4.17.0",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-03-13T18:47:31.694Z"
  }
}