ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

specifically, as there is a single value for unit `1`, there is a single usage for null `_` `2 := 1+1` therefore has two unique values, whereas `2* := _×_`. note that × is *adding* together the usages, not multiplying them

May 11, 2025, 9:10 PM

Record data

{
  "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lowekybfek22",
  "cid": "bafyreieazo2hd3nssrz23ezkdmjqqazmtd6jusbdl4jastbp6ezsv2p5tm",
  "value": {
    "text": "specifically, as there is a single value for unit `1`, there is a single usage for null `_`\n\n`2 := 1+1` therefore has two unique values, whereas `2* := _×_`. note that × is *adding* together the usages, not multiplying them",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdo5xdebmb2kyghwxoolmlzrci4ax5xvvqzv5tkkhkmtoezoqpaa",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lm5bkt6shk2k"
      },
      "parent": {
        "cid": "bafyreia74wmrgoecn3v7lddurn4psyybmfss6deeikzqzbddwzdljwwi24",
        "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lowekybefc22"
      }
    },
    "createdAt": "2025-05-11T21:10:42.794Z"
  }
}