ATProto Browser

Record data

{
  "uri": "at://did:plc:ficd3wp64dtpwncefyc3pnls/app.bsky.feed.post/3lomdveajcs2c",
  "cid": "bafyreideeh47ohqcut7xboelfx4viag4jikmofmhgxck2v6ft6bc3bpzeq",
  "value": {
    "text": "There is a way for LLMs to approach logical assertion and proof: literally generating Agda/Lean/Haskell code.\n\nCan't tell if this is a cargo cult approach though. :P",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiet7nsoollh5tpofxlxgpkimtkmt2tbgaibjjvdteyn2rnskyvgoq",
        "uri": "at://did:plc:l5bidki4vjqzr3twlk5mp3zh/app.bsky.feed.post/3lolmqqrmf22q"
      },
      "parent": {
        "cid": "bafyreiajwjcvd2mj3vc6tnxanoczybbr36lkno54ahrbbcxyjjj57wd57i",
        "uri": "at://did:plc:ficd3wp64dtpwncefyc3pnls/app.bsky.feed.post/3lomdqllb6s2c"
      }
    },
    "createdAt": "2025-05-07T21:32:00.543Z"
  }
}