Top all-time · #9549
Hedonistic Learning
Personal blog · hedonisticlearning.com/postsmathprogramming
Hedonistic Learning is a personal blog at hedonisticlearning.com about math and programming. Since 2017, 8 different Hacker News readers have linked it 10 times, most often “Category Theory, Syntactically (2016)”. It is still writing: the last post was on 2025-11-10, and you can follow it by feed.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for posts on complex-step differentiation and on understanding type system notation. The comments cite these posts as references rather than judging them.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
A blog mostly on math, physics, and computer science.
Most-linked posts?
- Category Theory, Syntactically (2016)2 people · 2 mentions · first linked 2017-02-13
What Hacker News says?
MagicHaskeller[0] (which seems to sadly be offline at present) is a similar project that infers Haskell functions from properties like reverse "abcde" = "edcba" Other, older projects include Exference[1] and Djinn[2], in decreasing order of power. Also, this is really similar to how Idris and Agda work, except they use expressive types to generate the code (using the Emacs modes) rather than test cases. [0]: http://…
Comment linking /djinn/
on “Near Future of Programming Languages [pdf]”Submitted Category Theory, Syntactically (2016) as a story · 137 points
HN discussionThey might be talking about complex step diff: https://www.hedonisticlearning.com/posts/complex-step-differ... tldr: f‘(x0)≈Im(f(x0+hi))/h
Comment linking /posts/complex-step-differentiation.html
on “Automatic Differentiation in OCaml”Submitted Quotient Types for Programmers as a story · 14 points
HN discussionSee also: https://www.hedonisticlearning.com/posts/understanding-typin...
Comment linking /posts/understanding-typing-judgments.html
on “How should I read type system notation?”Submitted Arithmetic Functions as a story · 3 points
HN discussionSubmitted Category Theory, Syntactically as a story · 3 points
HN discussionSubmitted What Difference Lists Are as a story · 2 points
HN discussionSubmitted Global Rebuilding, Coroutines, and Defunctionalization as a story · 2 points
HN discussionSubmitted You know more about presheaves than you think as a story · 2 points
HN discussion
