Hacker News new | ask | show | jobs
by jrtc27 1608 days ago
Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.
1 comments

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.
CHERI is not an actor system. It is a capability system aimed at memory protection. It can be used, like any other architecture, as a basis upon which to build an actor-based framework/system, but it is no more of an actor system than, say, x86. The concepts are deeply rooted in the capability system literature.
ActorsTheory serves as the rigorous mathematical foundations of capability systems.