> The model of process isolation and shared resources that is built in to the POSIX model is just too hard to get right.

isn't that the basis of like, every modern operating system? Haven't we been working on getting it right since the '70s?