Experimental browser for the Atmosphere
{ "uri": "at://did:plc:qfrekkhphlonkdee4pgjba7s/app.bsky.graph.follow/3lfs7quyhrv2a", "cid": "bafyreibnrarv7gg6y4o2hagdarpiya4dpetshnajpjxck4xtunl7uhzyq4", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:gkma332r7tyicxb7l6ntdox4", "createdAt": "2025-01-15T16:47:08.972Z" } }
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/