ATProto Browser

Record data

{
  "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb55yx32c",
  "cid": "bafyreib4o5nm2ll55us3gsdgdhc737c75srlzvvvqf273cu3o744jfw774",
  "value": {
    "text": "So this is basically building up bit-level computation. The types set up a circuit, and valid evaluations of the circuit type check.\n\nThe flag checker is implemented in this circuit, and we need to (1) reverse how logic is implemented in circuit form; then (2) reverse the logic.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigy4b4of3efqvborvu2zhpqv3kbw3qmgsrz5kpdzqhb6st76smg7y",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubazy47c2c"
      },
      "parent": {
        "cid": "bafyreiakybyydn2r5v5bpfequb2tam2pycu3hqmc765udzhdmshy7xp63m",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb4pi432c"
      }
    },
    "createdAt": "2025-04-02T20:50:34.246Z"
  }
}