should generate-symbol use "special" characters? Per Bothner (27 Jan 2025 23:19 UTC)
Re: should generate-symbol use "special" characters? Vincent Manis (he/him) (27 Jan 2025 23:49 UTC)
Re: should generate-symbol use "special" characters? Wolfgang Corcoran-Mathe (28 Jan 2025 00:57 UTC)
Re: should generate-symbol use "special" characters? Vincent Manis (he/him) (28 Jan 2025 01:27 UTC)
Re: should generate-symbol use "special" characters? Wolfgang Corcoran-Mathe (28 Jan 2025 01:33 UTC)
Re: should generate-symbol use "special" characters? Marc Nieper-Wißkirchen (28 Jan 2025 06:37 UTC)
Re: should generate-symbol use "special" characters? Marc Nieper-Wißkirchen (28 Jan 2025 06:26 UTC)

Re: should generate-symbol use "special" characters? Wolfgang Corcoran-Mathe 28 Jan 2025 01:33 UTC

On 2025-01-27 17:27 -0800, Vincent Manis (he/him) wrote:
> On 2025-01-27 16:57, Wolfgang Corcoran-Mathe wrote
>
> > I believe /dev/urandom should be used in the sample implementation,
> > since reads from /dev/random may block.
>
> On modern kernels, /dev/random doesn't block after system
> initialization, so behaves the same as /dev/random. That said, I
> read somewhere that /dev/random will be going away eventually. So
> let's use /dev/urandom.

That's (post-2020?) Linux behavior. On other *nix systems /dev/random
may indeed block after RNG init. (See https://man.netbsd.org/rnd.4,
for example.)

Either way, /dev/urandom seems like the right choice.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>