Actegories
ibobev
48 points
9 comments
July 14, 2026
Related Discussions
Found 5 related stories in 50.1ms across 5,215 title embeddings via pgvector HNSW
- Blog about things you don't understand yet gfysfm · 64 pts · August 13, 2026 · 41% similar
- Codeberg Divides ashdnazg · 118 pts · July 24, 2026 · 39% similar
- Agents.md – Dumb Human modinfo · 38 pts · July 14, 2026 · 38% similar
- Logic for Programmers _doctor_love · 56 pts · July 30, 2026 · 38% similar
- Anger, Anxiety and Agency lumpa · 111 pts · August 24, 2026 · 38% similar
Discussion Highlights (4 comments)
ultimatefan1
this has a real "a monad is a monoid in the category of endofunctors" energy to it
lyall
If you saw TFA and thought "hmmm yes, I know some of those words", then I can recommend the author's own lecture series on YouTube [0]. It's an intro to and overview of category theory aimed at programmers, with the requisite context and motivation for why anyone should care. It's long but worth the time investment IMHO. 0: http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...
speed_spread
Uh thanks but I'm gonna stick with Scattergories for now.
xqb64
I'd like to understand how and why this stuff is useful for programmers.