ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lj4f36kihk2p",
  "cid": "bafyreict3dhyzetz7kz3btjpsiipbmqmct7ypfwqyplenpz7m6mnkcxyze",
  "value": {
    "text": "We're excited to join Bluesky! The Lean FRO develops Lean, an interactive theorem prover and functional programming language advancing mathematics, formal verification, and AI. Follow us for updates on our roadmap and community. #leanlang #leanprover #mathematics #formalverification #ai",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "A logo for the Lean theorem prover",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreifb4vtm3o6rkr7nhfleaduu73fqh7bl5kbowsdnijmmjxtvah5dm4"
            },
            "mimeType": "image/jpeg",
            "size": 155379
          },
          "aspectRatio": {
            "width": 1080,
            "height": 606
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 238,
          "byteStart": 229
        },
        "features": [
          {
            "tag": "leanlang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 250,
          "byteStart": 239
        },
        "features": [
          {
            "tag": "leanprover",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 263,
          "byteStart": 251
        },
        "features": [
          {
            "tag": "mathematics",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 283,
          "byteStart": 264
        },
        "features": [
          {
            "tag": "formalverification",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 287,
          "byteStart": 284
        },
        "features": [
          {
            "tag": "ai",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-02-26T22:04:35.694Z"
  }
}