/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.jeremykun.com
The Universal Properties of Map, Fold, and Filter | Math Programming
| | bartoszmilewski.com
Free Monoidal Functors | Bartosz Milewski's Programming Cafe
1.9 parsecs away

Travel
| | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative...
| | cronokirby.com
Encoding the Naturals - Cronokirby
2.2 parsecs away

Travel
| | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/
| | eli.thegreenplace.net
Right and left folds, primitive recursion patterns in Python and Haskell - Eli Bendersky's website
3.7 parsecs away

Travel
| |
| | www.neilmacy.co.uk
Software Engineers Do So Much More Than Write Code | Neil Macy
14.2 parsecs away

Travel
| There are so many unseen parts to software development that don't feel productive and aren't as measurable as writing code, but are key to the job.