Experimental browser for the Atmosphere
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
{ "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" } }