RT @bmastenbrook: ♫ and if you ever saw it, you would say his network security was backed by a formally verified microkernel ♫ https://t.co…