Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Computer Search Settles 90-Year-Old Math Problem. Parent comment
Idk, but proof is certainly needed. If the code reduces by symmetry, that part of the code should be proven correct (too).
There are no comments on this comment yet.
Idk, but proof is certainly needed. If the code reduces by symmetry, that part of the code should be proven correct (too).