HN Explorer

34 comments

[ 3.5 ms ] story [ 75.7 ms ] thread
sn41
If I am not mistaken, he is the researcher behind the actor model. He was also active on HN, I remember.
gpderetta
He is and he was: https://news.ycombinator.com/threads?id=ProfHewitt .

Probably deserves the black bar?

inopinatus
I love how many of these remarks seem to have been piped through

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.

wrycoder
Looks like Emacs with a line width of 72.
agumonkey
actor model who was the reason behind the scheme lisp dialect, and contextually, underlying the arc language which runs this website

ps: j-pb above mentions planner, also linked to the logic programming world. damn

j-pb
This is sad news, he invented not only the actor model, but also planner and did a lot of groundwork for deductive and parallel systems.

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...

082349872349872
If I am reading the footnoted slides properly, do they mean that we are willing to use unbounded determinism when we can take the property that "actions eventually complete" as an axiom (so we prove the rest of the system based on that hypothesis, and make the statistical argument that for those almost never cases where actions don't complete, the process is so unlucky that it "has already been run over by a bus"* anyway, to justify admissability of the hypothesis)?

* thank you Jim Gray (1944-?2007). compare the difference in liveness provability between token ring and ethernet. (but also compare their pragmatic adoption)

peoplefromibiza
That's very sad.

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

ngc248
The actor model is simply magnificent. Once i encountered the actor model, concurrency just clicked for me. Even writing concurrent programs in a non-actor context became simple and easy. It is that amazing.
discreteevent
Every so often when thinking about a system I find I need a default model to go back to. Like when a system seems to be complex or someone is claiming that it has some new property that makes it exceptional or whatever. It's probably possible to pick a few different models but I find the actor model usually covers it. e.g. "Well when you really look at it, it's just a bunch of actors sending messages to each other's addresses/mailboxes"
napsterbr
May he RIP.

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.

[0] - https://youtube.com/watch?v=7erJ1DV_Tlo

tempodox
@dang, I move to show the black bar for this sad event. It has been almost a month, but it's the first mention on HN.
radiowave
Seconded. I hadn't heard that he'd gone.
amalgamated_inc
Yes please. Saw an interview with him and Joe Armstrong I believe. What a gentleman.
eternalban
I just heard about this as well. Black bar please, dang.
gumby
This is a real loss. I learned a lot from him, ironically more from late night trips to Chinatown than formally in the lab. He had a wide ranging intellect that did not diminish with age.
drallison
It is a real loss, Gumby. Carl and I were friends and spent hours on the telephone solving the problems of the world.
drallison
It is a real loss, Gumby. Carl and I were friends and spent hours on the telephone solving the problems of the world and playing polymath math. Hardly a day would go by without an hour or so chat with Carl.
smallstepforman
Dang it, we lost 2 of the biggest champions of the Actor model, Carl and Joe a couple of years ago. Who is left to carry the torch to illuminate millions of developers who have no idea or have never heard of the Actor model? Sadly, we will see thousands or poorly thought out replacement models (eg. C++ futures, thread pools etc), which only offer a subset of Actor functionality instead of implementing the whole she-bang. E
KerrAvon
All Mac and iOS developers will eventually be exposed to it. Swift's concurrency support is based on the actor model and has a construct named "actor," which does what it says on the tin.
PaulCarrack
My very first computer as an HP. My dad came home with one from CompUSA back in the mid-90s. I think this was shortly after Packard Bell rebranded themselves. I don't know what involvement Carl had with the company by that point in time, but he indirectly had an impact on me as it got me started in computers very early in life. RIP.
shaunxcode
Hugely inspirational. Wish I could have attended one of his lectures or talks.
eternalban
RIP Carl Hewitt.

A mind that was never confined to a box. Always fresh, adventurous, and insightful, to the end.