Resolving a mysterious problem with find(johndcook.com)29 points by chmaynard 1 year ago | 31 comments
Writes Large Correct Programs (2008)(johndcook.com)125 points by gavinhoward 1 year ago | 85 comments
What is the point of a public key fingerprint?(johndcook.com)96 points by rolph 2 years ago | 129 comments
Tetrahedral Analog of the Pythagorean Theorem(johndcook.com)10 points by ibobev 11 months ago | 1 comments