And for those who might enjoy a small high-level walkthrough via a video, we just published a conference talk about the feature as well: [Video] Distributed Actors announced at Scale by the Bay
This proposal though focuses only on the isolation and type-checking aspects though, not the runtime (that'll be another proposal).
Thanks in advance for any review comments