AI by the Bay

Verifiably Safe Agentic Compute

Erik Meijer has been deeply involved in the development of Haskell, C#, Visual Basic, Dart, and Hack, and has contributed to the evolution of Java, Scala, Kotlin, and JavaScript. At Microsoft, he worked across language and runtime teams and led early efforts in cloud programmability. He’s the creator of Reactive Extensions (Rx), a composable approach to asynchronous programming now widely adopted across platforms. At Facebook (Meta), he reworked core backend systems to support reactive application development at scale. His current work focuses on making machine learning more accessible to developers—through probabilistic and differentiable programming, and by applying ML to infrastructure and tooling. Erik Meijer continues to publish research, 𝐡𝐨𝐥𝐝𝐬 𝐨𝐯𝐞𝐫 𝟏𝟒𝟗 𝐩𝐚𝐭𝐞𝐧𝐭𝐬, and maintains active roles in both academic and technical communities.

The AI Operating System: Stateful Agents with Letta | Cameron Pfiffer, AI By the Bay25

In this session, Cameron will demonstrate how Letta transforms traditional stateless AI interactions into persistent, learning agents using Letta. Drawing from UC Berkeley's MemGPT research, you'll see live how Letta's virtual context management enables agents to remember and evolve across sessions. Cameron will walk through the core concepts of memory-first agent design, showcase the Agent Development Environment (ADE) for transparent debugging, and demonstrate building a production-ready agent with self-editing memory capabilities.

AI For Good: Fighting Health Insurance with AI