ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lj6sqqbnek2p",
  "cid": "bafyreicc6kvd5k74vxtta5fvko56coplb7khc2qfjkyvpdubxojiusyh6i",
  "value": {
    "text": "Mathlib is a community-built library of mathematics in Lean with nearly 1.8MM lines of code and 190K mathematical theorems! Over 500 contributors have helped drive Mathlib forward at an incredible pace! Learn more at: leanprover-community.github.io/index.html \n\n#leanlang #leanprover #community",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreifb4vtm3o6rkr7nhfleaduu73fqh7bl5kbowsdnijmmjxtvah5dm4"
            },
            "mimeType": "image/jpeg",
            "size": 155379
          },
          "aspectRatio": {
            "width": 1080,
            "height": 606
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 259,
          "byteStart": 218
        },
        "features": [
          {
            "uri": "https://leanprover-community.github.io/index.html",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 271,
          "byteStart": 262
        },
        "features": [
          {
            "tag": "leanlang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 283,
          "byteStart": 272
        },
        "features": [
          {
            "tag": "leanprover",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 294,
          "byteStart": 284
        },
        "features": [
          {
            "tag": "community",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-02-27T21:14:37.041Z"
  }
}