HNHacker News
TopNewBestAskShowJobs

carlehewitt

145 karma · joined August 2, 2018

Professor Carl Hewitt is the creator (together with his students and other colleagues) of the Actor Model of computation, which influenced the development of the Scheme programming language and the π calculus, and inspired several other systems and programming languages. The Actor Model is in widespread industrial use including eBay, Microsoft, and Twitter. For his doctoral thesis, he designed Planner, the first programming language based on pattern-invoked procedural plans.

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 installation of Internet backdoors in the Internet of Things.

submissionscomments

Highly-Secure Backdoors

papers.ssrn.com·1 pts·carlehewitt·
0

Scalable Intelligent Systems by 2025

papers.ssrn.com·1 pts·carlehewitt·
0

Internet of Traitorous Things

papers.ssrn.com·2 pts·carlehewitt·
0

For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors

hal.archives-ouvertes.fr·2 pts·carlehewitt·
0

Citadels: Faster response and better information integration than datacenters

papers.ssrn.com·3 pts·carlehewitt·
0

Video of Panel Discussion with Tony Hoare, Joe Armstrong, and Carl Hewitt

youtube.com·1 pts·carlehewitt·
1

Interview of Professor Carl Hewitt

youtube.com·5 pts·carlehewitt·
0

Scalable Intelligent Systems: Build and Deploy by 2025

youtube.com·3 pts·carlehewitt·
1

Computer Science Relies on the Opposite of Gödel's Results

cacm.acm.org·4 pts·carlehewitt·
1

What Turing and Church left out

cacm.acm.org·5 pts·carlehewitt·
0

Computer Science Encyclopedia Can Fill a Gap

cacm.acm.org·80 pts·carlehewitt·
29

Strong Types for Direct Logic

drive.google.com·2 pts·carlehewitt·
1

Channels are Actors

24 pts·carlehewitt·
18