added a mini #Yoneda lemma tutorial, I know I don't really explain what it is but I think this is a good start to get familiar with this highly abstract theorem that (A -> B) is isomorphic to (B ->) ~> (A ->) reddit.com/r/haskell/comm…

I think this is an easier starting point than say Wikipedia on Yoneda lemma, as always the "why" takes decades to appreciate but this gives you a starting point of: map and id

"Martin-Lӧf's 'J' is just the Yoneda Lemma presented as an induction principle" 🤯 cs.bham.ac.uk/~mhe/yoneda/yo…

UIPとconsistentにするCubical Agdaのオプション (--cubical=no-glue)が入るらしい👀 github.com/agda/agda/pull…

reddit.com/r/haskell/comm…

effectfully Profunctors

On Free types reddit.com/r/programming/…

reddit.com/r/haskell/comm…

Ranking Applicative functors from worst to best. Links in thread. F [Text.Regex.Applicative].RE (just use a monad, life is already hard without regexes) E [Control.Applicative].Lift (adds a "no effect" to an effect, barely ever useful) D [Control.Applicative].Backwards

Starting sequence indexing from 0 is either leaking implementation details or cargo culting and anyone who took semantics seriously would advocate starting at 1.

Matti Palli 🧙‍♂️ Matti Palli 🧙‍♂️ take a look at archive.is/i5Ext

Matti Palli 🧙‍♂️ "the large, highly evolved sensory and motor portions of the brain seem to be the hidden powerhouse behind human thought. By virtue of the great efficiency of these billion-year-old structures, they may embody one million times the effective computational power of the"

Matti Palli 🧙‍♂️ "conscious part of our minds. While novice performance can be achieved using conscious thought alone, master-level expertise draws on the enormous hidden resources of these old and specialized areas."

class Monoidal { Cat, Unit, Mult } a where unit :: Cat Unit a mult :: Cat (Mult a a) a reddit.com/r/haskell/comm…

What an odd question, you can run emacs full screen on Mac?