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? Vincent Manis (he/him) 28 Jan 2025 01:27 UTC

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.

-- vincent