3/16/2026 at 6:26:04 PM
Next up, LLMs as actors & processes in π-calculus.by measurablefunc
3/16/2026 at 7:58:28 PM
> Next up, LLMs as actors & processes in π-calculus.You jest, but agents are of course already useful and fairly formal primitives. Distinct from actors, agents can have things like goals/strategies. There's a whole body of research on multi-agent systems that already exists and is even implemented in some model-checkers. It's surprising how little interest that creates in most LLM / AI / ML enthusiasts, who don't seem that motivated to use the prior art to propose / study / implement topologies and interaction protocols for the new wave of "agentic".
by robot-wrangler
3/16/2026 at 7:11:50 PM
Is it web scale?by timcobb
3/16/2026 at 7:15:59 PM
Abstractly? 100%. Realistically? Depends on how many trillions we can get from investors.by measurablefunc