Experimental browser for the Atmosphere
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
{ "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" } }