the dataset i used for my triangle project last year was generated piecewise over ~2 months, but by the time it was done, the tools had evolved to the point that i can produce a fresh dataset of the same size in 8 hours. that's pretty cool.
Follow
annnnd now i can do it in 17 minutes
well sort of :-P i added a toggle that disables the final exact verification. this can give a small number of false positives (< 0.1% in practice), so i can't use it for formal / guaranteed bounds, but for generating large amounts of exploratory data it is awesome
i'm running it on 125000 data points right now, and it should be done by 8am tomorrow
this is neat