Schedule
May 10-16, 2025
Saturday through Friday
7:30 AM
Registration & Setup
8:00 AM
Morning Free Time
9:00 AM
All rooms
10:00 AM
Leaky Abstraction and Turing Configuration
Room A
Giving Types to JQ: A Benign Type Inference Procedure
Room B
Lessons from building a game engine from scratch in Gleam
Room C
Building an Open-Source Internal Developer Platform: Lessons from the Trenches
Room D
Surprise Slot
Surprise Speaker
Room E (Trail Ridge)
10:30 AM
The Power of Programs as Data
Room A
Functional Programming in C++?, Run-time vs Compile-time types
Room B
Pure Functions & Paladins: Building TTRPGs with F# and MVU
Room C
The Next Generation of Developer Environments
Room D
Intelligent Workflow Automation with Lambda and AI Models
Room E (Trail Ridge)
11:00 AM
Surprise Slot
Surprise Speaker
Room A
The Factorio Software Architecture: Do What The Math Tells You
Room B
Room C
Room D
Building Modern Distributed Systems with Advanced Integration Patterns on AWS
Room E (Trail Ridge)
12:00 PM
Conference Lunch 🍔 - Aspen Courtyard
1:00 PM
Suprise Keynote
Surprise Speaker
Room A
2:00 PM
Orthogonal Persistence, the Model - or - Why Transactions Are Not Modular But Anti-Transactions Are
Room A
Redefining Stream Composition with Algebraic Effects
Room B
A Taste of Elixir - The language of the future you can have today
Room C
Staying in Control
Room D
From Zero to Production Faster Than Your Average Meeting with Pillars
Room E (Trail Ridge)
3:00 PM
Break
Afternoon Break
3:30 PM
Auto-Merkleization: where FP meets Algebra, Metaprogramming and OO
Room A
The OCaml Developer Experience: Removing Adoption Barriers
Room B
Removing fragility from software with the EYG programming language
Room C
Do Programming Language Features Deliver on their Promises?
Room D
Surprise Slot
Surprise Speaker
Room E (Trail Ridge)
4:30 PM
Vase Mode
Room A
Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back!
Room B
What’s Next for WebAssembly on the Server—and How to See It in Action
Room C
Killed by "Worse is Better": What we can learn from the last time FP failed
Room D
The Value of LLMs: Why 'Stupid' Machines Are Smarter Than You Think
Room E (Trail Ridge)
5:30 PM
All rooms
7:30 AM
Registration & Setup
8:00 AM
Morning Free Time
9:00 AM
All rooms
10:00 AM
Learn Physics with Functional Programming
Room A
Trivially bug free code for a greener planet
Room B
Applied Machine Learning in Elixir
Room C
A visual programming language for animation, geospatial and the web
Room D
10:30 AM
Functional Poetry with Co-Recursive Ink
Room A
Missing Testing Features in Rust
Room B
The Rise of Reasoning Models
Room C
Your Backend is too Complicated
Room D
11:00 AM
Temporal Modal Logic: The Time is Now
Room A
Euphoric Codecs & Dazzling Rainbows
Room B
Cut the Hype and Build Your Own AI Agents
Room C
Enable all your infrastructure’s power with Rust & Wasm
Room D
12:00 PM
Conference Lunch 🍔 - Aspen Courtyard
1:00 PM
Building a compiler and processor for fast processing of encrypted data
Room A
Mill: a JVM build tool based on pure functional programming
Room B
AI'll Be Back: Exploring Diffusion Models for Image, Audio, and Video
Room C
Imperative Locally, Functional Globally: A New Programming Model for Full-Stack Distributed Systems
Room D
2:00 PM
Recursion Schemes in Plain Language
Room A
Shoehorning dependency injection into a FP language, what does it take?
Room B
An Algebra of Thoughts: When Kyo effects meet LLMs
Room C
My favorite verbose programming technique
Room D
3:00 PM
Break
Afternoon break
Room A
3:30 PM
Room A
AI Monitoring Mastery: Optimize Performance, Ensure Compliance, and Optimize Costs
WORKSHOP
Room B
Room C
Room D
5:30 PM
Room A
Saturday -May 10-
Night
Craft beer tasting! Start your LambdaConf experience with fun and engaging pre-conference activities.
sunday -May 11-
Day
Hiking
Night
Volunteer appreciation dinner
Monday -May 12-
Morning
Conference registration
Day
Conference sessions
Night
Speaker dinner
Tuesday -May 13-
Day
Conference sessions
Night
Conference Closing Party & Dinner
Wednesday -May 14-
Hackathons
Golem Hackathon
ZIOÂ Hackathon
ZIOÂ Hackathon
thursday–Friday-May 15-16-
Paid Workshops
Principled Metaprogramming in Scala 3
Complete APL: Real-world Apps, Real Small Code
Complete APL: Real-world Apps, Real Small Code
