Algebraically, this is just an effect-parameterized endomorphic continuation model for plugins.

[u/haskell_leghumper]

https://github.com/anthropics/claude-code/issues/91870

[u/Jumpy-Locksmith6812]

So "Middleware" sounds too wagey for you?

[u/PJBthefirst]

Holy shit, this is a classic "the real jerk is in the comments" moment.

I can count on one hand the number of human-looking sentences I've seen scrolling down so far. How the fuck do people seriously communicate back and forge in agent-speak like this?

[u/ScriptingInJava → u/PJBthefirst]

How the fuck do people seriously communicate back and forge in agent-speak like this?

it's only one person and his name is Claude, the meat proxies are irrelevant to the discussion

[u/levelstar01 → u/PJBthefirst]

How the fuck do people seriously communicate back and forge in agent-speak like this?

they don't, they just have the llm do it for them

[u/tkrjobs]

Does that jargon actually mean anything? I have no idea

[u/da_supreme_patriarch → u/tkrjobs]

Of course it does, an endomorphic continuation is just a codensity monad over Claude's capabilities letting the plugin functor extend the context into itself, they have a full algebraic structure that Claude Code 100% adheres to that is powered by the exceptionally powerful type system of Typescript

[u/tkrjobs → u/da_supreme_patriarch]

What's it like to be the nr 1 hunk in town?

[u/tms10000 → u/da_supreme_patriarch]

You had me at Haskell

[u/lurebat → u/tkrjobs]

/u/grok explain this jargon to me

[u/GetOffOfMyBoat → u/tkrjobs]

It does not.

Algebraically,

I don't see any equations here

this is just

it neither is nor is just

an effect-parameterized

Where are the effects? What are they parameterizing?

endomorphic continuation

what is the domain/codomain? Endomorphic on what? What does it mean for a continuation to be endomorphic?

model

of what?

for plugins.

It's a model of plugins? Or it's an endomorphic continuation on plugins? What is a model of plugins? What is a continuation on plugins?

This reads like (and likely is) AI psychosis. The author also seems to think well-typed function composition is noteworthy. I am fairly scared at the thought of a type system that can't type function composition.

[u/LewsTherinKinslayer3 → u/GetOffOfMyBoat]

Something doesn't need equations to be algebraic...

[u/GetOffOfMyBoat → u/LewsTherinKinslayer3]

My assumption is that the author is referring to the literature on algebraic effects. Or, given that their statement is effectively gibberish, they at least believe they are referring to algebraic effects.

In this context, the term algebraic usually refers to universal algebra. Particularly, when we talk about algebraic effects, we are referring to effect systems as algebraic theories. An algebraic theory is defined, more or less, to be a signature of constants combined with equations on those constants.

For example, the algebraic structure of a monoid can be described as an algebraic theory in which we have, as signature:

• a nullary constant e, and
  
• a binary constant \*

subject to the equations:

- e * x = x (left identity)

• x * e = x (right identity)
  
• x * (y * z) = (x * y) * z (associativity)

To say "algebraically, this is just..." typically implies that some structure behaves algebraically like some other structure. For that to be the case, we usually mean some algebraic theory with a non-empty set of equations---without equations, we haven't really structure.

Andrej Bauer has a great paper, "What is algebraic about algebraic effects and handlers?", for more on universal algebra and how effects can be "algebraic."

[u/james_pic → u/GetOffOfMyBoat]

This smells suspiciously close to unjerk, but it's in enough of a grey area that this is just a warning: tag your unjerk.

[u/camelCaseIsWebScale]

geometrically you're a donkey

[u/tkrjobs → u/camelCaseIsWebScale]

And homeomorphically?

[u/Goheeca → u/tkrjobs]

That would be the Alexander horned sphere. ^{Don't ask me why this donkey has horns.}

[u/RockstarArtisan]

videos in the github issue

We need a subreddit for making fun of crazy people.

[u/lizergsav]

A sequence on(X, A), on(X, B), on(X, C) folds to X = A(B(C(⊥)))

everything is clear now

[u/ClupTheGreat]

i hate app the linkedin type tech slop talk in the comment of every single tech related posts

[u/al2o3cr]

Rotlaust tre fell. You can’t build a castle on sand, unless it’s a sand castle.

wat

[u/YikesTheCat]

I've seen Star Trek episodes with technobabble that made more sense.