//
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
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
Profile
Loading...
computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io
Aaron Steven White
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...
5h
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
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 🙏
Aaron Steven White