you've probably read this, but (Not research on tooling):
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
He mentions composability. I think topoi are neat, and category theory lends itself to interacting with underlying homologies, which can be powerful when composing lower-level tools into something more specifically useful
I like this video on abstraction, it's great!
https://youtu.be/rQlMtztiAoA
Sometimes, it's correct to duplicate code, for many reasons he goes into
Cykonot
npub1pr…r4v3u
2025-08-25 07:58:30 UTC
in reply to nevent1q…77jz
Author Public Key
npub1prm2j2q6zyzdyfuxyqsg8d8fg82mec5yy85xjcmf8k6fawr7f8hqar4v3uSeen on
wss://relay.momostr.pinkPublished at
2025-08-25 07:58:30 UTCEvent JSON
{
"id": "5d20c2d90d119266871d53f270ef786edeeff87b639cd6fe1395bb0541f51e24",
"pubkey": "08f6a9281a1104d22786202083b4e941d5bce28421e86963693db49eb87e49ee",
"created_at": 1756108710,
"kind": 1,
"tags": [
[
"proxy",
"https://mas.to/@cykonot/115088340460603426",
"web"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"e",
"197659a7ee4ae9d006b4c0e2c09d5310207537b3a1081afeac84e7d255fa610d",
"",
"reply",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"e",
"9651b16c44166c74a2cdcfd0788acb3d67c552f2678fb7de44de7bc587ee1bf4",
"",
"root",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://mas.to/users/cykonot/statuses/115088340460603426",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mas.to/users/cykonot/statuses/115088340460603426",
"pink.momostr"
],
[
"-"
]
],
"content": "you've probably read this, but (Not research on tooling):\nhttps://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/\n\nHe mentions composability. I think topoi are neat, and category theory lends itself to interacting with underlying homologies, which can be powerful when composing lower-level tools into something more specifically useful\n\nI like this video on abstraction, it's great!\nhttps://youtu.be/rQlMtztiAoA\nSometimes, it's correct to duplicate code, for many reasons he goes into",
"sig": "d0ee2185885b60d5922acd58e0cad32989fbbcf3df21f6775667244ef9f239d25fa2aadca16a97a036b7c41445592c8292d3b898f7439607ffc3dd8140fe06be"
}