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. We dogfood it here.
Status: Active Development · Adoption: Early users · Written in Gleam
Footie
A niche, agentic system for interpreting football games. A Rhombus DSL (footie-lang) describes on-pitch actions, lightweight Gleam agents translate real events into it, and a Rust warehouse powers the offline analysis and inference models. On GitHub.
Status: Early Development · Written in Rhombus, Gleam & Rust
Notes
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, Video
Contact
For inquiries, collaborations, or questions, please email us.