News for hackers. Stuff that matters.
Re:Two-hundred-terabyte math proof is largest ever by dylanz on Friday May 27, 2016 @06:57AM (#11785131)
Is the data compressed and piped into a known compression algorithm, or is there some other technique used? I'd love to know how the actual program is run. Side note... the visual output is really interesting to see, and I'll admit I crossed my eyes at it to see if I could see some sort of pattern (read: there was no sailboat).
Re:Two-hundred-terabyte math proof is largest ever by nrfc on Friday May 27, 2016 @11:48AM (#11786772)
The authors used this tool:

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.