←back to thread

Distributed systems programming has stalled

(www.shadaj.me)
287 points shadaj | 4 comments | 27 Feb 25 16:12 UTC | HN request time: 0.282s | source
Show context
gklitt ◴[27 Feb 25 17:45 UTC] No.43196617[source]▶
This is outside my area of expertise, but the post sounds like it’s asking for “choreographic programming”, where you can write an algorithm in a single function while reasoning explicitly about how it gets distributed:

https://en.m.wikipedia.org/wiki/Choreographic_programming

I’m curious to what extent the work in that area meets the need.

replies(2): >>43196643 #>>43202190 #
1. shadaj ◴[27 Feb 25 17:48 UTC] No.43196643[source]▶
You caught me! That's what my next post is about :)
replies(2): >>43197596 #>>43199213 #
2. lachlan_gray ◴[27 Feb 25 19:29 UTC] No.43197596[source]▶
This could be a fun example to work with :p

https://en.m.wikipedia.org/wiki/Shakespeare_Programming_Lang...

replies(1): >>43197790 #
3. shadaj ◴[27 Feb 25 19:52 UTC] No.43197790[source]▶
You might enjoy my first ever blog post from ~10 years ago, when I first learned about distributed systems: https://www.shadaj.me/writing/romeo-juliet-and-reactive-prog...
4. ashton314 ◴[27 Feb 25 22:24 UTC] No.43199213[source]▶
I see from your bio that you are a PhD student. What are you doing with choreographies? (I’m in this space too.)