Door Anoniem: "Onze beste hoedjesbendeleden konden er geen gaten in vinden" is nou niet echt hetzelfde als "er zitten geen gaten in". En dat "wiskundig bewezen"? Model checking blijkt nog zo makkelijk niet (moeilijker dan NP-hard), dus wat ze nou helemaal bewezen denken te hebben moet ik nog zien. Mogelijk dat ze een A1 (Orange Book ) OS of communicatie protocol gebruikt of gebouwd hebben. In dat geval is het voor het een persbericht niet onterecht om termen als 'wiskundig bewezen' te gebruiken. En ja, zoals elke organisatie moet DARPA ook resultaat verkopen aan de geldschieters van het project (pentagon / huis+senaat), dus natuurlijk laten persberichten nuancering weg. Maar hee, heb je toch weer mooi flink met populistische paniektermen kunnen smijten in je persbericht. "Boemannen hebben hier geen vat op! Boemanactiviteitenveilig! Voor homeland security!" Laat nou de grootste (niet cyber)boeman in de wereld dat land van het militair-industrieele complex zijn, de VS zelf. Hallo, en je klaagt dat ...