On 2026-05-18 08:32, Peter McGoron wrote:
> Perhaps the specification can be extended such that if `#t` is passed
> as an initializer, then the random port is initialized to a fixed
> default state.
>
> -- Peter McGoron
>
I'm still coming at this from a teaching viewpoint. The #t suggestion is
great, but if I were teaching with this, I'd want to show that different
seeds produce different random sequences. So I'd like to extend this
slightly so that any integer can be used (as well as #t), with the
requirement that each integer leads to an initial state (presumably
different, but that's not guaranteed). -- vincent