ATProto Browser

Record data

{
  "uri": "at://did:plc:ch3qbqkbujcw2igoza3wthyw/app.bsky.feed.post/3lli6ah22k22d",
  "cid": "bafyreibv6xfvxx6f3o6wi6o3zd22nld37p5b4q6sd5evunthdcjvd775jm",
  "value": {
    "text": "somehow this reminds me of Wadler's Demon mathstodon.xyz/@rg9119/1126...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://mathstodon.xyz/@rg9119/112684100555101184",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreib5vl3leyo5sfagbix6frgchoicz3n5xb3hqbcllv3vv5ntdwpx2a"
          },
          "mimeType": "image/jpeg",
          "size": 104828
        },
        "title": "Ron Garcia (@rg9119@mathstodon.xyz)",
        "description": "Attached: 1 image\n\n@markusde @sliminality@types.pl Surely you must be referring to the best ever explanation of the law of excluded middle, right?"
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreih2huxv6u4w2rtoxarudytnrhe5eiyfboohdmcjzzsyab34wy6hza",
        "uri": "at://did:plc:2aebn3xk5t63net43eeepire/app.bsky.feed.post/3llhth5cul22d"
      },
      "parent": {
        "cid": "bafyreih2huxv6u4w2rtoxarudytnrhe5eiyfboohdmcjzzsyab34wy6hza",
        "uri": "at://did:plc:2aebn3xk5t63net43eeepire/app.bsky.feed.post/3llhth5cul22d"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 72,
          "byteStart": 42
        },
        "features": [
          {
            "uri": "https://mathstodon.xyz/@rg9119/112684100555101184",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-03-29T01:24:36.288Z"
  }
}