|
4 | 4 |
|
5 | 5 | ◊cyan{We are an independent research lab focused on exploring interesting ideas in the interaction between system reliability and programming languages.} |
6 | 6 |
|
7 | | -We ❤️ building with ◊link["https://gleam.run/"]{Gleam} and are finding ways to give back through sponsorships and contributions. |
8 | | - |
9 | 7 | ◊h2{Projects} |
10 | 8 |
|
11 | | -◊cyan{Active research projects:} |
12 | | - |
13 | 9 | ◊ul{ |
14 | | -◊li{◊link["https://caffeine-lang.run/"]{Caffeine}: a programming language for generating reliability artifacts from service expectation definitions.◊br{}◊em{Status: Active Development}} |
15 | | -◊li{◊link["https://github.com/Brickell-Research/barista"]{Barista}: an AI agent for the discovery of third-party service guarantees to maintain a public Caffeine repository.◊br{}◊em{Status: Initial Ideation}} |
| 10 | +◊li{◊link["https://caffeine-lang.run/"]{Caffeine}: a programming language for generating reliability artifacts (i.e. executable Terraform for SLOs) from service expectation definitions. Grounded in assume/guarantee contracts and a hint of category theory, Caffeine helps developers and AI agents become system thinkers, asserting reasonable construction at design time and in production. Written in Gleam ❤️.◊br{}◊em{Status: Active Development}} |
16 | 11 | } |
17 | 12 |
|
18 | 13 | ◊h2{Speaking} |
19 | 14 |
|
20 | | -◊cyan{Talks and presentations:} |
21 | | - |
22 | 15 | ◊ul{ |
23 | | -◊li{◊link["https://www.usenix.org/conference/srecon25emea/program"]{SRECon EMEA '25 - Lightning Talks}◊br{}◊pink{Title:} ◊em{Mama Look, I Compiled SLOs!}◊br{}October 8, 2025 | Dublin, Ireland 🇮🇪◊br{}◊pink{Media:} ◊link["slides/srecon-emea-25.pdf"]{Slides}} |
24 | | -◊li{◊link["https://www-old.cs.utah.edu/plt/"]{University of Utah PLT Department Lecture}◊br{}◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler}◊br{}February 12, 2026 | Salt Lake City, Utah, USA 🇺🇸◊br{}◊pink{Media:} ◊link["slides/u-of-u-plt-lecture-26.pdf"]{Slides}} |
25 | | -◊li{◊link["https://gleamgathering.com/"]{Gleam Gathering '26}◊br{}◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler (and I Became a Gleamlin)}◊br{}February 21, 2026 | Bristol, UK 🇬🇧◊br{}◊pink{Media:} ◊link["slides/gleam-gathering-26.pdf"]{Slides}} |
| 16 | + ◊li{ |
| 17 | + ◊link["https://www.usenix.org/conference/srecon25emea/program"]{SRECon EMEA '25 - Lightning Talks} |
| 18 | + October 8, 2025 | Dublin, Ireland 🇮🇪 |
| 19 | + ◊pink{Title:} ◊em{Mama Look, I Compiled SLOs!} |
| 20 | + ◊pink{Media:} ◊link["slides/srecon-emea-25.pdf"]{Slides} |
| 21 | + } |
| 22 | + ◊li{ |
| 23 | + ◊link["https://www-old.cs.utah.edu/plt/"]{University of Utah PLT Department Lecture} |
| 24 | + February 12, 2026 | Salt Lake City, Utah, USA 🇺🇸 |
| 25 | + ◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler} |
| 26 | + ◊pink{Media:} ◊link["slides/u-of-u-plt-lecture-26.pdf"]{Slides} |
| 27 | + } |
| 28 | + ◊li{ |
| 29 | + ◊link["https://gleamgathering.com/"]{Gleam Gathering '26} |
| 30 | + February 21, 2026 | Bristol, UK 🇬🇧 |
| 31 | + ◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler (and I Became a Gleamlin)} |
| 32 | + ◊pink{Media:} ◊link["slides/gleam-gathering-26.pdf"]{Slides} |
| 33 | + } |
26 | 34 | } |
27 | 35 |
|
28 | 36 | ◊h2{Contact} |
|
0 commit comments