3 ms·My /dev/random could do better if queried correctlyby boesboes 2mo agoMy /dev/random could do better if queried correctly