/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

 bartoszmilewski.com
The Yoneda Lemma | Bartosz Milewski's Programming Cafe
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
3.3 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | jao.io
programmers go bananas
3.7 parsecs away

Travel
| |
| | blog.hde.design
Universal Properties
3.9 parsecs away

Travel
| |
| | learnyouahaskell.com
A Fistful of Monads - Learn You a Haskell for Great Good!
22.0 parsecs away

Travel
| [AI summary] The user provided a detailed explanation of monads in Haskell, covering the Maybe, List, and IO monads, along with their laws (left identity, right identity, and associativity). The explanation included examples and analogies to clarify the concepts. The user also included a humorous and chaotic text at the end, possibly unrelated to the main content.