#choreographicprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #choreographicprogramming, aggregated by home.social.
-
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.
-
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.
-
@blabaere @lindsey that is a really nice way to talk about distributed systems. I had not heard about #ChoreographicProgramming before. Good introduction.
-
🌟 You listen to Software Unscripted and suddenly both #ChoreographicProgramming and #Jolie get mentioned!
💡 Did you know? The first choreographic programming language actually compiled to Jolie, because Jolie's primitives made the implementation much simpler.
HT Saverio Giallorenzo
Link to podcast: https://pod.link/1602572955/episode/12fe9e0c14dab3b5e9780ffc13412136
-
🌐 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
-
🚀 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!
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
📣 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.
-
Great video by Dan Plyukhin on our upcoming ECOOP work for safe asynchronous protocol implementations through choreographies!
#ChoreographicProgramming
w/ Marco Peressotti -
🌠 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. 👇)
-
Very nice paper on compilation for #ChoreographicProgramming in #Haskell using the HasChor DSL and rewriting rules. Brings 'choreographic programming as a library' one step nearer to dedicated choreographic programming languages like Choral!
https://www.krook.dev/papers/partitioningHaskell2024.pdf
HT @lindsey
-
Why choreographic programming, you say? Because who wants to understand the control flow in the left image, when you can just look at the right image!
(Context coming one day to a paper near you.)
-
🎙️ I had great fun as the guest in the latest Type Theory Forall podcast episode! We talked about #ChoreographicProgramming, how I started in #opensource, #microservices, session types, linear logic, the origins of the Jolie programming language, and more.
You can listen to it at https://www.typetheoryforall.com/episodes/distribuited-systems-microservices-and-choreographies
-
Distributed programming consists of 50% messaging, 50% internal computations at participants, and 50% figuring out how the heck you're gonna deal with errors and failures.
-
📈🚄 Get safety *and* performance with non-blocking #ChoreographicProgramming! Big performance improvements for free! Tested on a real cluster! This and more in our just accepted ECOOP'24 paper w/ Dan Plyukhin and Marco Peressotti!
Get the preprint at https://www.fabriziomontesi.com/files/ppm24.pdf
-
💭 Choreographic Programming 2024 at PLDI has been nothing short of fantastic. :-) A bliki entry to remember the tough questions and the importance of international events to bolster research communities.
Thank you so much @lindsey, Marco, and Saverio for creating the event and organising it so very well!!
https://www.fabriziomontesi.com/bliki/ChoreographicProgramming2024
-
Clojure ❤️ Choreographic Programming: go learn something entirely new at the Heart of Clojure conference this year. Choreographic Programming is in the house w/ the brilliant work on Klor presented by Lovro Lugović and Sung-Shik Jongmans! If you were waiting for a LISP language to try choreographic programming, you've just run out of excuses. 😀
https://2024.heartofclojure.eu/talks/klor-choreographic-programming-in-clojure/
-
Thanks to the excellent @lindsey, Marco Peressotti, and Saverio Giallorenzo for organising this!
-
🤩🗣️ Really excited to announce that I'll be giving a keynote at Choreographic Programming (CP) 2024, an event colocated with PLDI. Here's what to expect from my talk, which is aimed at all PL enthusiasts and choreography lovers. 👇🧵
I hope to see many of you there!
-
Can #ChoreographicProgramming be used for real software? Do we get better code? Does it perform well? Is it interoperable with previous approaches and existing code?
Yes, yes, yes, and yes in our new
Programming Journal article w/ L. Lugović: https://doi.org/10.22152/programming-journal.org/2024/8/8A 🧵.
-
Attending ECOOP'23? Do you like the lambda-calculus, distributed systems, and compilers? Don't miss Eva Graversen's talk on modular compilation for higher-order choreographies and types for agreement!
-
📃 New Bliki page: Choreographic Programming. Includes a list of currently available implementations and mechanised theories (which I'll try to keep up to date). Link: https://www.fabriziomontesi.com/bliki/ChoreographicProgramming
#itc #choreographicprogramming #programming #concurrency #compsci
-
The Diffie-Hellman protocol is sort of becoming a 'Hello, World!' example for choreographic programming. Perhaps it's not very surprising, given the joint presence of Alice and Bob. ;-)
#itc #choreographicprogramming #cybersecurity #infosec #security
-
👋 #introduction I am a researcher and professor that loves #compsci and how it impacts #programming, #cybersecurity, and #democracy. I am intrigued by #choreographicprogramming (https://en.wikipedia.org/wiki/Choreographic_programming), #concurrency, #microservices, and #serverless. I love open source and maintain the Jolie programming language (https://jolie-lang.org).
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.