One of the more obscure things he pursued as a result of his early actor model work was unbounded nondeterminism as a potential source for hyper-computation.[1]
I'll always remember fondly that he pointed me to some papers via twitter when I asked him some questions about unbounded nondeterminism as an undergrad.
[1]: https://programme.hypotheses.org/files/2019/06/cardone_dayli...
* thank you Jim Gray (1944-?2007). compare the difference in liveness provability between token ring and ethernet. (but also compare their pragmatic adoption)
I first heard about Hewitt after watching this[0] conversation about the actor model. It's truly a masterclass. For those who want to learn more about the actor model, or simply have a fond memory of ProfHewitt, I highly recommend it.
I've met him at Code Mesh in London in 2018 where he gave a keynote on ultraconcurrency for globally connected intelligent systems [1]
Joe Armstrong was present too, he had a talk later that day and I witnessed a conversation between Armstrong and prof. Hewitt about the actor model after the keynote, it was brilliant.
Unfortunately they're both gone now.
[1] paper: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3428114
Another really stimulating paper: https://www.researchgate.net/publication/3115052_The_Scienti... proposing that powerful problem-solvers could be organized like a model of the human scientific community.
- Elixir (and Erlang) https://elixir-lang.org/
- Akka - JVM and .NET frameworks - https://akka.io/ https://getakka.net/
- Actix - Rust framework - https://actix.rs/docs/actix/getting-started
- MS Orleans - https://learn.microsoft.com/en-us/dotnet/orleans/overview
- Pony - https://www.ponylang.io/
Douglas Crockford.
Probably deserves the black bar?
a fmt(1)-ish filter, or perhaps simply manually folded. In conjunction
with the formal clarity he often expresses, they develop
a poetic, almost dreamlike quality.
ps: j-pb above mentions planner, also linked to the logic programming world. damn
Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know but are afraid to ask)
https://www.amazon.com/Inconsistency-Robustness-Studies-Logi...
A mind that was never confined to a box. Always fresh, adventurous, and insightful, to the end.
