On 18-11-2013 6:21, Robert J. Hansen wrote: > So even if > you're running two binaries that are completely identical, the CPU may > process them quite differently depending on the state of the system. > This has some extraordinary implications for those who are trying to > guarantee their CPU is operating exactly the same as another CPU!
> Every couple of years I look at this problem, read a couple of papers, > and walk away muttering about now is a great time to start drinking > heavily... Dijkstra's goal of formally prooving entire programs more complicated than hello world seems further away than ever. Don't loose any sleep over it, noone even tried that in practice anyway. -- ir. J.C.A. Wevers PGP/GPG public keys at http://www.xs4all.nl/~johanw/pgpkeys.html _______________________________________________ Gnupg-users mailing list Gnupg-users@gnupg.org http://lists.gnupg.org/mailman/listinfo/gnupg-users
