ATProto Browser

Record data

{
  "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb4pi432c",
  "cid": "bafyreiakybyydn2r5v5bpfequb2tam2pycu3hqmc765udzhdmshy7xp63m",
  "value": {
    "text": "Remember everything is actually a type: our functions are conditional types. Our parameters are actually type parameters. Our numbers are actually just types representing arrays of binary digits.\n\nTo make this concrete, let me give an example.\n\nCorrect computations typecheck!",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreicqog6hcubp7sizgfab2yix7iu6jx5fdogtcb4geusuzd6qtygp3i"
            },
            "mimeType": "image/jpeg",
            "size": 234314
          },
          "aspectRatio": {
            "width": 1046,
            "height": 924
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigy4b4of3efqvborvu2zhpqv3kbw3qmgsrz5kpdzqhb6st76smg7y",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubazy47c2c"
      },
      "parent": {
        "cid": "bafyreieg2wt436tclws5q3tralvr5pxgzh7gcxozbd3axbhmn4hiu24e6e",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb4ph4t2c"
      }
    },
    "createdAt": "2025-04-02T20:50:34.245Z"
  }
}