22:28:03jcowanbeach: I don't know if I mentioned this, but I think for CLOSOS to come to fruition it will need a machine-code verifier similar to Google NaCl so that the CL compiler doesn't have to be fully trusted.
3:50:23beachjcowan: Why is that? Unix does not seem to need a machine-code verifier to make sure that user-level address spaces are always separate and that user code can't access kernel code.
4:16:04beachACTION thinks that it's the word "trusted" that triggers people's reaction, and that he should invent another term for it.
4:17:40beachI mean, if we started saying that Unix is of type "trusted C compiler and trusted programmer to never use any undefined behavior in C", perhaps the difference between Unix and what I am trying to do would me clearer.