ATProto Browser

Record data

{
  "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3loc2jwqb522v",
  "cid": "bafyreibdluc6s3hh7se2edztp4jdd53yqo4cu27yzqvgjuohk223xaba5e",
  "value": {
    "text": "the compiler already does these analyses. proving functions nounwind already happens in llvm. the only thing this gets you is enforcement in the frontend, which can actually lead to API fragility",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreidejbdn6nrlbh6kduwokic7h3yb6copz7sxlqacjogafc4ioxnj3a",
        "uri": "at://did:plc:g4kfvq6qttlpqiwfzmz2o73c/app.bsky.feed.post/3loahmate5s2a"
      },
      "parent": {
        "cid": "bafyreih5dqtzpdvoewgqsr3jxidntobowye4h7aedox32vlihnbmtdfezy",
        "uri": "at://did:plc:5lio62inqyuelodbcgptdiwj/app.bsky.feed.post/3loc2bchsm22h"
      }
    },
    "createdAt": "2025-05-03T19:17:56.189Z"
  }
}