Experimental browser for the Atmosphere
Loading post...
{ "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.like/3lovx2vvtid2i", "cid": "bafyreid3i7vwceukj2hd5fabobu74b4jcvhkyukxyqzbtk53itjgacdjda", "value": { "$type": "app.bsky.feed.like", "subject": { "cid": "bafyreifc527zuaw7hy75vbfu6qkiawje453pxzj5q6oksxhia5blra62he", "uri": "at://did:plc:q3pn72fllospsq2tsoz7ayif/app.bsky.feed.post/3lor7eucv3c2c" }, "createdAt": "2025-05-11T17:09:05.484Z" } }
just in case you haven't seen it, there's also a treatment of OO in terms of F-coalgebras I think that addresses some of your points (for example, F represents the signature of the object in a very natural way) I haven't thought about this in ages; details hazy! scispace.com/pdf/objects-...
May 9, 2025, 7:54 PM