ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

there's actually a lot to explain in this nice, unassuming looking type — homomorphic object mapping, distributivity, union assignability

May 6, 2025, 4:47 AM

Record data

{
  "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi3bpvmi22f",
  "cid": "bafyreihn4jdklfrhn746ghzgjgnfjdgxbokuxkblcayklcnbkmpyb3eipq",
  "value": {
    "text": "there's actually a lot to explain in this nice, unassuming looking type — homomorphic object mapping, distributivity, union assignability",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "type ArrayIncludesAll<T extends string, Arr extends any[]> = {\n  [Member in T]: ArrayIncludes<Member, Arr>\n}[T] extends true\n  ? true\n  : false",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreigec7jjdjxigsdyqcp2sei2uph3su6xye3t3uqhas2zj4zds47g3u"
            },
            "mimeType": "image/jpeg",
            "size": 121738
          },
          "aspectRatio": {
            "width": 1352,
            "height": 321
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicfbplw7zmvqri2wehblzyx3mdwbkpvix5dkvtjgwdeh7n4umwh5m",
        "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi36l3mzs2f"
      },
      "parent": {
        "cid": "bafyreicfbplw7zmvqri2wehblzyx3mdwbkpvix5dkvtjgwdeh7n4umwh5m",
        "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi36l3mzs2f"
      }
    },
    "createdAt": "2025-05-06T04:47:12.792Z"
  }
}