えっと、ランダムジェネレータって大きく２つあって

3:49 AM

CSPRNGなやつと、高速で再現性のあるやつ

3:49 AM

シードを与えられるのは後者で、セキュリティ目的で望ましいのは前者

3:49 AM

それで、「デフォルトのRandom」をどっちにするかって議論があって

3:50 AM

なんかいろいろ話されてるんだけど、名前ちゃんとつけようぜ、っていう別の提案議論も並行して今やってるので

3:50 AM

ちょっとどうなるかわかんない