Top all-time · #4969
Donnacha Oisín Kidney
Personal blog · doisinkidney.com/postsprogrammingmath
Donnacha Oisín Kidney's personal blog at doisinkidney.com covers programming and math. Since 2018, 15 different Hacker News readers have linked it 24 times, most often “What Is Good About Haskell?”. It is still writing: the last post was on 2026-04-28, and you can follow it by feed.
Most-linked posts?
- What Is Good About Haskell?3 people · 3 mentions · first linked 2019-10-02
- Fun with Combinators3 people · 3 mentions · first linked 2020-10-18
- 10-Part Series on Breadth-First Traversals in Haskell2 people · 2 mentions · first linked 2018-06-03
- Solving Programming Puzzles Without Using Your Brain2 people · 2 mentions · first linked 2019-06-04
- Convolutions and Semirings2 people · 2 mentions · first linked 2023-01-16
- Formalising Graphs with Coinduction in Agda2 people · 2 mentions · first linked 2024-11-17
What Hacker News says?
> It is incredibly common in mathematics to silently "convert" objects between different types. [..] silently identifying isomorphic objects Would you agree that correct instances of this pattern are exactly cases of considering objects only up to isomorphism? The problems of equality in constructive mathematics is a complicated one but things are starting to clear out, with constructive interpretations of this patt…
Comment linking /posts/2021-01-04-masters-thesis.html
on “Types versus sets in math and programming languages”Submitted What Is Good About Haskell? as a story · 286 points
HN discussionpart 3 in a series https://doisinkidney.com/series/Breadth-First%20Traversals.h...
Comment linking /series/Breadth-First%20Traversals.html
on “Breadth-First Traversals in Far Too Much Detail (Haskell)”Submitted Solving Programming Puzzles Without Using Your Brain as a story · 119 points
HN discussionhttp://ozark.hendrix.edu/~yorgey/pub/monoid-pearl.pdf https://doisinkidney.com/posts/2017-10-13-convolutions-and-s...
Comment linking /posts/2017-10-13-convolutions-and-semirings.html
on “Ask HN: How has functional programming influenced your thinking?”Submitted Fun with Combinators as a story · 73 points
HN discussionSubmitted Hyperfunctions as a story · 65 points
HN discussionSubmitted Concatenative Programming; the Free Monoid of Programming Languages (2019) as a story · 62 points
HN discussionSubmitted Single-Pass Huffman Coding as a story · 17 points
HN discussionSubmitted What Is Good About Haskell? as a story · 6 points
HN discussionSubmitted What is good about Haskell? as a story · 5 points
HN discussionSubmitted Enumerating Trees as a story · 5 points
HN discussionSubmitted Some Tricks for List Manipulation as a story · 4 points
HN discussionSubmitted Formalising Graphs with Coinduction in Agda as a story · 3 points
HN discussionSubmitted A Queue for Effectful Breadth-First Traversals as a story · 3 points
HN discussionSubmitted Solving Programming Puzzles without using your Brain (2019) as a story · 3 points
HN discussionSubmitted Permutations by Sorting as a story · 3 points
HN discussionSubmitted Breadth-First Traversals in Far Too Much Detail (Haskell) as a story · 3 points
HN discussionSubmitted Deriving numbers, recursion and more from basic combinators as a story · 2 points
HN discussionSubmitted Fun with Combinators as a story · 2 points
HN discussionSubmitted Monuses and Heaps as a story · 1 points
HN discussionSubmitted 10-Part Series on Breadth-First Traversals in Haskell as a story · 1 points
HN discussionSubmitted Convolutions and Semirings as a story · 1 points
HN discussionSubmitted POPL Paper–Formalising Graphs with Coinduction as a story · 1 points
HN discussion
