Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt

Watch the guy who came up with Erlang, the Actor model and CSP discuss it: ▶ this video One of my favorite videos on youtube.

in “Erlang's not about lightweight processes and message passing (2023)” · View on HN

I was introduced to him pretty late in the game, in this interview where he and Joe Armstrong and Carl Hewitt talked concurrency! It was interesting hearing them discuss their different thoughts and approaches ▶ this video

in “Turing Award winner and former Oxford professor Tony Hoare passed away” · View on HN

▶ this video This recent panel (Armstrong, Hewitt and Hoare) discussion on concurrency was the first time I got to know about him and it gave me a lot of food for thought.

in “Joe Armstrong has died” · View on HN

Not quite. Erlang uses the Actor model which delivers messages asynchronously to named processes. In Go, messages are passed between goroutines via channels, which provide a synchronization mechanism (when un-buffered). The ability to synchronize allow one to setup a "rhythm" to computation that the Actor model is explicitly not designed to do. Also, note that a process must know its consumer in the Actor model, but goroutines do not need to know their consumer in the CSP model. Channels can even be passed around to other goroutines! Each have their own pros and cons. You can see some of the legends who invented different methods of concurrency here: ▶ this video There's also a nice talk Rob Pike gave that illustrated some very useful concurrency patterns that can be built using the CSP model: [link]

in “A million ways to die from a data race in Go” · View on HN

Threads + some kind of channel (a la Erlang processes or Go's goroutines) are pretty much direct programmatic representations of CSP. sorry if i misinterpreted, but i dont think that is correct that erlang processes exemplify channels/csp afaiu erlang is based on non-sequencial processes more like the actor model, there is no "communicating sequencial" process at the base of it (though you can implement csp in actor languages) afaik here you can see joe armstrong and carl hewitt fundamentally disagree with sir tony haore (csp) and sequential channels as a fundamental construct [1] ▶ this video again, apologies if im arguing something that wasnt implied, it was just something i noticed ^^

in “Red and blue functions are a good thing” · View on HN