Experimental browser for the Atmosphere
Loading post...
{ "uri": "at://did:plc:ficd3wp64dtpwncefyc3pnls/app.bsky.feed.like/3lomdirejqw2k", "cid": "bafyreicas2gnwy3g3l7vbwhdvkulxynwb6rs4t6q3eo7rwtjugzz7f4pji", "value": { "$type": "app.bsky.feed.like", "subject": { "cid": "bafyreidyg5yjymhpv4l2o22t5he2vqfscdcebnktsuxhq3gc5h24excc2i", "uri": "at://did:plc:l5bidki4vjqzr3twlk5mp3zh/app.bsky.feed.post/3lomd2hngdk23" }, "createdAt": "2025-05-07T21:24:57.682Z" } }
Though as you point out, what’s really lacking there is any connection to the logical dimension of proof/refutation. There’s a sort of simulation of modelling and reasoning, but not really assertion and inference.
May 7, 2025, 9:16 PM