Piling on; I emailed Michael Levin during lockdown and he replied with answers to some high level questions and a bit of documentation. Not sure what his pace is like these days but he seems open to sincere attempts at discourse.

Let's fund this instead of shitcoins, layers of indirection around POSIX.