Follow
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.
i'm running it on 125000 data points right now, and it should be done by 8am tomorrow
this is neat
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