Portable, Efficient, and Practical Library-Level Choreographic Programming · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2311.11472/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTPortable, Efficient, and Practical Library-Level Choreographic Programming — mentioned by dplyukhinhttps://news.ycombinator.com/item?id=50059056urn:hackerpapers:mention:2311.11472:50059056Mon, 12 Oct 2026 16:44:19 GMT<p>Curious how this compares to Rust&#x27;s existing choreographic programming library, ChoRus [1]. Those of you asking for motivation might enjoy the accompanying paper [2], which is really well written. Lindsey Kuper&#x27;s group has done a ton of great work popularizing choreographic programming as a DSL. You can get even more power if you integrate choreographic programming directly into the compiler - for an example of that you can see Choral, an extension of Java that I&#x27;ve been contributing to for a few years [3]. [1]: https://github.com/lsd-ucsc/ChoRus [2]: https://arxiv.org/pdf/2311.11472 [3]…</p><p><a href="https://hackerpaper.kaipfister.de/p/2311.11472/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL