/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
| | bartoszmilewski.com
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
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
3.7 parsecs away

Travel
| |
| | www.neilmacy.co.uk
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.