ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

totality is the property many people are actually looking for when they think of "no panics". it seems way stronger, but you can construct programs of moderate complexity where a "reasonable" definition of "does not panic" requires some form of totality checking.

May 4, 2025, 6:13 AM

Record data

{
  "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod763kzxk22",
  "cid": "bafyreidbvmx4anh73jiyepvi7xe2ii7gwmcexy2pipksmlr67gercss2ra",
  "value": {
    "text": "totality is the property many people are actually looking for when they think of \"no panics\". it seems way stronger, but you can construct programs of moderate complexity where a \"reasonable\" definition of \"does not panic\" requires some form of totality checking.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreicdgt4h6sk2526h3msy45y7vpqt5tc6i5brpp6xnk5u4ziaftcvbi",
        "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod6wdnnsc22"
      },
      "parent": {
        "cid": "bafyreicdgt4h6sk2526h3msy45y7vpqt5tc6i5brpp6xnk5u4ziaftcvbi",
        "uri": "at://did:plc:byida636ufvinajnvvipvgrm/app.bsky.feed.post/3lod6wdnnsc22"
      }
    },
    "createdAt": "2025-05-04T06:13:27.087Z"
  }
}