Tetrahedral Analog of the Pythagorean Theorem(johndcook.com)10 points by ibobev 11 months ago | 1 comments
Writes Large Correct Programs (2008)(johndcook.com)125 points by gavinhoward 1 year ago | 85 comments