Vectorization of an RNG

One popular random number generator that you can find out in the wild is the xoroshiro128 — or the xor-rotate-shift-rotate — by David Blackman and Sebastiano Vigna (source). It uses a state of four 32-bit integers (hence the 128-part in the name), an...