1
2
using Random
Random.default_rng()

Ref. How to get the current “random” seed?