Carl Sopchak <carl@sopchak.me> writes:
> <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>
We don't document this because it's platform- and version-dependent,
but yeah, generally /dev/urandom or local equivalent.
regards, tom lane
