view docs/spec/fv0.tikz @ 657:4c4389325ae4

Better RNG initialization

On platforms where it's available, use gettimeofday() and mix in the ~20
bits that that gives to the high (slowly-changing) bits of the seconds
since the Epoch.

\foreach \y/\col in {0/53,0.2/32,0.4/37,0.6/4,0.8/63} {
  \fill[black!\col!white] ($(-0.1,0)+(0,\y)$) rectangle ($(0.1,0.2)+(0,\y)$);
}