'Pact: A Choreographic Language for Agentic Ecosystems' develops a choreographic language extended with operations to describe agent choices and preferences, capturing important LLM interaction scenarios. Very nice! By Kiran Gopinathan, Jack Feser, Michelangelo Naim, Zenna Tavares, and Eli Bingham. (Picture from the talk in the first link.)

Learn more: https://www.basis.ai/blog/choreographies/
Paper: https://arxiv.org/abs/2605.03143

#ChoreographicProgramming #FormalMethods

Choreographing multi-agent interactions 🤖💃

I’ve been thinking about multi-agent systems less as prompt chains and more as distributed systems. Once the workflow stops being toy-sized, the hard part is no longer getting a response from a model. It is making the whole topology behave predictably.

I wrote a draft about how I’m using choreographic programming and strong types to make agent interactions more predictable. It traces a path from UniChorn (my port of HasChor) to a Ralph-loop experiment leveraging the new research-backed CP libraries like choreography-ts, a small Pi-based library for schema-constrained turns, and a NATS transport for running the choreography across locations.

This is just the initial post, and I will write more as I am working on more interesting stuff on top of this foundation.

#ai #choreographicprogramming #distsys

https://notes.kaushikc.org/3mjvw6k37ws2f

Anna Blume Jakobsen (https://www.daracademy.dk/current-fellows/anna-blume-jakobsen) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.

#choreographicProgramming #programmingLanguages #leanProver

🌐 Our article on Choreography-Defined Networks is gonna appear at ICSOC'24! It's a novel application of #ChoreographicProgramming to programmable networking (software-defined networks), developed with S. Giallorenzo, J. Mauro, A. Melis, M. Peressotti, and M. Prandini. The aim is to marry simplicity, efficiency, and safety for decentralised virtual network functions.

Find a summary and preprint at https://www.fabriziomontesi.com/bliki/ChoreographyDefinedNetwork

#programming #security

🚀 Project Chords has taken off! We have started an ambitious research initiative to investigate theory and practice of the paradigm of Choreographic Programming on an unprecedented scale, with the aim of making the development of connected digital systems more effective, transparent, and safe.

We will be posting updates and resources on the website https://www.chords.dev

Stay tuned for our progress!

#choreographicprogramming #programming #chords

Released UniChorn - functional choreographic programming library in Unison.

It's a port of HasChor, similar library in Haskell.

#choreographicprogramming #unisonlang

ht @fmontesi @lindsey

📣 Postdoc job alert! Wanna work on programming languages for a climate-friendly future? The GAIA programme at our university has just opened 15 2y fellowships. Contact me if interested. Possible topics: #choreographicprogramming, types, #microservices.

http://www.thegaiaproject.eu/application

Great video by Dan Plyukhin on our upcoming ECOOP work for safe asynchronous protocol implementations through choreographies!

#ChoreographicProgramming
w/ Marco Peressotti

https://youtube.com/watch?v=23y1WCdvMX4&si=JftPgQkCwqH-kLQB

🌠 Some people get book reviews on Amazon. I get street cred on GitHub! 😄 Amazing to see that the Introduction to Choreographies book is helping people with building new tools!! Thank you for the kind mentions. (Links below. 👇)

#ChoreographicProgramming #ItC