Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Two-hundred-terabyte math proof is largest ever. Parent comment
https://www.cs.utexas.edu/~marijn/drat-trim/
There are publications and examples on the website that explain how the compression the authors used works.
There are no comments on this comment yet.
https://www.cs.utexas.edu/~marijn/drat-trim/
There are publications and examples on the website that explain how the compression the authors used works.