Members-Only
Recent Talks & Demos are for members only
You must be an AI Tinkerers active member to view these talks and demos.
better code search for agents
Explore a new programming language for agents, focusing on how easily agents can search through codebases, with insights on thinking about CLIs.
It’s a new programming language for agents, but today we’ll focus on how easy it is for the agents to search through the codebase.
Generated 6 days ago
The speaker presents a new programming language designed specifically for AI agents, addressing the challenge of keeping agent actions reliable and correct. By implementing a sound type system, the language prevents agents from making critical errors during execution. To help agents learn and navigate this new language without manual searching, the system utilizes simplified e-graphs for efficient code search and generation. A live demonstration shows how the agent leverages these specialized tools and graph-based procedures to quickly process code and execute tool calls. Ultimately, the audience learns how tailored language design and structured tooling can improve agent autonomy and reliability.
View full transcript
BAML compiles typed LLM functions into multi-language client libraries.
- RustRust is a high-performance systems programming language that guarantees memory and thread safety via its compile-time ownership model.Rust is a statically-typed systems language engineered for performance and reliability, directly challenging C/C++ in speed. Its core innovation is the ownership model and 'borrow checker,' which enforces strict memory and thread safety at compile-time, eliminating data races and null pointer dereferences without a conventional garbage collector. Rust achieves near-native speed through 'zero-cost abstractions,' allowing high-level features to compile into highly optimized code. Major industry players, including Microsoft and Cloudflare, leverage Rust for critical infrastructure, and it is now officially supported for development in the Linux kernel.
Related talks
More from the community
Code > Prompts: Why Your Agent Should Think in Code, Not English
Seattle
See how agents can emit typed Python execution plans instead of English reasoning. This talk demonstrates a framework…
Why System Understanding Is Hard for LLMs and How to Fix It
Seattle
Learn how an agent reconstructs distributed systems from code and configs, evaluating behavior under load and failure propagation,…
Brief: build context infrastructure so agents stop guessing
Seattle
This talk introduces a CLI tool that builds deterministic codebase context for agents, showing how static analysis and…
CodeDB: Building a Code Intelligence Server That Cuts Agent Token Usage
Singapore
See how CodeDB indexes codebases to provide structured answers, drastically reducing agent token usage and latency for efficient…
Actual AI Architecture Agent Demo
Seattle
See how an AI architecture agent analyzes code, maps structure, and plans changes before writing, grounding agent-assisted development…
Coding is Solved. Next Up: Figure Out How to Plan
Seattle
Discover how to manage AI-generated plans and code reviews efficiently. This talk explores building an agent-native Google Docs…
Compose Email
Loading recent emails...