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 · #22261

S

Solomon's Blog

Personal blog · blog.cofree.coffee · on HN as solomonbprogramming

Solomon's Blog is a personal blog at blog.cofree.coffee about programming. Since 2020, 3 different Hacker News readers have linked it 18 times, most often “A Brief Intro to Monad Transformers”. It is still writing: the last post was on 2026-07-20, and you can follow it by feed.

Visit the blog
18mentions?
3HN people?
2020–2026first – last linked?
Links on Hacker News per year · peak 6 in 2021

blog.cofree.coffee

The author on HN?

solomonb · 1,295 karma · member since 2019

Software engineer with interests in programming language theory and type theory. I also like compost. and radio. blog.cofree.coffee www.kpbj.fm www.kchungradio.org ssbothwell_at_gmail_dot_com

From their public HN profile, which links to this site.

Most-linked posts?

  1. A Brief Intro to Monad Transformers
    2 people · 2 mentions · first linked 2021-08-06
  2. How to Design a Chat Bot
    2 people · 2 mentions · first linked 2022-02-14
  3. Free Monads Yield Extensible Effects
    2 people · 2 mentions · first linked 2021-08-17

What Hacker News says?

  1. This work predates agents as we know them now and was intended for building chat bots (as in irc chat bots) but when auto-gpt I realized I could formalize it super nicely with this library: https://blog.cofree.coffee/2025-03-05-chat-bots-revisited/ I did some light integration experiments with the OpenAI API but I never got around to building a full agent. Alas..

    Comment linking /2025-03-05-chat-bots-revisited/

    on “You should write an agent”
  2. Submitted A Brief Intro to Monad Transformers as a story · 3 points

    HN discussion
  3. https://blog.cofree.coffee/ My intention was to do a lot of garden related content but it ended up being all functional programming.

    Comment linking /

    on “Ask HN: Share your personal site”
  4. Submitted Cellular Automata with Comonads, Representable Functors, and Dependent Types as a story · 3 points

    HN discussion
  5. I'm having trouble reading zig code, so I'm not sure how much overlap there is but I have done some work with mealy and moore encoded as co-algebras in haskell: https://blog.cofree.coffee/2025-03-05-chat-bots-revisited/ https://github.com/cofree-coffee/cofree-bot Also using the lens library to encode moore machines as polynomial functors: https://blog.cofree.coffee/2024-07-02-lensy-moore/

    Comment linking /2024-07-02-lensy-moore/

    on “Polystate: Composable Finite State Machines”
  6. Submitted Chat Bots Revisited as a story · 2 points

    HN discussion
  7. https://blog.cofree.coffee

    Comment linking /

    on “Ask HN: Could you share your personal website here?”
  8. Submitted Free Monads Yield Extensible Effects as a story · 2 points

    HN discussion
  9. Submitted Type Safe Servant Auth Roles as a story · 1 points

    HN discussion
  10. Submitted Lensy Moore as a story · 1 points

    HN discussion
  11. Submitted Free Monads Yield Extensible Effects as a story · 1 points

    HN discussion
  12. Submitted How to Design a Chat Bot as a story · 1 points

    HN discussion
  13. Submitted How to Design a Chat Bot as a story · 1 points

    HN discussion
  14. Submitted Alex and Happy MVP as a story · 1 points

    HN discussion
  15. Submitted Dont Worry Be Happy as a story · 1 points

    HN discussion
  16. Submitted That One Cool Reader Trick as a story · 1 points

    HN discussion
  17. Submitted A Brief Intro to Monad Transformers as a story · 1 points

    HN discussion

Search all of HN for blog.cofree.coffee