@nikomatsakis Too late, but xorshift is what you want.
To answer my own question, perhaps xorshift or well512a...http://stackoverflow.com/questions/3052312/cheap-and-cheerful-rand-replacement …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.