ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

e.g, think "enum-types" rather than coproducts, think "processors" rather than morphisms of cocategories, think "events" rather than "cosignals", etc. though admittedly it seems a bit harder to find a good one-word interpretation of comonads relevant to a programming context, it is worth doing

May 9, 2025, 4:41 PM

Record data

{
  "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeevei2u",
  "cid": "bafyreifxvvlj4ssip7taqhbbn2o3di56r7rulkv7noqdhbts4lfjs2ty4u",
  "value": {
    "text": "e.g, think \"enum-types\" rather than coproducts, think \"processors\" rather than morphisms of cocategories, think \"events\" rather than \"cosignals\", etc.\n\nthough admittedly it seems a bit harder to find a good one-word interpretation of comonads relevant to a programming context, it is worth doing",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreige5rov2466dgqdt3luytom5gm5v5mv5p6doej5p24gq5qmrn6ydy",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqume37s22u"
      },
      "parent": {
        "cid": "bafyreietlzzvpku2ls6vgqux6vohhseq7trs22b5sqmk2uyaua5my3kb4i",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeeveh2u"
      }
    },
    "createdAt": "2025-05-09T16:41:50.954Z"
  }
}