ATProto Browser

Record data

{
  "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb3gnhk2c",
  "cid": "bafyreif5pxt6hpl6iotaexsis6ez7dd2wvwuoumqxflaer6tiv5m3hxrqq",
  "value": {
    "text": "Aha: They're using the type system itself to do computation. The types constrain what values belong to them. By doing computations on types, we can do arbitrary computation!\n\nSo this challenge is (ab)using the type system's Turing-completeness to build a flag checker!",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigy4b4of3efqvborvu2zhpqv3kbw3qmgsrz5kpdzqhb6st76smg7y",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubazy47c2c"
      },
      "parent": {
        "cid": "bafyreiceookw5uypg675iz352rsc2w2ryhj6pl2vlkfl42ugwkiggilelu",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb35x5c2c"
      }
    },
    "createdAt": "2025-04-02T20:50:34.237Z"
  }
}