Probability of typing a wrong Bitcoin address(johndcook.com)45 points by ibobev 1 year ago | 26 comments
OpenAI’s Navier-Stokes release included a Lean 4 formal proof(johndcook.com)142 points by ibobev 1 month ago | 142 comments
Writes Large Correct Programs (2008)(johndcook.com)125 points by gavinhoward 1 year ago | 85 comments