Re: What seed does random() use if setseed() is not called first?

If it is, somewhere, it's not on the Mathematical Functions page where random() and setseed() are documented.

Thanks again...

Carl

On 7/23/22 18:06, Tom Lane wrote:

Carl Sopchak <carl(at)sopchak(dot)me> writes:

<p>Thank you for the quick reply! But I wouldn't have bothered you
if the documentation stated something to the effect of "While it's
platform-dependent, if setseed() is not called, the random number
generator is generally seeded by whatever method the operating
system provides as a source of randomness, such as /dev/urandom on
Linux/Unix, or &lt;???&gt; on Windows."</p>

Hmm, I thought this already was documented, but it looks like not.
I'll see what I can do.

regards, tom lane