undefined | Better HN

0 pointscrimsonalucard6y ago0 comments

Yes, this is exactly what I mean. Though I feel patterns can be formalized within thr framework of category theory.

0 comments

Have you read "Introduction to Cybernetics" by Ashby?

Cybernetics might be the "missing link" for what you're talking about.

I didn't dive to deep into this so I could be wrong but this looks like control theory with elements of category theory.

I'm looking more for a theory of modules and relationships. Something that can formalize the ways we organize code.

From my POV control theory is rediscovering cybernetics, but yeah.

It sounds like CT is what you're after (to the extent that we have it at all yet...)

j / k navigate · click thread line to collapse

Have you read "Introduction to Cybernetics" by Ashby?

Cybernetics might be the "missing link" for what you're talking about.

I didn't dive to deep into this so I could be wrong but this looks like control theory with elements of category theory.

I'm looking more for a theory of modules and relationships. Something that can formalize the ways we organize code.

From my POV control theory is rediscovering cybernetics, but yeah.

It sounds like CT is what you're after (to the extent that we have it at all yet...)

j / k navigate · click thread line to collapse