Julia: Use RandomDevice in UUIDs instead of default_rng?

Created on 13 May 2020  路  2Comments  路  Source: JuliaLang/julia

@c42f commented on https://github.com/JuliaLang/julia/pull/35833#discussion_r424052968

Actually this would suggest that the global RNG from Random isn't a great choice for UUIDs anyway because the user may control the seeding for reasons unrelated to UUIDs.

Maybe we should use Random.RandomDevice() instead of Random.default_rng() in UUIDs?

See also https://github.com/JuliaLang/julia/issues/32954#issuecomment-526580532

good first issue help wanted
Source
picture tkf
❤1

Most helpful comment

Thanks so much @tkf for boldly making coherent issues out of my random side remarks :sweat_smile:

picture c42f on 13 May 2020
👍3

All 2 comments

Yes, I think that's a good idea.

StefanKarpinski picture StefanKarpinski on 13 May 2020

Thanks so much @tkf for boldly making coherent issues out of my random side remarks :sweat_smile:

c42f picture c42f on 13 May 2020
👍3
Was this page helpful?
0 / 5 - 0 ratings

Related issues

musm picture musm  路  3Comments
m-j-w picture m-j-w  路  3Comments
sbromberger picture sbromberger  路  3Comments
ararslan picture ararslan  路  3Comments
wilburtownsend picture wilburtownsend  路  3Comments