从时间设置RNG种子

Question

当您打开一个新的J控制台并执行：

? 1000

你总会看到相同的结果，689（Try it online!）。

这是因为RNG将始终以相同的初始种子开始。

我正在寻找一种半随机改变种子的方法。它不必是安全的（例如，使用毫秒的时间或一些类似的方法是好的）。

我假设我会使用9!:45（记录在this page上）这样做，但我不确定如何继续。

我也不关心我使用的4个RNG中的哪一个。我只是想要一种方法来产生不同的随机结果，即使在一个新的控制台。

Answer 1

设置随机种子所需的外来物是9!:1（Random Seed）。

您可以使用randomize插件中提供的general/misc动词随机设置使用guids的随机种子，如果guid脚本不可用，则使用当前时间。例如：

   9!:0 ''            NB. Query the random seed/link
16807
   require 'numeric'
   randomize ''       NB. Set a new seed for the session
_1672920848 1179844600 923541917 _282857428
   9!:0 ''            NB. Query the random seed/link
_1672920848 1179844600 923541917 _282857428

randomize的定义是：

   randomize
3 : 0
 try.
   require 'guid'
   tmp=. _2 (3!:4) , guids 1
 catch.             NB. general/misc/guid.ijs not available
   tmp=. >:<.0.8*0 60 60 24 31#.0 0 0 0 _1+|.<.}.6!:0 ''
 end.
 ([ 9!:1) {.^:(2~:9!:42'') tmp    NB. set random initial random seed
)