Nice to see actor-ish ideas framed in Python terms. Curious how this compares in practice to Trio/asyncio once you need supervision and restart semantics.

Is it just me or is the example they use for the locking extremely badly implemented?

Why would one ever result at that methodology?