freenode/#sicl - IRC Chatlog Search Sunday, 16th of December 2018, 10:44:30 UTC 22:28:03 jcowan beach: 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.