ATProto Browser

Record data

{
  "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lowmtht43c2g",
  "cid": "bafyreih7o22dsnk3fq56rqpiqjutreqwripx2cqqxmzqoimkux5xra52di",
  "value": {
    "text": "if it helps, its important to remember that when going from logic (posets) to type theory (categories) you basically always end up substituting equality with isomorphism. X|X /= X because its not supposed to, but the types are nevertheless isomorphic",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdo5xdebmb2kyghwxoolmlzrci4ax5xvvqzv5tkkhkmtoezoqpaa",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lm5bkt6shk2k"
      },
      "parent": {
        "cid": "bafyreihksbzbosm6ek3d3maqrxukeavvjx3c55evnqxakqxzeswx3zuyn4",
        "uri": "at://did:plc:ttoh6igb4cqokhj3i2i5cbj7/app.bsky.feed.post/3lowl2lihl22y"
      }
    },
    "createdAt": "2025-05-11T23:38:38.249Z"
  }
}