ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3ljl6crla6c2f",
  "cid": "bafyreigancnkdf2yb5xywtekjv2x2lhjleqjf7vqzt6bxcepl2bzoxhttm",
  "value": {
    "text": "📣 #LeanLan version 4.17 has been released! This release includes 168 feature additions and 57 fixes to the core language!\n\n➡️ 𝗥𝗲𝗮𝗱 𝘁𝗵𝗲 𝗳𝘂𝗹𝗹 𝗿𝗲𝗹𝗲𝗮𝘀𝗲 𝗻𝗼𝘁𝗲𝘀 𝗵𝗲𝗿𝗲: 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": "bafkreigqufdjgjoy3wj5hyezytvzewx5iharfby2jvcxu3np75oaa6snwe"
          },
          "mimeType": "image/jpeg",
          "size": 228297
        },
        "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"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 13,
          "byteStart": 5
        },
        "features": [
          {
            "tag": "LeanLan",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 274,
          "byteStart": 248
        },
        "features": [
          {
            "uri": "https://github.com/leanprover/lean4/releases/tag/v4.17.0",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-03-04T19:13:30.406Z"
  }
}