From brainstorming transactional applications with the @tigerbeetle.com team to drafting blog posts with Table Mountain as backdrop
Cape Town is a whole vibe
08.10.2025 08:05 β π 1 π 0 π¬ 0 π 0
In the next chapter of Systems Engineering for Agentic Applications:
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 πͺ
07.10.2025 09:45 β π 1 π 0 π¬ 0 π 0
Distributed Async Await
β
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
02.10.2025 09:05 β π 5 π 1 π¬ 1 π 0
Chapter 2 gets a more formal treatment of Agents, environments, autonomy, alignment, etc
Helpful or heavy?!
01.10.2025 20:45 β π 0 π 0 π¬ 0 π 0
MCP: real innovation or literally just a function call?!
Where do you stand in the protocol debate?
01.10.2025 14:05 β π 0 π 0 π¬ 1 π 0
The second chapter of Systems Engineering for Agentic Applications just dropped
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...
01.10.2025 08:10 β π 4 π 0 π¬ 0 π 3
The second chapter of Systems Engineering for Agentic Applications will drop tomorrow
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
30.09.2025 10:31 β π 3 π 0 π¬ 0 π 0
You cannot step into the same river twice
οΌHeraclitus, Greek Philosopher
An agent is a tuple (model, tools, system prompt, history)
A = (M, T, s, h)
After each interaction, the history changes
A' = (M, T, s, h+i)
Is A' still A? When is A' still A
#PhilosophyFootnote
bsky.app/profile/domi...
28.09.2025 18:06 β π 0 π 0 π¬ 0 π 0
28.09.2025 17:50 β π 2 π 0 π¬ 0 π 0
Agents don't have a plan
Often, we prompt agents to plan out loud. But agents do not commit to a plan.
The proposed plan becomes part of the history, the context, biasing but not binding future decisions.
Why? Agents are turn based. Every step is a new decision
27.09.2025 09:25 β π 2 π 0 π¬ 0 π 0
The #P99CONF speaker gift just dropped.
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...
24.09.2025 12:50 β π 2 π 0 π¬ 0 π 0
liveBook Β· Manning
liveBooks are enhanced books. They add narration, interactive exercises, code execution, and other features to eBooks.
Hey Iker, super happy to hear you are enjoying the book so far β₯οΈ
I believe Manning's preferred way to report errors including typos is the Manning's livebook discussion forum:
livebook.manning.com/discussion
Thanks for taking the time!!!
24.09.2025 07:12 β π 0 π 0 π¬ 0 π 0
Thank youuuuuu
23.09.2025 20:45 β π 1 π 0 π¬ 0 π 0
Please let me know if you have any questions, feedback, or comments
23.09.2025 20:45 β π 1 π 0 π¬ 1 π 0
From pixels to paper, from Manning to mailbox, Think Distributed Systems is finally in my hands.
Thank you everybody for your encouragement and being on this journey together β€οΈ
23.09.2025 14:00 β π 23 π 6 π¬ 1 π 1
Prompt Engineering, formalized
Prompt Engineering has felt intangible to me. Hype but no precision
In Chapter 2, we define Prompt Engineering as a search problem that maximizes a fitness function on an agentβs trajectory
Too abstract?! Too dense?!
Don't worry. We build this from the ground up
16.09.2025 04:00 β π 2 π 0 π¬ 0 π 0
Engineering without a dependable mental model is just guesswork
In Chapter 2, we fuse theory with practice and formalize goals, tasks, trajectories, alignment, and even prompt engineering.
Timeless mental models you'll use forever
15.09.2025 02:22 β π 1 π 0 π¬ 0 π 0
In Chapter 2 of Systems Engineering for Agentic Applications, we build our own 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
13.09.2025 22:35 β π 4 π 0 π¬ 0 π 1
Resonate
Dead simple β Killing the complexity of distributed systems.
Yes, you can use @resonatehqio.bsky.social to implement reliable long-running blocking or non-blocking tool calls
Join our discord at resonatehq.io and we can chat about options and architecture
13.09.2025 01:01 β π 0 π 0 π¬ 0 π 0
Durable Execution, distilled
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
12.09.2025 08:35 β π 2 π 0 π¬ 0 π 0
As far as I understand, even with http3, a tool call has to conclude on the same (logical) connection
12.09.2025 04:03 β π 2 π 0 π¬ 1 π 0
Hot take
MCP's Achilles heel? Requiring a persistent TCP connection
How do you handle long running tool calls?!
12.09.2025 00:42 β π 7 π 2 π¬ 2 π 0
Chapter 2 covers a lot of ground:
β Goals and subgoals
β Tasks and subtasks
β Autonomy
β Alignment
β Open loop agents
β Closed loop agents
β Agent equivalence
β Agent compatibility
The foundations for building systems, not toys
08.09.2025 10:00 β π 0 π 0 π¬ 0 π 1
Your desktop is a mess?
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
07.09.2025 08:01 β π 0 π 0 π¬ 0 π 2
One of the hardest problems in agentic applications is alignment:
An agent is aligned with the user if the agent ranks possible states the same as the user
06.09.2025 17:00 β π 0 π 0 π¬ 0 π 0
No frameworks
In the 2nd chapter of Systems Engineering for Agentic Applications, weβll build an agent from the ground up
Why?
To study agents from first principles and identify the systems engineering challenges weβll face at scale
05.09.2025 12:18 β π 1 π 0 π¬ 0 π 2
Hey, I am happy you are enjoying the book so far. I am still writing the book, one chapter a month, so unfortunately I cannot publish all at once π
03.09.2025 08:11 β π 1 π 0 π¬ 0 π 0
The first chapter of Systems Engineering for Agentic Applications just dropped
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...
01.09.2025 08:00 β π 10 π 3 π¬ 1 π 2
The first chapter of Systems Engineering for Agentic Applications will drop tomorrow
We will cover
β‘οΈ AI foundations
β‘οΈ AI agents and agentic applications
β‘οΈ First contact with AI APIs and AI agents
31.08.2025 13:06 β π 7 π 2 π¬ 0 π 0
VP of Community @ Zig Software Foundation β’ Zig Livecoding http://twitch.tv/kristoff_it β’ Creator of http://softwareyoucan.love β’ Blogging http://kristoff.it β’ Host of https://zig.show β’ π§ loris@sycl.it
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q1 2026)
Newsletter: https://buttondown.email/hillelwayne/
Creator, Founder and CEO of @tigerbeetle.com β the financial transactions database designed for mission critical safety and performance.
The financial transactions database designed to power the next 30 years of online transaction processing.
CEO @ feldera.com, the incremental compute engine for AI, ML and data teams.
Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd.
lalith.in/research
Founder polarsignals.com π§ βοΈ Building parca.dev, Prometheus maintainer. Distributed systems, databases, and performance engineering. Actually born in Berlin. (he/him)
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
Technical content expert, author, educator, people manager, and software dev. He/Him. http://bphogan.dev
Software engineer. Building things for lego.com. Distributed systems, serverless, event saucing.
Wrote Serverless Development on AWS (OβReilly)
https://lukehedger.dev/
π London
Associate Professor at Department of Mathematics and Computer Science and Head of Big Data & Compute Continuum Lab at University of Ferrara, Italy.
βLife is Study!β; Swift Actors, Concurrency & Distributed Systems @ ο£Ώ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon Conference, Java Champion. he/him.
Infra & devtools investor @ GC. Obsessed with unblocking developers at scale.
Exploring technology from first principles. Building SQLSync, real-time collaborative SQLite in the browser.
https://sqlsync.dev
Mastodon: @f0a@discuss.systems
X: @carlsverre
cofounder @ convex.dev. easily nerd sniped and okay with it.
Co-founder @dbos.dev β’ Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on π Database + Systems + AI
Amateur bird watcher π¦
Personal site: qianli.dev
She/her.
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/