Yeah, both examples plus him not backing up his performance assertion showed he was full of crap. Haskell did nearly bulletproof STM that I hear. I&#x27;ve seen other examples. Your Erlang example is good on M:N. Microkernel with work in AI planning still using it successfully with ever more efficient algorithms. JeOS performance characteristics of the past suggest unikernels <i>might</i> improve performance over monoliths or plain virtualization. Need real-world data rather than assertions.<p>He seems to be all talk. He&#x27;s also more critical of unikernel level security and robustness over well-known issues like POLA while ignoring that his own platform violates both POLA and other rules we&#x27;ve learned about INFOSEC over time. The only proven approaches were separation kernels a la Nizza architecture, capability model at OS or component level, and language-based protection w&#x2F; extra care on HW interfaces. He doesn&#x27;t mention those because they oppose UNIX approach, which he ideologically supports, plus show his product is likely not trustworthy.<p>This article isn&#x27;t objective or reliable.