ATProto Browser

Record data

{
  "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lovxvdzmss2n",
  "cid": "bafyreif2stjediol7zszri7k5a7sr2qdikvclsecyk2rukkvsgj33iuiiu",
  "value": {
    "text": "kind of the opposite, in a sense. there is a way to *map* types into a space where enums and tuples map to addition and multiplication (by counting terms), but theres another map (counting *coterms*, aka usages) which does the complete opposite, mapping tuples to addition and enums to multiplication",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdo5xdebmb2kyghwxoolmlzrci4ax5xvvqzv5tkkhkmtoezoqpaa",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lm5bkt6shk2k"
      },
      "parent": {
        "cid": "bafyreibm5hhrt7cw4w3jqxx2257fdyvq4i7tgk3ln76s4lsh6fwws2aeim",
        "uri": "at://did:plc:ttoh6igb4cqokhj3i2i5cbj7/app.bsky.feed.post/3lo5kor3z2s25"
      }
    },
    "createdAt": "2025-05-11T17:23:52.800Z"
  }
}