| | Monuses and Heaps (doisinkidney.com) |
| 30 points by aebtebeten 2 days ago | past | 1 comment |
|
| | 10-Part Series on Breadth-First Traversals in Haskell (doisinkidney.com) |
| 4 points by romes 43 days ago | past |
|
| | Convolutions and Semirings (doisinkidney.com) |
| 2 points by romes 46 days ago | past |
|
| | Single-Pass Huffman Coding (doisinkidney.com) |
| 31 points by todsacerdoti 3 months ago | past | 4 comments |
|
| | Some Tricks for List Manipulation (doisinkidney.com) |
| 4 points by todsacerdoti 7 months ago | past | 1 comment |
|
| | Formalising Graphs with Coinduction in Agda (doisinkidney.com) |
| 3 points by fanf2 on Dec 11, 2024 | past |
|
| | POPL Paper–Formalising Graphs with Coinduction (doisinkidney.com) |
| 1 point by aebtebeten on Nov 17, 2024 | past |
|
| | What is good about Haskell? (doisinkidney.com) |
| 5 points by usgroup on Feb 3, 2024 | past |
|
| | Deriving numbers, recursion and more from basic combinators (doisinkidney.com) |
| 2 points by usgroup on Feb 3, 2024 | past | 1 comment |
|
| | Fun with Combinators (doisinkidney.com) |
| 2 points by memorable on May 11, 2022 | past |
|
| | Hyperfunctions (doisinkidney.com) |
| 65 points by g0xA52A2A on March 15, 2021 | past | 7 comments |
|
| | Enumerating Trees (doisinkidney.com) |
| 5 points by lelf on Dec 15, 2020 | past |
|
| | A Queue for Effectful Breadth-First Traversals (doisinkidney.com) |
| 3 points by headalgorithm on Nov 23, 2020 | past |
|
| | Solving Programming Puzzles without using your Brain (2019) (doisinkidney.com) |
| 3 points by headalgorithm on Oct 18, 2020 | past |
|
| | Fun with Combinators (doisinkidney.com) |
| 73 points by headalgorithm on Oct 18, 2020 | past | 16 comments |
|
| | Concatenative Programming; the Free Monoid of Programming Languages (2019) (doisinkidney.com) |
| 62 points by g0xA52A2A on Oct 5, 2020 | past | 8 comments |
|
| | What Is Good About Haskell? (doisinkidney.com) |
| 286 points by nuriaion on Oct 3, 2019 | past | 421 comments |
|
| | What Is Good About Haskell? (doisinkidney.com) |
| 6 points by headalgorithm on Oct 2, 2019 | past |
|
| | Solving Programming Puzzles Without Using Your Brain (doisinkidney.com) |
| 119 points by lelf on June 4, 2019 | past | 17 comments |
|
| | Permutations by Sorting (doisinkidney.com) |
| 3 points by adamnemecek on April 24, 2019 | past |
|
| | Breadth-First Traversals in Far Too Much Detail (Haskell) (doisinkidney.com) |
| 3 points by agumonkey on June 3, 2018 | past | 1 comment |
|