ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lj6b6mtyek22",
  "cid": "bafyreid66mmpl3wzpmwi4gdqbyaljprp25fp76tsuqt4xwbnap5dsgl2eq",
  "value": {
    "text": "Our vision spans formal mathematics, software and hardware verification, software development, AI research, and education. We're fostering a decentralized ecosystem thriving on collaboration within our global community at leanprover.zulipchat.com\n\n#leanlang #leanprover #mathematics",
    "$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": 246,
          "byteStart": 222
        },
        "features": [
          {
            "uri": "https://leanprover.zulipchat.com",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 257,
          "byteStart": 248
        },
        "features": [
          {
            "tag": "leanlang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 269,
          "byteStart": 258
        },
        "features": [
          {
            "tag": "leanprover",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 282,
          "byteStart": 270
        },
        "features": [
          {
            "tag": "mathematics",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-02-27T16:00:15.856Z"
  }
}