ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

First though, let's figure out how some primitive "gadgets" they use everywhere. Here's how they check whether two types are equal, by abusing the extends operator: type Equ<X, Y> = X extends Y ? (Y extends X ? True : False) : False; I.e.: "If X ⊆ Y and Y ⊆ X, then X = Y".

Apr 2, 2025, 8:50 PM

Record data

{
  "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb3t5u22c",
  "cid": "bafyreigthxghqjtio3zyzk4yujdpfvfw4rkwzvmqjnj7bcvzwx64taxaka",
  "value": {
    "text": "First though, let's figure out how some primitive \"gadgets\" they use everywhere.\n\nHere's how they check whether two types are equal, by abusing the extends operator:\n\ntype Equ<X, Y> = X extends Y ? (Y extends X ? True : False) : False;\n\nI.e.: \"If X ⊆ Y and Y ⊆ X, then X = Y\".",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigy4b4of3efqvborvu2zhpqv3kbw3qmgsrz5kpdzqhb6st76smg7y",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubazy47c2c"
      },
      "parent": {
        "cid": "bafyreiaseodhart34t3op3ngylrrfqis5zw7p6pbst2sfsw3kx3eq5zcni",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb3gogs2c"
      }
    },
    "createdAt": "2025-04-02T20:50:34.239Z"
  }
}