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

aesop is my favorite lean tactic so far. it just powers through stuff

kind of want to write an atproto blog post but kind of scared too. don’t want to misrepresent anything or make it seem official (i’m not working at bsky now and haven’t been for some time)

this sounds cool, i need to read about it RE:

Bluesky Social

Jon P (moved) (@jdp23-alt.bsky.social)

That is happening - the FASP / fedidiscovery servers Mastodon got a grant to develop are very analogous to ATProto relays. Elsehere in fedi, Activ...

i tried “going to the gym” and i stubbed my toe against metal lounger at the pool and now it’s partially purple. i guess gym visits will have to wait