Twitter account is @ProfCarlHewitt and blog is

https://professorhewitt.blogspot.com/

See following for a simple ActorScript program that cannot be

implemented using a Nondeterministic Turing Machine:

https://papers.ssrn.com/abstract=3603021