ChiPy May 2026 __main__ Meeting
Details
ChiPy March main Meeting – May 14, 2026, 6 p.m.
We will have food and beverages at 6pm, with talks starting at 6:30pm.
Hosted by: Slalom Build
Units are Types: Let's Treat Then That Way
By: Emmanuel I. Obi
Experience Level: Intermediate
Description:
At SREcon 2026, I showed how untyped infrastructure configs fail silently and how dimensional analysis catches those failures at definition time. But catching errors in human-written configs is only half the story. AI agents are now generating configs, writing IaC, computing dosages, and scaling parameters autonomously. They make the same unit mistakes humans do, faster and more confidently.
This talk extends the SREcon argument into agentic territory. I’ll show how ucon’s MCP server turns dimensional analysis into a verification primitive that any AI agent can call not as a unit converter, but as an algebraic safety net. I'll walk through real agent workflows where structured error responses (dimensional vectors, got/expected pairs, likely-fix hints) enable a model to self-correct in a single retry, and demonstrate how kind-of-quantity enforcement catches errors that no existing unit library can even represent. The core claim: small models paired with algebraic verification outperform large models without it and the infrastructure to prove that should be a tool call, not a training objective.
In-Person:
Please fill your full legal name and email. This information is required to send your invite and to allow building security to verify your name against your photo ID at check-in.
Further details:
https://www.chipy.org/meetings/1049/
https://www.linkedin.com/company/chipy/
Logistics
When: May 14, 2026, 6:00 pm
Hosted by: Slalom Build
Where: 200 E Randolph St, Suite 3800 Chicago, IL 60601
Directions: Upon arriving at Slalom Build, attendees will be asked to provide a legal ID to the front desk to check-in. Event Location: Floor 38 - Suite 3800. You'll need to show your ID upon arrival.