ATProto Browser

Experimental browser for the Atmosphere

Post

consider: for every feed X containing poasts P1, ..., Pn, there is a single injective function f from X to ℕ such that each f(Pn) is a distinct member of ℕ. Dan posits that there is a set F of all f where f: X ↣ ℕ such that every f is valid for ordering X.

Apr 12, 2025, 4:49 PM

Loading post...

Record data

{
  "uri": "at://did:plc:bvdrfwiamgi5leqs63q2duro/app.bsky.feed.like/3lmosoelzup2u",
  "cid": "bafyreigk64hbdqae3y2aemwoyqdq2xs2x5der5ddtkvrbuxgbnumtp76xi",
  "value": {
    "$type": "app.bsky.feed.like",
    "subject": {
      "cid": "bafyreiaclwywkbxn7hfunog2bbzui366rkxdrzgbxiamqphjevkll4dvmq",
      "uri": "at://did:plc:cvzdmr3ssm2qvcx4xe5zwt74/app.bsky.feed.post/3lmmyhbebhc2s"
    },
    "createdAt": "2025-04-13T10:11:28.013Z"
  }
}