Hacker News
- Defunctionalization and Freyd’s Theorem https://bartoszmilewski.com/2020/08/03/defunctionalization-and-freyds-theorem/ 15 comments
- The Earth is Flat https://bartoszmilewski.com/2018/01/11/the-earth-is-flat/ 13 comments
- Using Monads in C++ to Solve Constraints: 3. The Tale of Two Monads http://bartoszmilewski.com/2015/05/18/using-monads-in-c-to-solve-constraints-3-the-tale-of-two-monads/ 5 comments
- Using Monads in C++ to Solve Constraints: 1. The List Monad http://bartoszmilewski.com/2015/05/11/using-monads-in-c-to-solve-constraints-1-the-list-monad/ 70 comments
Lobsters
- The Earth is Flat https://bartoszmilewski.com/2018/01/11/the-earth-is-flat/ 2 comments science
- Category Theory for Programmers https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 3 comments haskell , math
- What is Haskell Void? https://bartoszmilewski.com/2014/11/24/types-and-functions/ 31 comments haskell
- Functorio https://bartoszmilewski.com/2021/02/16/functorio/ 2 comments coding
- Categories for the Working C++ Programmer https://bartoszmilewski.com/2020/08/05/categories-for-the-working-c-programmer/ 4 comments cpp
- Math is your insurance policy | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2020/02/24/math-is-your-insurance-policy/ 15 comments haskell
- Math is your insurance policy https://bartoszmilewski.com/2020/02/24/math-is-your-insurance-policy/ 47 comments programming
- Fibrations, Cleavages, and Lenses | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/ 8 comments math
- The Cofree Traversable https://bartoszmilewski.com/2018/10/12/trading-funlists-at-a-bazaar-with-yoneda/ 4 comments haskell
- Category theory: 3 questions about natural transformations https://bartoszmilewski.com/2015/04/07/natural-transformations/ 4 comments haskell
- Stalking a Hylomorphism in the Wild https://bartoszmilewski.com/2017/12/29/stalking-a-hylomorphism-in-the-wild/ 9 comments haskell
- Category Theory for Programmers - The (now complete) blog series https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 34 comments programming
- "Category Theory for Programmers" has been finished! https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 41 comments haskell
- Monoids on Steroids https://bartoszmilewski.com/2017/02/09/monoids-on-steroids/ 25 comments programming
- Applicative Functors | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2017/02/06/applicative-functors/ 7 comments haskell
- Profunctor Polymorphism | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2016/08/16/profunctor-polymorphism/ 3 comments haskell
- Adjunctions | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2016/04/18/adjunctions/ 3 comments haskell
- The New JDI! Language http://bartoszmilewski.com/2016/04/01/the-new-jdi-language/ 4 comments haskell
- Operads, Type Level Nats, and Tic-Tac-Toe http://bartoszmilewski.com/2015/10/07/operads-type-level-nats-and-tic-tac-toe/ 7 comments haskell
- Representable Functors (From Bartosz Milewski's Categories for Programmer Series) http://bartoszmilewski.com/2015/07/29/representable-functors/ 8 comments haskell
- Category Theories for Programmer - Representable Functors http://bartoszmilewski.com/2015/07/29/representable-functors/ 6 comments programming
- Using Monads in C++ to Solve Constraints: 1. The List Monad http://bartoszmilewski.com/2015/05/11/using-monads-in-c-to-solve-constraints-1-the-list-monad/ 3 comments haskell
- Category Theory for Programmers: The Preface http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 3 comments programming
- Aluffi's Algebra. I'm a junior in high school. How stupid am I? http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 22 comments math
- Functoriality: Categories for Programmers by Bartosz Milewski (with C++ and Haskell examples) http://bartoszmilewski.com/2015/02/03/functoriality/ 4 comments programming
- Simple Algebraic Data Types. Categories for Programmers by Bartosz Milewski http://bartoszmilewski.com/2015/01/13/simple-algebraic-data-types/ 11 comments programming
- Types and Functions (From Bartosz Milewski's Category theory for Programmers) http://bartoszmilewski.com/2014/11/24/types-and-functions/ 19 comments haskell
- C++ Ranges are Pure Monadic Goodness http://bartoszmilewski.com/2014/10/17/c-ranges-are-pure-monadic-goodness/ 8 comments cpp
- C++17: I See a Monad in Your Future! (xpost /r/cpp) http://bartoszmilewski.com/2014/02/26/c17-i-see-a-monad-in-your-future/ 34 comments haskell
- C++17: I See a Monad in Your Future! http://bartoszmilewski.com/2014/02/26/c17-i-see-a-monad-in-your-future/ 42 comments cpp
- Functors are Containers http://bartoszmilewski.com/2014/01/14/functors-are-containers/ 40 comments haskell
- Understanding free monoids and universal constructions http://bartoszmilewski.com/2013/12/21/understanding-free-monoids-and-universal-constructions/ 7 comments haskell
- Functional Data Structures in C++: Trees http://bartoszmilewski.com/2013/11/25/functional-data-structures-in-c-trees/ 14 comments cpp
- Functional Data Structures in C++: Lists http://bartoszmilewski.com/2013/11/13/functional-data-structures-in-c-lists/ 6 comments cpp
- Functional Data Structures in C++: Persistent Lists http://bartoszmilewski.com/2013/11/13/functional-data-structures-in-c-lists/ 8 comments programming
- Edward C++Hands http://bartoszmilewski.com/2013/09/19/edward-chands/ 104 comments haskell