Plumbing Language Enables Verified Agent Coordination
On March 11, 2026, John Baez published a guest post by William Waites introducing plumbing, a statically typed language for coordinating collections of large language model agents. Plumbing uses category-theoretic foundations — a copy-discard symmetric monoidal category with primitives like merge and barrier — and provides a compiler and runtime that statically checks well-formedness and limited deadlock properties before execution. This aims to reduce costly runtime failures.
Key Points
- 1Introduces plumbing, a statically typed language for composing LLM agents using categorical morphisms
- 2Leverages copy-discard categories, merge/barrier primitives to enable formal checks for deadlocks and well-formedness
- 3Allows compile-time verification and modular composition, reducing costly runtime failures and wasted compute
Scoring Rationale
Strong technical novelty and practical tooling, limited by single-source blog release and no independent peer review.
Sources
Public references used for this report.
Practice interview problems based on real data
1,625 SQL & Python problems across 15 industry datasets — the exact type of data you work with.
Try 250 free problems
