Top all-time · #21174
Adam Dueck
Personal blog · adueck.github.io/blogprogrammingmath
Adam Dueck's personal blog at adueck.github.io covers programming and math. Since 2023, 3 different Hacker News readers have linked it 8 times, most often “Why does everyone hate Haskell, jazz, and pure math?”. It is still writing: the last post was on 2025-02-03, and you can follow it by feed.
My description
Most-linked posts?
- Why does everyone hate Haskell, jazz, and pure math?2 people · 2 mentions · first linked 2024-07-12
What Hacker News says?
This is a bit like saying, "We shouldn't need math to reason with problems, we should just go with simpler explanations that don't need math." Testing is science, type-checking is math https://adueck.github.io/blog/testing-is-science-type-checki...
Comment linking /blog/testing-is-science-type-checking-is-math/
on “Type checking is a symptom, not a solution”Submitted Why does everyone hate Haskell, jazz, and pure math? as a story · 70 points
HN discussionI've been having a lot of fun learning about grammars and parsing, for others interested here are some things that have really helped me understand it. [1]: http://www.cs.ecu.edu/karl/5220/spr16/Notes/CFG/index.html [2]: https://www.inf.ed.ac.uk/teaching/courses/inf2a/slides/2011_... [3]: Language Implementation Patterns https://www.amazon.ca/gp/product/B00A376HGG/ref=ppx_yo_dt_b_... [4]: https://craftinginterpreter…
Comment linking /parser-practice
on “Top-Down LR Parsing”Submitted Why Does Everyone Hate Haskell, Jazz, and Pure Math? as a story · 3 points
HN discussionI've found the author's more recent book PLAI [1], on programming languages really helpful, and I've been having fun trying to implement it in TypeScript, a little exercise in language building I'm calling PLAIScript. [2] [1]: https://www.plai.org/ [2]: https://adueck.github.io/plaiscript
Comment linking /plaiscript
on “A Little Calculus”Submitted Proofs Are Programs: A Few Examples of the Curry-Howard Correspondence as a story · 2 points
HN discussionSubmitted Testing Is Science, Type Checking Is Math as a story · 2 points
HN discussionSubmitted Logic and Multiply-Quantified Statements in JavaScript as a story · 2 points
HN discussion