aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)

And it just dawned on me one day that, well, actually, if you think about AI agents, and that's what the company I co-founded, which is called Codemi, does, and hopefully you'll allow me a few minutes to plug it at some point.

Um, we do agentic AI, and, um, well, what do AI agents do? I mean, they need to respond to prompts.

So you've got a, I wouldn't say a set, I'd say a type of prompts.

Um, and for every prompt, you've got a type of potential responses.

Oh my God, that's a container.

And then the really amazing thing is all the stuff we've done, Thorsten and I did, and then people like David Spivack have taken over, um, taken up on polynomial functors.

All this huge amount of work that's been done is totally applicable to agentic AI.

And the really nice thing is that, you know, 99% of the world is using a sort of untyped version of agentic AI.

Now, all of your listeners, being into logic, will understand the value of types.

But for reasons I don't know, the rest of the world has chosen to ditch, to avoid, to go around this most amazingly useful and simple technology, and our job at Codemi is to replace current untyped agentic AI with typed agentic AI, and containers are our technological scaffolding for doing that.

That's interesting.

Maybe very naively, what's, like, the, the main, without trying to do advertisement, but what are the main benefits? Is it, like, security? Because, I mean, a lot of jailbreaking works with-

Yeah, yeah

...

these fluffy boundaries between inputs and-

Yeah.

Well, I think the best way to explain this is just to go back to the very, very, very basic fundamentals.

In software development, originally, there were no types.

And I'm talking about going back to the '60s and '70s.

And then types came along, and they were amazingly useful because you could find errors before they ran and caused problems.

So the famous example is apple plus five.

It doesn't type check because plus requires two integers.

Apple is a string.

Not gonna work.

So the first use of these types was to, was for type checkers to locate errors.