Experimental browser for the Atmosphere
there's actually a lot to explain in this nice, unassuming looking type — homomorphic object mapping, distributivity, union assignability
May 6, 2025, 4:47 AM
{ "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi3bpvmi22f", "cid": "bafyreihn4jdklfrhn746ghzgjgnfjdgxbokuxkblcayklcnbkmpyb3eipq", "value": { "text": "there's actually a lot to explain in this nice, unassuming looking type — homomorphic object mapping, distributivity, union assignability", "$type": "app.bsky.feed.post", "embed": { "$type": "app.bsky.embed.images", "images": [ { "alt": "type ArrayIncludesAll<T extends string, Arr extends any[]> = {\n [Member in T]: ArrayIncludes<Member, Arr>\n}[T] extends true\n ? true\n : false", "image": { "$type": "blob", "ref": { "$link": "bafkreigec7jjdjxigsdyqcp2sei2uph3su6xye3t3uqhas2zj4zds47g3u" }, "mimeType": "image/jpeg", "size": 121738 }, "aspectRatio": { "width": 1352, "height": 321 } } ] }, "langs": [ "en" ], "reply": { "root": { "cid": "bafyreicfbplw7zmvqri2wehblzyx3mdwbkpvix5dkvtjgwdeh7n4umwh5m", "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi36l3mzs2f" }, "parent": { "cid": "bafyreicfbplw7zmvqri2wehblzyx3mdwbkpvix5dkvtjgwdeh7n4umwh5m", "uri": "at://did:plc:uu5axsmbm2or2dngy4gwchec/app.bsky.feed.post/3loi36l3mzs2f" } }, "createdAt": "2025-05-06T04:47:12.792Z" } }