[tor-talk] BitMail.sf.net v 0.6 - Secure Encrypting Email Client

[Johan Wevers]

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