Hacker News
- Hyperfunctions https://doisinkidney.com/posts/2021-03-14-hyperfunctions.html 7 comments
- Fun with Combinators https://doisinkidney.com/posts/2020-10-17-ski.html 16 comments
- Concatenative Programming; the Free Monoid of Programming Languages (2019) https://doisinkidney.com/posts/2019-05-11-concatenative-free.html 8 comments
- What Is Good About Haskell? https://doisinkidney.com/posts/2019-10-02-what-is-good-about-haskell.html 421 comments
- Solving Programming Puzzles Without Using Your Brain https://doisinkidney.com/posts/2019-06-04-solving-puzzles-without-your-brain.html 17 comments
- Hyperfunctions https://doisinkidney.com/posts/2021-03-14-hyperfunctions.html 24 comments haskell
- Presentation on Purely Functional Data Structures - Donnacha Oisín Kidney https://doisinkidney.com/posts/2020-05-19-purely-functional-data-structures-slides.html 14 comments haskell
- Lazy Constructive Numbers and the Stern-Brocot Tree https://doisinkidney.com/posts/2019-12-14-stern-brocot.html 8 comments haskell
- What is Good About Haskell? https://doisinkidney.com/posts/2019-10-02-what-is-good-about-haskell.html 25 comments programming
- What is Good About Haskell? https://doisinkidney.com/posts/2019-10-02-what-is-good-about-haskell.html 36 comments haskell
- Solving Programming Puzzles without using your Brain https://doisinkidney.com/posts/2019-06-04-solving-puzzles-without-your-brain.html 13 comments programming
- Permutations By Sorting (the code is in Haskell, but the idea doesn't depend on language) https://doisinkidney.com/posts/2019-03-24-permutations-by-sorting.html 4 comments programming
- Permutations By Sorting https://doisinkidney.com/posts/2019-03-24-permutations-by-sorting.html 5 comments haskell
- A Binomial Urn https://doisinkidney.com/posts/2019-01-15-binomial-urn.html 6 comments haskell
- Verified AVL Trees in Haskell and Agda (side-by-side comparison of Haskell and Agda implementations) https://doisinkidney.com/posts/2018-07-30-verified-avl.html 5 comments haskell
- Scheduling Effects https://doisinkidney.com/posts/2018-06-23-scheduling-effects.html 3 comments haskell
- Breadth-First Traversals in Far Too Much Detail https://doisinkidney.com/posts/2018-06-03-breadth-first-traversals-in-too-much-detail.html 15 comments haskell
- Applicative Arithmetic https://doisinkidney.com/posts/2017-09-25-applicative-arithmetic.html 21 comments haskell
- Type-Level Induction in Haskell https://doisinkidney.com/posts/2018-05-05-induction.html 22 comments haskell
- Monadic List Functions - filterM, sortM, and more! http://doisinkidney.com/posts/2018-02-11-monadic-list.functions.html 3 comments haskell
- Verifying Heaps - Trying out some different heaps for "Fast total sorting of arbitrary Traversable containers" http://doisinkidney.com/posts/2017-04-23-verifying-data-structures-in-haskell-lhs.html 3 comments haskell