Learn how agents scale beyond a single machine and master identity, coordination, and recovery
Build a recursive, distributed Deep Research Agent with @resonatehqio.bsky.social + OpenAI—in under 120 lines
Chapter 3 is live
Forget the clumsy analogies
Orchestration
The platform manages the continuation
Choreography
The application manages the continuation
Everything else is noise
Forget the clumsy analogies
Orchestration
The platform manages the continuation
Choreography
The application manages the continuation
Everything else is noise
How to guarantee strict serializability across database systems
A special guest post from @dominiktornow.bsky.social
tigerbeetle.com/blog/2025-11...
How to guarantee strict serializability across database systems
A special guest post from @dominiktornow.bsky.social
tigerbeetle.com/blog/2025-11...
RPCs create recovery boundaries: When an execution crashes, only the executions within its recovery boundaries restart
Executions in different recovery boundaries (across RPCs) continue running.
RPCs create recovery boundaries: When an execution crashes, only the executions within its recovery boundaries restart
Executions in different recovery boundaries (across RPCs) continue running.
If we follow the familiar model of chained HTTP calls then a failure in the chain forces a restart from the failure point
This works for short-lived, cheap executions, but collapses under long-lived, expensive ones
If we follow the familiar model of chained HTTP calls then a failure in the chain forces a restart from the failure point
This works for short-lived, cheap executions, but collapses under long-lived, expensive ones
Learn how agents scale beyond a single machine and master identity, coordination, and recovery
Build a recursive, distributed Deep Research Agent with @resonatehqio.bsky.social + OpenAI—in under 120 lines
Chapter 3 is live
Learn how agents scale beyond a single machine and master identity, coordination, and recovery
Build a recursive, distributed Deep Research Agent with @resonatehqio.bsky.social + OpenAI—in under 120 lines
Chapter 3 is live
A Promise also represents eventual invocation
We just tend to forget the latter
A Promise also represents eventual invocation
We just tend to forget the latter
This shows the call graph of the recursive, distributed Research Agent unfolding over time, highlighting durable promises
I dig the result but they are a lot of work 🥲
This shows the call graph of the recursive, distributed Research Agent unfolding over time, highlighting durable promises
I dig the result but they are a lot of work 🥲
Formal models are magic. Not only as a verification tool but as a thinking tool, lifting the fog of uncertainty and assumption
Their magic lies in rigorous, ruthless, relentless clarity
Formal models are magic. Not only as a verification tool but as a thinking tool, lifting the fog of uncertainty and assumption
Their magic lies in rigorous, ruthless, relentless clarity
If an expression yields an effect, it percolates through the program to the top, with the context stored as a continuation. An external authority handles the effect and passes the result back to the continuation.
If an expression yields an effect, it percolates through the program to the top, with the context stored as a continuation. An external authority handles the effect and passes the result back to the continuation.
The fewer worlds an agent considers possible, the less his uncertainty, and the more he knows
In Reasoning about Knowledge
The fewer worlds an agent considers possible, the less his uncertainty, and the more he knows
In Reasoning about Knowledge
If you want to understand Event Loops, you need to read this paper from 1999:
A trampolined program is organized as a single loop in which computations are scheduled and allowed to proceed in discrete steps.
Grokking Event Loops = Grokking Continuations
If you want to understand Event Loops, you need to read this paper from 1999:
A trampolined program is organized as a single loop in which computations are scheduled and allowed to proceed in discrete steps.
Grokking Event Loops = Grokking Continuations
Chapter 3 covers:
➡️ Agent Identity
➡️ Coordination
➡️ Recovery
When agents leave the terminal, you need to become a distributed systems engineer
Chapter 3 covers:
➡️ Agent Identity
➡️ Coordination
➡️ Recovery
When agents leave the terminal, you need to become a distributed systems engineer
Join my talk tomorrow 11/22, 11:20 AM PDT
I'll be in the live chat for Q&A
Sign up below ⬇️
Join my talk tomorrow 11/22, 11:20 AM PDT
I'll be in the live chat for Q&A
Sign up below ⬇️
See you next week
On FaaS like AWS Lambda or GCP Functions
Serverless @resonatehqio.bsky.social
On FaaS like AWS Lambda or GCP Functions
Serverless @resonatehqio.bsky.social
Build distributed, durable applications with Resonate's dead simple programming model, Distributed Asynchronous Await
Now on serverless
Build distributed, durable applications with Resonate's dead simple programming model, Distributed Asynchronous Await
Now on serverless
See you next week
See you next week
Oct 9, 2025
An overnight hike — DBMS philosopher walk and talks, card games, South African braai under starry skies — with TigerBeetle, professors Philippe Bonnet and @peterabcz.bsky.social, and @dominiktornow.bsky.social
#TMDBMS
Oct 9, 2025
An overnight hike — DBMS philosopher walk and talks, card games, South African braai under starry skies — with TigerBeetle, professors Philippe Bonnet and @peterabcz.bsky.social, and @dominiktornow.bsky.social
#TMDBMS
Cape Town is a whole vibe
Cape Town is a whole vibe
When agents leave the terminal, agentic applications become distributed applications.
We'll cover
➡️ Coordination
➡️ Recovery
➡️ Progress
And why you should never hang your agent off a TCP connection 🔪
When agents leave the terminal, agentic applications become distributed applications.
We'll cover
➡️ Coordination
➡️ Recovery
➡️ Progress
And why you should never hang your agent off a TCP connection 🔪
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
Helpful or heavy?!
This chapter covers
➡️ Agents & Environments
➡️ Goals & Plans
➡️ Context Engineering
+ We build an agent to organize our desktop
Bonus: Is MCP just calling functions by name?!
bsky.app/profile/domi...
Helpful or heavy?!
Where do you stand in the protocol debate?
This chapter covers
➡️ Agents & Environments
➡️ Goals & Plans
➡️ Context Engineering
+ We build an agent to organize our desktop
Bonus: Is MCP just calling functions by name?!
bsky.app/profile/domi...
Where do you stand in the protocol debate?
This chapter covers
➡️ Agents & Environments
➡️ Goals & Plans
➡️ Context Engineering
+ We build an agent to organize our desktop
Bonus: Is MCP just calling functions by name?!
bsky.app/profile/domi...
This chapter covers
➡️ Agents & Environments
➡️ Goals & Plans
➡️ Context Engineering
+ We build an agent to organize our desktop
Bonus: Is MCP just calling functions by name?!
bsky.app/profile/domi...