<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<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 <???> on Windows."</p>
<p>Just a suggestion, hope this helps, and thanks again!</p>
<p>Carl<br>
</p>
<div class="moz-cite-prefix">On 7/23/22 17:47, Tom Lane wrote:<br>
</div>
<blockquote type="cite" cite="mid:1220338(dot)1658612839(at)sss(dot)pgh(dot)pa(dot)us">
<pre class="moz-quote-pre" wrap="">Carl Sopchak <a class="moz-txt-link-rfc2396E" href="mailto:carl(at)sopchak(dot)me"><carl(at)sopchak(dot)me></a> writes:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap=""> <p>There is one point about the documentation for random() and
setseed() that is missing. What is used to seed random() if
setseed() isn't called first? I assume it's something like
/dev/random or /dev/urandom, but that's just a guess. Can someone
please enlighten me?</p>
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
We don't document this because it's platform- and version-dependent,
but yeah, generally /dev/urandom or local equivalent.
regards, tom lane
</pre>
</blockquote>
</body>
</html>