calebegg/proof-pad — pull request #33 by PeterReid (2012-05-02 03:21:56+00:00)
Title: Defrandom optimized

Generating random strings and symbols was slow - their lengths were being chosen from a Bernoulli distribution, and I was actually simulating a bunch of trials to build that distribution. Now I have hard-coded the particular Bernoulli distribution being used, so it generates one random integer rather than many (300).