dplyukhin
Joined 4 years ago
Karma
33
Submissions
13
Member since
Jan 10
Recent submissions
Comment · 18 days ago
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/
Comment · 19 days ago
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
Comment · 19 days ago
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
Comment · 2 months ago
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 :)
Comment · 1 year ago
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
Comment · 2 years ago
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.
Comment · 3 years ago
For those interested in doing something like that with their own projects, check out the Hippocratic License: https://firstdonoharm.dev
Comment · 4 years ago
> 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!
Comment · 4 years ago
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.
Comment · 4 years ago
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.