Choreographic Programming: declarative descriptions of distributed systems [pdf] | Hacker News Reader