Where does the default seed come from?

julia> Random.default_rng().seed
4-element Vector{UInt32}:
 0x21fc2c5d
 0x2ccb7f07
 0xa6a6c199
 0x7786f2df

Where do these numbers come from?

for posterity, this doesn’t exist in >= 1.7:

julia> using Random

julia> Random.default_rng().seed
ERROR: type TaskLocalRNG has no field seed
Stacktrace:
1 Like