ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Yes! I thought of this example when I was playing around with variants of the simple one-player counterexamples of the OSD principle. But note that this example (though @yesthatsme.bsky.social gives a nice proof it also relies on discontinuity at infinity) doesn't hinge on failure of OSD principle.

Mar 13, 2025, 5:37 PM

Record data

{
  "uri": "at://did:plc:m2exq6q25qls56cvslfoqxzz/app.bsky.feed.post/3lkbn62mxek27",
  "cid": "bafyreicngsfs6wudxv3w6txfh2jduiart3xplyzswpvavrijnz2sizcqp4",
  "value": {
    "text": "Yes! I thought of this example when I was playing around with variants of the simple one-player counterexamples of the OSD principle. But note that this example (though @yesthatsme.bsky.social gives a nice proof it also relies on discontinuity at infinity) doesn't hinge on failure of OSD principle.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigcvfqix2aqft5li32tfzr3gme2neenirdeofiekopbcnixvog7su",
        "uri": "at://did:plc:m2exq6q25qls56cvslfoqxzz/app.bsky.feed.post/3lkbbspeb722i"
      },
      "parent": {
        "cid": "bafyreiaeyaewb5mg4kkch72xxzoj4h5vcmtp4leptw5eyztz74rlrujxeu",
        "uri": "at://did:plc:tacppoymf4enx46ntn2m6fa2/app.bsky.feed.post/3lkbiug46x223"
      }
    },
    "facets": [
      {
        "$type": "app.bsky.richtext.facet",
        "index": {
          "byteEnd": 192,
          "byteStart": 169
        },
        "features": [
          {
            "did": "did:plc:seyabi7nmi2kaa5e6bhqpw2g",
            "$type": "app.bsky.richtext.facet#mention"
          }
        ]
      }
    ],
    "createdAt": "2025-03-13T17:37:52.498Z"
  }
}