MLton.Random.seed

Stephen Weeks MLton@sourcelight.com
Tue, 26 Jun 2001 09:34:07 -0700


> How would you know if there is entropy in the entropy pool.  Any way, it is
> within its rights, as is /dev/urandom, to give short reads.

Because I filled it up first :-).

Seriously, there always seem to be at least 20 or 30 bytes available in my
pool.  But, I consistently observe a short read from /dev/random within the
first 10 bytes.