Nu steeds vaker allerlei digitale inbraken en overvallen worden gemeld, gecombineerd met de nog steeds toenemende digitalisering van de maatschappij doet zich de vraag voor hoe we van die ellende af kunnen komen. Dat schijnt te kunnen stelt het Amerikaanse Quanta Magazine, met wat zij ‘formele verificatie’ noemt; een programmeermethode die sluitend is als een wiskundig bewijs en ik daarom aanduid met wiskundige programmeren. Die programmeerwijze zou foutloze programmatuur opleveren. E-krakers en ander digitaal geboefte maken meestal juist gebruik van fouten in de code. Die gaan moeilijke tijden tegemoet Lees verder
Kraakbestendige code door wiskundig programmeren
Beantwoorden
Google heeft het al een aantal keren geprobeerd om een eigen berichtendienst op te zetten (zoals Google+), maar heeft de dominante positie van WhatsApp en Facebook nooit kunnen benaderen, laat staan bedreigen. Nu doet de gigant een nieuwe poging met Allo en koppelt er meteen wat kunstmatige intelligentie aan vast. De toepassing blijkt nieuwsgieriger dan Google heeft beloofd dat die zou zijn. Voor het resultaat, is de smoes. 
Een groep e-krakers, die zichzelf uitgeven voor 
Natuurlijk. Al die narigheid op het web die hier breed wordt uitgemeten heeft weinig met mijn of jouw wereld van doen. Dat zit nog, zeker als je weet dat organisaties waarbij wij ons heil hebben gezocht, zoals zorgverzekeraars of banken, wel degelijk doelwit zijn. Of, een club die wetenschappelijke nieuws verspreid, 
