Dumb and Gets Things Done (2010) (johndcook.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of johndcook.com: Dumb and Gets Things Done (2010)

First screen, captured 3 years ago.

Looks similar

Screenshot of johndcook.com: Writes Large Correct Programs (2008)

Writes Large Correct Programs (2008)(johndcook.com)

125 points by gavinhoward 1 year ago | 85 comments

Screenshot of johndcook.com: Tetrahedral Analog of the Pythagorean Theorem

Tetrahedral Analog of the Pythagorean Theorem (johndcook.com)

10 points by ibobev 11 months ago | 1 comments

Screenshot of johndcook.com: OpenAI’s Navier-Stokes release included a Lean 4 formal proof

OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)

142 points by ibobev 1 month ago | 142 comments

Screenshot of johndcook.com: How Lewis Carroll computed determinants (2023)

How Lewis Carroll computed determinants (2023)(johndcook.com)

195 points by tzury 10 months ago | 53 comments

Screenshot of johndcook.com: Tofolli gates are all you need

Tofolli gates are all you need (johndcook.com)

110 points by ibobev 6 months ago | 35 comments

Screenshot of johndcook.com: Prime chains

Prime chains (johndcook.com)

36 points by ibobev 9 months ago | 8 comments