The public behavior of their CEO makes me very skeptical of their public claims about this OS. The CEO has tons of tweets along the lines of (not really exagge

The public behavior of their CEO makes me very skeptical of their public claims about this OS. The CEO has tons of tweets along the lines of (not really exaggerating) "my OS is perfect and cannot be hacked. I have XYZ certification. I used to work on nukes." These are not the words I expect from someone who has actually written a meaningfully "unhackable" OS. I expect discussion of e.g. theorem proving strategies, logic systems, etc., not NIST ABC-123 certs.