Members-Only
Recent Talks & Demos are for members only
You must be an AI Tinkerers active member to view these talks and demos.
A language for agents that closes every escape hatch
Discover BAML, a language for AI agents that eliminates escape hatches like `any` and unchecked casts, ensuring type safety and unrepresentable invalid states.
TypeScript leaves escape hatches (any, unchecked casts) because it optimises for humans. An agent uses every one of them. BAML is a language for code agents write. Live: an agent quietly breaking type safety, then the same task where it can’t.
How it was built: BAML is Turing-complete, with a compiler in Rust and TS-like syntax. Runtime types with no any, typed errors, green threads, native LLM functions and tests. Python and TypeScript SDKs.
BAML is a Turing-complete programming language for agents, featuring TypeScript-like syntax, runtime types, typed errors, and native LLM functions.
Compose Email
Loading recent emails...