About
We are an independent research lab focused on exploring interesting ideas in the interaction between system reliability and programming languages.
Founded by Rob Durst in 2025.
Projects
![]()
Caffeine
A programming language for generating reliability artifacts from service expectation definitions. Grounded in assume/guarantee contracts, Caffeine helps developers and AI agents assert reasonable system construction at design time and in production.
Status: Active Development ยท Written in Gleam
Speaking
- Mama Look, I Compiled SLOs!
October 8, 2025 | Dublin, Ireland ๐ฎ๐ช
Event: SRECon EMEA '25 - Lightning Talks
Media: Slides - 10,000 Lines Later: When a Tool Became a Compiler
February 12, 2026 | Salt Lake City, Utah, USA ๐บ๐ธ
Event: University of Utah PLT Department Lecture
Media: Slides - 10,000 Lines Later: When a Tool Became a Compiler (and I Became a Gleamlin)
February 21, 2026 | Bristol, UK ๐ฌ๐ง
Event: Gleam Gathering '26
Media: Slides
Contact
For inquiries, collaborations, or questions, please email us.