Hacker News
- Dynamic programming in Haskell: automatic memoization https://byorgey.wordpress.com/2023/06/06/dynamic-programming-in-haskell-automatic-memoization/ 40 comments
- Competitive programming in Haskell: better binary search https://byorgey.wordpress.com/2023/01/01/competitive-programming-in-haskell-better-binary-search/ 17 comments
- Types versus sets in math and programming languages https://byorgey.wordpress.com/2021/06/24/types-versus-sets-in-math-and-programming-languages/ 59 comments
- Conversations with a six-year-old on functional programming (2018) https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/ 155 comments
Lobsters
- Conversations with a six-year-old on functional programming (2018) https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/ 2 comments compsci , education , philosophy
- Worstsort https://byorgey.wordpress.com/2019/02/16/worstsort/ 7 comments compsci
- A new programming game, Swarm by Brent Yorgey https://byorgey.wordpress.com/2021/09/23/swarm-preview-and-call-for-collaboration/ 24 comments haskell
- Types versus sets in math and programming languages https://byorgey.wordpress.com/2021/06/24/types-versus-sets-in-math-and-programming-languages/ 16 comments programming
- What would Dijkstra do? Proving the associativity of min https://byorgey.wordpress.com/2020/02/23/what-would-dijkstra-do-proving-the-associativity-of-min/ 9 comments math
- What would Dijkstra do? Proving the associativity of min https://byorgey.wordpress.com/2020/02/23/what-would-dijkstra-do-proving-the-associativity-of-min/ 21 comments haskell
- Worstsort https://byorgey.wordpress.com/2019/02/16/worstsort/ 12 comments haskell
- Worstsort https://byorgey.wordpress.com/2019/02/16/worstsort/ 48 comments programming
- New ICFP functional pearl on subtracting bijections https://byorgey.wordpress.com/2018/06/23/new-icfp-functional-pearl-on-subtracting-bijections/ 12 comments haskell
- Ertugrul Söylemez: 1985-2018 https://byorgey.wordpress.com/2018/05/21/ertugrul-soylemez-1985-2018/ 5 comments haskell
- Conversations with a six-year-old on functional programming https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/ 72 comments math
- Conversations with a six-year-old on functional programming https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/ 8 comments coding
- Brent Yorgey: My new programming course https://byorgey.wordpress.com/2017/01/13/my-new-programming-languages-course/ 6 comments haskell
- Pan-Galactic Division in Haskell https://byorgey.wordpress.com/2015/05/12/pan-galactic-division-in-haskell/ 11 comments haskell
- Avoiding the axiom of choice, part I http://byorgey.wordpress.com/2014/05/08/avoiding-the-axiom-of-choice-part-i/ 3 comments compsci
- Introducing diagrams-haddock http://byorgey.wordpress.com/2013/03/23/introducing-diagrams-haddock/ 13 comments haskell
- foldr is made of monoids http://byorgey.wordpress.com/2012/11/05/foldr-is-made-of-monoids/ 12 comments haskell
- Identifying outdated packages in cabal install plans http://byorgey.wordpress.com/2012/08/25/identifying-outdated-packages-in-cabal-install-plans/ 5 comments haskell
- Unordered tuples and type algebra http://byorgey.wordpress.com/2012/08/24/unordered-tuples-and-type-algebra/ 3 comments haskell
- BlogLiterately 0.4 — Brent Yorgey's tool for authoring and uploading blog posts (especially Haskelly ones) http://byorgey.wordpress.com/2012/07/02/blogliterately-0-4-release/ 11 comments haskell
- Parsing context-sensitive languages with Applicative http://byorgey.wordpress.com/2012/01/05/parsing-context-sensitive-languages-with-applicative/ 11 comments haskell
- Typeclassopedia moved to the Haskell wiki http://byorgey.wordpress.com/2011/11/26/typeclassopedia-v2-moving-my-efforts-to-the-haskell-wiki/ 8 comments haskell
- GHC feature request: warn about unused constraints -- "I think this could make for a nice project for someone wanting to dig into hacking on GHC" https://byorgey.wordpress.com/2011/11/05/wanted-ghc-feature-warn-about-unused-constraints/ 16 comments haskell
- unbound: A generic library for binding to names http://byorgey.wordpress.com/2011/03/28/binders-unbound/ 8 comments haskell
- The Haskell Alphabet http://byorgey.wordpress.com/2010/09/18/the-haskell-alphabet/ 22 comments programming
- Typed type-level programming in Haskell, part III http://byorgey.wordpress.com/2010/07/19/typed-type-level-programming-in-haskell-part-iii-i-can-haz-typs-plz/ 7 comments haskell
- Typed type-level programming in Haskell, part II http://byorgey.wordpress.com/2010/07/06/typed-type-level-programming-in-haskell-part-ii-type-families/ 9 comments haskell
- Typed type-level programming in Haskell, part I: functional dependencies http://byorgey.wordpress.com/2010/06/29/typed-type-level-programming-in-haskell-part-i-functional-dependencies/ 32 comments haskell
- cabal init -- you need to know about this http://byorgey.wordpress.com/2010/04/15/cabal-init/ 8 comments haskell
- Programming with Combinatorial Species http://byorgey.wordpress.com/2009/07/24/introducing-math-combinatorics-species/ 18 comments programming
- The Typeclassopedia http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ 5 comments haskell
- Haskell: the typeclassopedia http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ 12 comments programming
- A chicken monad http://byorgey.wordpress.com/2009/02/06/a-chicken-monad/ 3 comments haskell
- diagrams: simple, declarative 2D graphics in Haskell http://byorgey.wordpress.com/2009/01/31/diagrams-02-release/ 3 comments programming
- diagrams: a purely functional EDSL for graphics using Cairo in Haskell http://byorgey.wordpress.com/2008/04/30/new-haskell-diagrams-library/ 7 comments programming
- Gobby, Haskell, and patch theory http://byorgey.wordpress.com/2008/02/04/gobby-haskell-and-patch-theory/ 2 comments programming