Тёмный

Let’s  

Erlang Solutions
Подписаться 18 тыс.
Просмотров 2,6 тыс.
50% 1

Here is our #TalkConcurrency interview with Carl Hewitt at the Department of Computer Science, Cambridge University.
About Carl Hewitt
Carl has been highly influential in the development of logic, functional and concurrent programming, with his most recognisable work being the Planner (logic programming language) as well as his work on the Actor model of computation.
During his educational years, Carl was at MIT (Massachusetts Institute of Technology), which is famed for its work with science, computing and engineering. Here, he gained his PhD in applied mathematics in 1971 and then continued to work for the Department of Electrical Engineering and Computer Science until 2000 when he became emeritus.
Interview Date: 07.11.2018
Read the full transcript here:

Опубликовано:

 

16 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 13   
@carlhewitttwitterprofcarlh5870
There is more info on Professor Hewitt's blog here: professorhewitt.blogspot.com/
@carlhewitttwitterprofcarlh5870
There is a longer video here: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-l1wMFd2dHCE.html
@davidvileta4526
@davidvileta4526 Месяц назад
i suppose the answer to the question he posed at the end, "Who's going to do it?" might be answered with: OpenAI?
@ccgarciab
@ccgarciab 5 лет назад
I seem to be really unaware of the big changes that are approaching in the field of intelligent systems. Not that I don't know about the success of ML, but he seems to be hinting at something else (probably not at odds), something based on the actor model. Does ayone know where ca I start looking about this?
@briancannard7335
@briancannard7335 5 лет назад
It's about an inherently concurrent (parallel) model of computation which is capable to deal with inconsistencies. You can see this work for details: hal.archives-ouvertes.fr/hal-01566393v14/document
@5h0t5
@5h0t5 4 года назад
dope
@dekba7410
@dekba7410 5 лет назад
Can anyone provide pointers/examples on the difficulties of dealing with inconsistencies? I'm lacking knowledge and terminology but anyway: is it too simplistic to think an actor should bifurcate on encountering an inconsistency and that there could be an economy of sorts for messages so that those finding the greatest reach/acceptance/least-contradiction reinforce their originating actor? This might also imply the merging/grouping of actors resulting from separate bifurcations. Hmmm, sounds like back-propagation.
@briancannard7335
@briancannard7335 5 лет назад
ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-l1wMFd2dHCE.html
@olikasg
@olikasg 5 лет назад
I think the issue with inconsistency is that how an actor "realises" that there is an inconsistency. I mean if we are talking about data inconsistency. I'd classify this into two major groups: (1) the inconsistent for the actor, in which case the actor can't resolve it and should fail (crash, signal failure). In this case I don't really see how can the actor bifurcate... (2) the inconsistency is on a much higher level (maybe only visible for the user). In this case the actor would need a global knowledge to decide whether the data is inconsistent, so the actor is not self-contained. Although if you can assign a probability to the data processed by the actor, then creating a network of actors to converge to a solution would look very similar to back propagation. If we are not talking about the data inconsistency, then I have no idea how to decide between two possible outcome of such a network. I don't know. An interesting research topic. Maybe by defining properly (I mean mathematically) what an actor is, a what inconsistency mean would help.
@dekba7410
@dekba7410 5 лет назад
@@briancannard7335 Thanks, weekend reading though I think it'll take me much longer to comprehend ;-)
@dekba7410
@dekba7410 5 лет назад
@@olikasg Yes, looks like Brian has supplied Carl's paper to describe things mathematically (and video I just realised). My knowledge of logic is so thin I have to (over?) simplify my thoughts: someone replied with colours as an example but then must have deleted it. Pity, the example at least highlighted, as you state, that detection of inconsistency must require **at least** a frame of reference and/or expected value/s. Though simple it also highlights that something can be inconsistent at one level yet still be consistent in another (related) context. That seems like the foundation but still feels materially different from a system that can detect contradictory viewpoints and do something productive with them. I suppose political voting is a better example, especially as sometimes the outcome, which way to vote, may sometimes have to be decided by a coin toss after which the "system" is free to return to the "undecided" state :-)
@carlhewitttwitterprofcarlh5870
There is more info available here: Video of Stanford Seminar: Building and Deploying Scalable Intelligent Systems by 2025 professorhewitt.blogspot.com/2019/01/video-of-stanford-seminar-building-and.html
Далее
ОТПРАВЬ СВОЕЙ ЛП/ЛД
00:10
Просмотров 139 тыс.
Собираю Маню к осени ✨
00:48
Просмотров 976 тыс.
David Khourshid - Everything is an Actor
44:50
Просмотров 10 тыс.
Microservices are Technical Debt
31:59
Просмотров 519 тыс.
Should Computers Run the World? - with Hannah Fry
36:05
WHY IS THE HEAP SO SLOW?
17:53
Просмотров 246 тыс.
The Language of Actors - Vaughn Vernon
55:29
Просмотров 8 тыс.
Hashing Algorithms and Security - Computerphile
8:12
The Problem with Time & Timezones - Computerphile
10:13
ОТПРАВЬ СВОЕЙ ЛП/ЛД
00:10
Просмотров 139 тыс.