lmao why is youtube entirely in italics for me https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreicjlxf3kqnkfji3uha2a3gxdu6x4rg7o6qvhk7u3ckaixyzwt5psa
last week has been mostly about solving these cardinailty exercises. cardinality is a fancy word for "set size". it's more interesting than e.g. array.length in programming because a set can have an infinite size. and you can't just "read" it from a set, you have to show that it has a certain size https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigosoleww2mi4lmmt6y3uy3zfgfjuzjctu2cpbn7ujpnv75jjrldq
is "publications" a new feature on [@leaflet.pub](
Bluesky Social
Leaflet (@leaflet.pub)
πŸƒ delightful docs & social publishing πŸ“ try: leaflet.pub/home explore: leaflet.pub/discover lab notes: lab.leaflet.pub/ code: tangled.org/l...
 ) or has it been there for a while? i just noticed it for the first time
atproto fixes this RE:
Bluesky Social
Nancy Friedman (@fritinancy.bsky.social)
Fuuuuuuck. Thanks for the 19 years, Typepad.
does the 4 hour cloud atlas cut actually exist? i need to know [@lillywachowski.bsky.social](
Bluesky Social
Lilly Wachowski (@lillywachowski.bsky.social)
Trans Giantess.
 )
ok that’s sick RE:
Bluesky Social
Chad (@chadtmiller.com)
Excited to share some new stuff I've been I've been working on. It's an appview for building appviews called Slices. A slice reads your lexicons, i...
react is minecraft for ui lean is minecraft for proofs atproto is minecraft for social i guess i like a certain type of project
i love that i’m early enough in the learning journey that stuff like this still blows my mind. another example of how learning a more barebones abstraction first (in my case raw ZFC) makes you appreciate a more fleshed-out and constrained (but equally expressive) abstraction later RE:
Bluesky Social
dan (@danabra.mov)
in ZFC we manually β€œbuild up” the universe through singleton, pair, union, etc and then filter down that universe via specification or replacem...
βˆ… βˆͺ βˆ…
spending so much time proving things in Tao's Lean exercises using ZFC lowkey makes me hate ZFC. types are so much nicer