Actegories
ibobev
48 points
9 comments
July 14, 2026
Related Discussions
Found 5 related stories in 141.2ms across 9,716 title embeddings via pgvector HNSW
- Blog about things you don't understand yet gfysfm · 64 pts · August 13, 2026 · 41% similar
- The Post-AGI Era Avid_F · 12 pts · September 25, 2026 · 40% similar
- Show HN: AI·rete·RAG – a Rete rule engine decides, RAG explains why ZaharaHussain · 36 pts · September 22, 2026 · 40% similar
- Codeberg Divides ashdnazg · 118 pts · July 24, 2026 · 39% similar
- Behavior-Centric AI Design nhanlon · 19 pts · October 14, 2026 · 39% 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.