Door Anoniem: Door Anoniem: Door Named: iets wat onder andere kan worden opgevangen met de inzet van AI-fabrieken WAT? Wie heeft dat nou weer uit zijn duim gezogen? Cybersecurity heeft geen AI nodig, maar wijsheid: - Ontwikkelaars moeten "formal verification" theorie kennen, goed testen en solide foutafhandeling kunnen toepassen. de EU. Formele methodes, ja daar hadden ze het 40 jaar geleden ook al over. Nog nooit iemand tegengekomen die zo werkt. Alleen de rivierafsluiting Maeslantkerinf bij Rotterdam is dacht ik ooit 'formeel bewezen', maar ben benieuwd of de nieuwe versie dat ook weer gaat worden. Maak er eens een begin mee.... Op kleinere schaal, en vanaf het begin van een project(je). Voor een ontwikkelaar wordt het vanzelf een automatisme. De praktijk is dat dat wordt overgeslagen en dan achteraf veeeeeeeel meer tijd wordt besteed aan bughunting en reparatie. En nog veel meer geld aan lapmiddelen. Klinkt alsof je geen IDEE hebt wat 'formeel bewezen' is. "automatisme voor de ontwikkelaar" , ...