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.
Scoring Rationale
Strong technical novelty and practical tooling, limited by single-source blog release and no independent peer review.
Practice interview problems based on real data
1,500+ SQL & Python problems across 15 industry datasets — the exact type of data you work with.
Try 250 free problemsStep-by-step roadmaps from zero to job-ready — curated courses, salary data, and the exact learning order that gets you hired.
Sources
- Read OriginalThe n-Category Cafégolem.ph.utexas.edu
