Explore tweets tagged as #choreographicprogramming
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.) #ChoreographicProgramming
0
0
2
Excellent use of Italian gestures 🤌 (exhibit A), masterful PhD defence 🗣️ (exhibit B), fantastic atmosphere 😊 (exhibit C). Congratulations, Dr. Lugovic!! 🥳 #choreographicprogramming @VILLUMscience @imadaSDU
0
1
12
🌠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
1
1
0
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://t.co/OYFrUVBxeQ HT @lindsey
2
1
13
☕️🤝🌐 Object-Oriented #Programming meets #ChoreographicProgramming in our new TOPLAS article, where we present Choral: an extension of @Java with elegant abstractions for safe distributed coordination. A 🧵. w/ @realThesave @marcoperessotti PDF at https://t.co/OowMEqSAfG 1/
1
1
7
📈🚄 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 @ECOOPconf paper w/ @dplyukhin and @marcoperessotti! Get the preprint at https://t.co/SYnUBp564z
0
0
4
🦄 UniChorn: a Functional Choreographic Programming library for the Unison language, by @kaychaks. Check it out at https://t.co/sSel0sIhVH Contains several examples from the Choral and HasChor papers. *Nice!* #choreographicprogramming #distributedprogramming #programming
0
1
4
The end! I gotta cut it somewhere. :-) Please feel free to get in touch if you're curious. #ChoreographicProgramming
0
0
0
A key feature of our language design and compiler is that they give you control over the APIs of the compiled code. You can use Choral to produce Java libraries with *idiomatic* APIs! #ChoreographicProgramming is not esoteric anymore. 7/
1
0
0
If you were waiting for a LISP language to try choreographic programming, you've just run out of excuses. 😀 #choreographicprogramming #lisp #clojure 2/2
1
0
2
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. #programming #ChoreographicProgramming
0
1
2
📰👀The program of the first International Workshop on Choreographic Programming (co-located with @PLDI'24) is out! I for sure am looking forward to these seminars! https://t.co/nykES9CDaN
#choreographicprogramming
0
1
7
📣 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. https://t.co/T4Mhxbun0P
0
0
1
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 @programmingconf article w/ L. Lugović: https://t.co/iTAiiS1yUY A 🧵. 1/
1
1
3
I think a lot of the PL community has gotten in the habit of thinking "deadlock freedom == linearity." That's the session types trick, but it's not the #ChoreographicProgramming trick!
🤔A misconception I've encountered on #ChoreographicProgramming is that it requires a type system (w/ data types, linear/session types, or ...) to get its interesting properties (like deadlock-freedom). No, they stem from language design. Pic from: https://t.co/rxcCETcr0f 1/
1
0
13
Really enjoying reading this paper! #ChoreographicProgramming fam, check it out: choreographies as intermediate representation for high-level secure programs.
Excited about our CSF'24 paper, "Secure Synthesis of Distributed Cryptographic Applications" (Acay, Gancher, Recto, Myers). We show we can compile high-level code to cryptographic mechanisms while provably preserving all security properties.
0
0
4
See you there! I myself can't wait to chat with people at PLDI about the whats, whys, hows, whos, and wheres of choreographic programming. :-) Thanks to the excellent @lindsey, @marcoperessotti, and @realThesave for organising this! #ChoreographicProgramming 10/10
0
0
0
🎙️ I had great fun as the guest in the latest @ttforall 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. Check it out here. 👇
Before we start the preparations for ICFP we've released a fresh new interview with @famontesi. In this Episode we talk about Distributed Systems, their type systems, their Curry-Howard correspondences, microservices, choreographies, and much more! https://t.co/KZ58wLOuwi
0
1
9