Je hebt een klacht over de onderstaande posting:
Door _R0N_: Zover ik weet is er maar 1x bevestigd dat het 100% zeker is dat er geen bugs zitten in een stuk software. Dat stukje software, wat niet heel complex is was de originele Pacman. De originele Pacman _heeft_ een bug. https://errors.fandom.com/wiki/Pac_Man_-_Infamous_Kill_Screen_Bug Er is research naar formele verificatie https://en.wikipedia.org/wiki/Formal_verification (dat gaat natuurlijk all the way down - met bewezen compiler, op bewezen hardware ...) Avionics software is een gebied wat misschien niet bewezen bugvrij is, maar wel _extreem_ weinig bugs. Feynman in de beschrijving van de Space Shuttle. (https://www.ranum.com/security/computer_security/editorials/dumb/feynman.html Donald Knuth heeft ook wat (significante) software geschreven met _erg_ weinig bugs : The original source code for the current TeX software is written in WEB, a mixture of documentation written in TeX and a Pascal subset in order to ensure readability and portability. For example, TeX does all of its dynamic ...
Beschrijf je klacht (Optioneel):
Specialiseer je in Forensisch ICT
Online informatieavond 19 november
Wil jij je specialiseren in digitaal forensisch onderzoek? Je kennis verbreden en tech-nische vaardigheden ontwikkelen? Ontdek de cursus- en opleidingsmogelijkheden van Hogeschool Leiden:
- Bachelor Informatica Forensisch ICT (deeltijd)
- Master Digital Forensics (vol- en deeltijd)
- Module Mobile Forensics
- Module Data Analytics
Interesse? Meld je aan!
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
