ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lmkn6ewpb222",
  "cid": "bafyreihhafjxhbz3sni3wygzx5qdekmjwblz2fuoei66rfkrswguwbgmry",
  "value": {
    "text": "Very exiting to hear how important #LeanLang is to AlphaProof's success in this latest Google Deepmind podcast, featuring Hannah Fry and David Silver in discussion about AI and reinforcement learning.\n\n▶️ Check out the AlphaProof chapter to learn more www.youtube.com/watch?v=zzXy...\n\n#LeanProver #AI",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://www.youtube.com/watch?v=zzXyPGEtseI&t=1470s",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreiavsfpmfwpyswc2cn7lgd72itv3vk25pvvd6kx2vu7mdlx7omznui"
          },
          "mimeType": "image/jpeg",
          "size": 975827
        },
        "title": "Is Human Data Enough? With David Silver",
        "description": "YouTube video by Google DeepMind"
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 44,
          "byteStart": 35
        },
        "features": [
          {
            "tag": "LeanLang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 287,
          "byteStart": 256
        },
        "features": [
          {
            "uri": "https://www.youtube.com/watch?v=zzXyPGEtseI&t=1470s",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 300,
          "byteStart": 289
        },
        "features": [
          {
            "tag": "LeanProver",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 304,
          "byteStart": 301
        },
        "features": [
          {
            "tag": "AI",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-04-11T18:22:24.203Z"
  }
}