Hacker Blogs
Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #9144

M

Mike Stay

Personal blog · reperiendi.wordpress.commathprogramming

Mike Stay writes reperiendi, a personal blog at reperiendi.wordpress.com about math and programming. Since 2009, 8 different Hacker News readers have linked it 11 times, most often “Category Theory for the Java Programmer (2007)”. The last post was in 2022, but the archive is still widely read.

Visit the blog
11mentions?
8HN people?
2009–2021first – last linked?
Links on Hacker News per year · peak 2 in 2011

Too few sampled comments (3) to say how often HN recommends it.?

Why HN links it

HN readers link Mike Stay's posts on category theory, cited as examples of its use in computer science, such as algebraic data types and modules and the semantics of programs.

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.

Mike Stay

Most-linked posts?

  1. Category Theory for the Java Programmer (2007)
    5 people · 5 mentions · first linked 2009-06-22

What Hacker News says?

  1. Ygor · 2012-06-26
    Maybe this can help: http://reperiendi.wordpress.com/2007/11/03/category-theory-f...

    Comment linking /2007/11/03/category-theory-for-the-java-programmer/

    on “OrmHate”
  2. mathgenius · 2020-04-03

    Submitted How we recovered $300k of Bitcoin as a story · 998 points

    HN discussion
  3. chalst · 2011-06-30
    Not just FP researchers, although they are a particularly good fit because typed lambda calculi are Cartesian closed categories. Other areas of CS where category theory is applied: 1. Algebraic data types and modules. E.g., http://reperiendi.wordpress.com/2007/11/03/category-theory-f... 2. Semantics of non-terminating programs. E.g., http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.2... 3. Semantics of con…

    Comment linking /2007/11/03/category-theory-for-the-java-programmer/

    on “A Gentle Introduction to Category Theory [pdf]”
  4. llambda · 2011-12-31

    Submitted Category Theory for the Java Programmer (2007) as a story · 42 points

    HN discussion
  5. breckinloggins · 2012-08-28
    > The idea behind a monad is to factor out the plumbing code so that its complexity is hidden, leaving only the composition of the functions visible. cue light bulb coming on Thanks so much for this article; I've been trying to understand monads forever now. The closest I got was the "burrito" analogy, but I always wanted a more mathematically sound intuition. For helpful reference, here's a collection of monad tuto…

    Comment linking /2007/11/03/category-theory-for-the-java-programmer/

    on “Monads in Clojure”
  6. samstokes · 2010-09-02

    Submitted Formal axiomatic divination as a story · 22 points

    HN discussion
  7. metaweta · 2021-01-27

    Submitted TypeScript dependent types and function bivariance as a story · 19 points

    HN discussion
  8. TriinT · 2009-06-22

    Submitted Category Theory for the Java Programmer as a story · 19 points

    HN discussion
  9. metaweta · 2014-08-05

    Submitted Q-derivatives of data types as a story · 7 points

    HN discussion
  10. metaweta · 2019-04-19

    Submitted A modest proposal for overloading arithmetic operators in JavaScript as a story · 2 points

    HN discussion
  11. metaweta · 2021-06-30

    Submitted A Modest Proposal for Operator Overloading in JavaScript as a story · 1 points

    HN discussion

Search all of HN for reperiendi.wordpress.com

Linked by the same people?