Top all-time · #9953
Ryan Brewer
Personal blog · ryanbrewer.dev/posts · on HN as hoping1programmingmath
Ryan Brewer writes Ryan's Blog, a personal blog at ryanbrewer.dev about programming and math. Since 2023, 7 different Hacker News readers have linked it 23 times, most often “Simple Programming Languages”. It is still writing: the last post was on 2025-08-20, and you can follow it by feed.
The place Ryan writes his thoughts and shows off cool projects!
Most-linked posts?
- Simple Programming Languages3 people · 3 mentions · first linked 2024-03-22
- Advanced Typechecking for Stack-Based Languages2 people · 3 mentions · first linked 2024-02-19
- The Type of Sprintf2 people · 2 mentions · first linked 2024-05-14
What Hacker News says?
Oh yeah I'm well aware of the meme haha. I just wanted to show that I'm conscious of these things in my writing. My dedicated entry on monads ( https://ryanbrewer.dev/wiki/monad ) alludes to the meme in the first sentence :)
Comment linking /wiki/monad
on “Getting Started with Category Theory”Submitted SaberVM as a story · 135 points
HN discussionHey there! I'm the author, so I suppose I ought to address this :) First I'll say that I absolutely get this head-banging-on-desk feeling of no progress. Monads got me like that for a while but F-Algebras/recursion schemes got me like that much more, so make sure you keep your distance from them haha. I'm sorry to have contributed to your frustration. It actually sounds like you've grasped monads quite well. flatMap…
Comment linking /wiki/adjunction
on “Getting Started with Category Theory”Submitted Getting Started with Category Theory as a story · 51 points
HN discussionSubmitted Sequent Calculus and Notation – Par Part 1 as a story · 38 points
HN discussionSubmitted The Type of Sprintf as a story · 13 points
HN discussionSubmitted A Tutorial on Linear Logic as a story · 5 points
HN discussionSubmitted Advanced Typechecking for Stack-Based Languages as a story · 4 points
HN discussionSubmitted Simpler Category Theory as a story · 3 points
HN discussionSubmitted Simple Programming Languages as a story · 3 points
HN discussionSubmitted Linear Logic: Par, a Friendly Explanation as a story · 3 points
HN discussionSubmitted Simple Programming Languages as a story · 3 points
HN discussionSubmitted A Beginner's Guide to Programming Language Academia as a story · 3 points
HN discussionSubmitted Safe Manual Memory Management with Coeffects as a story · 3 points
HN discussionSubmitted Par Part 3: Par, Continued as a story · 2 points
HN discussionSubmitted Linear Logic – Par Part 2 as a story · 2 points
HN discussionSubmitted Getting Started with Category Theory as a story · 1 points
HN discussionSubmitted The Type of Sprintf as a story · 1 points
HN discussionSubmitted Simple Programming Languages as a story · 1 points
HN discussionSubmitted Advanced Typechecking for Stack-Based Bytecode as a story · 1 points
HN discussionSubmitted Advanced Typechecking for Stack-Based Bytecode as a story · 1 points
HN discussionSubmitted Security and Crashing with Modal Logic as a story · 1 points
HN discussion