ATProto Browser

Record data

{
  "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod7cmsgr222",
  "cid": "bafyreife6nmhfwnpougctmr2gfycg5mpuhvimuarwdojq5v7kkupfhgxrm",
  "value": {
    "text": "totality for Turing complete languages is, obviously, undecideable. languages with totality effects, such as F*, will necessarily reject valid programs, and thus technically aren't Turing complete within the context of the totality effect",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdgt4h6sk2526h3msy45y7vpqt5tc6i5brpp6xnk5u4ziaftcvbi",
        "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod6wdnnsc22"
      },
      "parent": {
        "cid": "bafyreidbvmx4anh73jiyepvi7xe2ii7gwmcexy2pipksmlr67gercss2ra",
        "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod763kzxk22"
      }
    },
    "createdAt": "2025-05-04T06:15:59.372Z"
  }
}