Andrew Gierth <andrew@tao11.riddles.org.uk> writes:
> This query:
> select random() from generate_series(1,10) order by random();
> produces sorted output.
> Should it?
It always has; we'd doubtless break some apps if we changed that.
regards, tom lane