ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

what's fun is the same tools that help you reason about your program should help a compiler reason about it too

May 3, 2025, 7:13 PM

Record data

{
  "uri": "at://did:plc:5lio62inqyuelodbcgptdiwj/app.bsky.feed.post/3loc2bchsm22h",
  "cid": "bafyreih5dqtzpdvoewgqsr3jxidntobowye4h7aedox32vlihnbmtdfezy",
  "value": {
    "text": "what's fun is the same tools that help you reason about your program should help a compiler reason about it too",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreidejbdn6nrlbh6kduwokic7h3yb6copz7sxlqacjogafc4ioxnj3a",
        "uri": "at://did:plc:g4kfvq6qttlpqiwfzmz2o73c/app.bsky.feed.post/3loahmate5s2a"
      },
      "parent": {
        "cid": "bafyreigu7ozeqiywl7cbfbiisodfnhxxgk6koyvvdsj7dyuvu5i2imywlq",
        "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3loaqmwhaes24"
      }
    },
    "createdAt": "2025-05-03T19:13:06.536Z"
  }
}