ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

the second thing is to do with the fact that comonads dont necessarily have a precise interface like objects do. cofree comonads generated by record-type-constructors do (methods are given from record entries), but not every comonad is cofree, and therefore do not have an obvious interface

May 9, 2025, 4:41 PM

Record data

{
  "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeewdr2u",
  "cid": "bafyreia45fomnpkprrl4xttagcqgetezwyipd7neuwedim4sdkhvunq2ma",
  "value": {
    "text": "the second thing is to do with the fact that comonads dont necessarily have a precise interface like objects do. cofree comonads generated by record-type-constructors do (methods are given from record entries), but not every comonad is cofree, and therefore do not have an obvious interface",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreige5rov2466dgqdt3luytom5gm5v5mv5p6doej5p24gq5qmrn6ydy",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqume37s22u"
      },
      "parent": {
        "cid": "bafyreif5s54wrb4pdb44jpt4447bvva56tj776dwpx3xvkluyd6ripjwlm",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeevej2u"
      }
    },
    "createdAt": "2025-05-09T16:41:50.956Z"
  }
}