ATProto Browser

Record data

{
  "uri": "at://did:plc:zswvhubittxv6z7elg2gcay5/app.bsky.feed.post/3llm3nq7y6s2h",
  "cid": "bafyreietyzvtnjqdem7voyqp5ctkzqtswmvgnlzgufcuc7nfhhfnvw77fi",
  "value": {
    "text": "Computer scientists investigate the relationship between informal and formal mathematics. This area is very fertile, yet promising. The tutorial recording is in: machine-learning-for-theorem-proving.github.io #MathSky #TCSsky",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreib57rbwyf6y4ph624xamni3rwrfhgzcd3kol47s2hv4frfav77zvy"
            },
            "mimeType": "image/jpeg",
            "size": 506381
          },
          "aspectRatio": {
            "width": 1832,
            "height": 612
          }
        },
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreies534ok3xjtejzl2l3zupbh6skersa26hzi2gl4lvnn4tvdvhzaq"
            },
            "mimeType": "image/jpeg",
            "size": 584022
          },
          "aspectRatio": {
            "width": 1919,
            "height": 568
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 208,
          "byteStart": 162
        },
        "features": [
          {
            "uri": "https://machine-learning-for-theorem-proving.github.io/",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 217,
          "byteStart": 209
        },
        "features": [
          {
            "tag": "MathSky",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 225,
          "byteStart": 218
        },
        "features": [
          {
            "tag": "TCSsky",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-03-30T14:48:59.839Z"
  }
}