//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileHeaderAlt
by @jakesimonds.com
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
ProfileWisp
by @cosmeffect.com
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts










Loading...
If you're hearing chatter about lenses and don't know where to start, I highly, highly recommend Bartosz Milewski's excellent book. bartoszmilewski.com/2014/10/28/c...
3h
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…
Category Theory for Programmers: The Preface
bartoszmilewski.com
Aaron Steven White
2d
🙏
Running #AtmosphereConf on atproto is 🔥 Knowing what other ppl are attending (atmo.rsvp), making it really easy to connect by sharing qr (youandme.at), etc Coming from academic conferences that use weird bespoke event tools, this is so refreshing and feels like the future. Hats off to y'all 🙏
6d
What if you could lens data of one lexicon, to any other? @blaine.bsky.social, @ngerakines.me, @pvh.ca & @aaronstevenwhite.io presenting a wild set of ideas at the ATmosphereConf unconf stream.place/stream1.atmo...
Aaron Steven White
3d
Ethan Graf
Ronen Tamari
Ted Han★ 韓聖安