dplyukhin

Not directly, but we’ve talked about it a few times. He’s in the choreographic programming zulip channel - maybe you could join and tell us more about March? https://multiparty.zulipchat.com/

Wow, March is cool! Are you in touch with Ashton Wiersdorf? He been developing a choreographic programming DSL for Elixir, called Chorex: https://github.com/utahplt/chorex

Curious how this compares to Rust'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'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've been contributing to for a few years [3].

[1]: https://github.com/lsd-ucsc/ChoRus [2]: https://arxiv.org/pdf/2311.11472 [3]: https://github.com/choral-lang/choral

Since HN is discovering choreographic programming today [1], I thought I’d share the compiler we’ve been working on for a few years now. Feel free to ask questions below and I’ll answer as best I can :)

[1]: https://news.ycombinator.com/item?id=49209385

I was curious about this claim, so I tracked it down: https://blog.stenmans.org/theBeamBook/#_distribution_in_a_la...

> Even though Erlang’s asynchronous message-passing model allows it to handle network latency effectively, a process does not need to wait for a response after sending a message, allowing it to continue executing other tasks. It is still discouraged to use Erlang distribution in a geographically distributed system. The Erlang distribution was designed for communication within a data center or preferably within the same rack in a data center. For geographically distributed systems other asynchronous communication patterns are suggested.

Not clear why they make this claim, but I think it refers to how Erlang/OTP handles distribution out of the box. Tools like Partisan seem to provide better defaults: https://github.com/lasp-lang/partisan

What would you do in Emacs? The reason I switched to VS Code was exactly because I could instantly get set up with most languages by installing an extension, instead of messing around with Elisp configs and a hodgepodge of packages. I couldn't even figure out how to set up a working Java environment in Emacs.

For those interested in doing something like that with their own projects, check out the Hippocratic License: https://firstdonoharm.dev

> Sadly universities are wholey occupied in politically aligning themselves blue with focusing on progressive topics before the basics.

Actually, we badly need a class dedicated to the software engineer’s role in perpetuating racist, sexist, and classist systems. I’ve seen nothing of the sort at three different schools. You could even throw in a lecture on professionalism in the workplace!

I hadn’t considered that! So there’s a kind of emotional discussion students need to have, that usually would take place without me knowing it. By using Discord for the class, I merged the “official” discussion (which is my responsibility) with the rest of the discussion (which maybe isn’t). I can’t decide whether that’s a desirable outcome.

Probably true! Maybe it’s a good thing that I could see the controversy and try to reassure them. Would be even better if I could have prevented the panic cascade in the first place.