A good starting point to understand continuations and programming with continuations is
Control structures in programming languages: from goto to algebraic effects
by Xavier Leroy
A good starting point to understand continuations and programming with continuations is
Control structures in programming languages: from goto to algebraic effects
by Xavier Leroy
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
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
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
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
Cape Town is a whole vibe
Cape Town is a whole vibe
✅ 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
We'll cover
➡️ Agents and Environments
➡️ Goals and Plans
➡️ Autonomy and Alignment
➡️ Context Engineering
+ We build an agent to organize our desktop
agenticapplications.substack.com
We'll cover
➡️ Agents and Environments
➡️ Goals and Plans
➡️ Autonomy and Alignment
➡️ Context Engineering
+ We build an agent to organize our desktop
agenticapplications.substack.com
Box says: Get swag, not lag
I say: 10/10 swag box
Come see me squash Heisenbugs with deterministic simulation testing
bsky.app/profile/domi...
Box says: Get swag, not lag
I say: 10/10 swag box
Come see me squash Heisenbugs with deterministic simulation testing
bsky.app/profile/domi...
Thank you everybody for your encouragement and being on this journey together ❤️
Thank you everybody for your encouragement and being on this journey together ❤️
Not another MCP server but our own protocol
We'll discover
- What is MCP
- What does MCP do
- Why would we even need MCP
Not another MCP server but our own protocol
We'll discover
- What is MCP
- What does MCP do
- Why would we even need MCP
Distributed Async Await is so simple, the API fits on @resonatehqio.bsky.social's landing page
That's not just a feature, that's a flex
Distributed Async Await is so simple, the API fits on @resonatehqio.bsky.social's landing page
That's not just a feature, that's a flex
In the next chapter of Systems Engineering for Agentic Applications we build an agent to organize our desktop
A simple task and a perfect lens for understanding how agents work and the systems engineering challenges they present
In the next chapter of Systems Engineering for Agentic Applications we build an agent to organize our desktop
A simple task and a perfect lens for understanding how agents work and the systems engineering challenges they present
An agent is aligned with the user if the agent ranks possible states the same as the user
An agent is aligned with the user if the agent ranks possible states the same as the user
This chapter covers
1⃣ AI foundations
2⃣ AI agents and agentic applications
3⃣ Code samples exploring AI APIs and simple agents
systems-engineering-for-agentic-applications.resonatehq.io/chapters/cha...
This chapter covers
1⃣ AI foundations
2⃣ AI agents and agentic applications
3⃣ Code samples exploring AI APIs and simple agents
systems-engineering-for-agentic-applications.resonatehq.io/chapters/cha...
We will cover
➡️ AI foundations
➡️ AI agents and agentic applications
➡️ First contact with AI APIs and AI agents
We will cover
➡️ AI foundations
➡️ AI agents and agentic applications
➡️ First contact with AI APIs and AI agents