carlehewitt
- Karma
- 145
- Created
- August 3, 2018 (7y ago)
- Submissions
- 0
Professor Hewitt’s recent research centers on the area of Inconsistency Robustness, i.e., system performance in the face of continual, pervasive inconsistencies (a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination, i.e., to sweep inconsistencies under the rug). ActorScript and the Actor Model on which it is based can play an important role in the implementation of more inconsistency-robust information systems. Hewitt is an advocate in the emerging campaign against mandatory installa...
- Highly-Secure Backdoors (papers.ssrn.com)
- Scalable Intelligent Systems by 2025 (papers.ssrn.com)
- Internet of Traitorous Things (papers.ssrn.com)
- For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors (hal.archives-ouvertes.fr)
- Interview of Professor Carl Hewitt (youtube.com)
- Scalable Intelligent Systems: Build and Deploy by 2025 (youtube.com)
- Computer Science Relies on the Opposite of Gödel's Results (cacm.acm.org)
- What Turing and Church left out (cacm.acm.org)
- Computer Science Encyclopedia Can Fill a Gap (cacm.acm.org)
- Strong Types for Direct Logic (drive.google.com)
-
I highly recommend Simon Fowler's ECOOP 2017 lecture https://www.youtube.com/watch?v=lpbkIjjoMRk However, channels are best understood as Actors with put and get messages so that aChannel.put[x] puts x in aChannel and…