Abuse Melding

Je hebt een klacht over de onderstaande posting:

09-05-2023, 15:43 door Anoniem

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):

captcha