You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
With the creation of a state-manager (gen_server; see #64), now's the right time to re-think how we're managing and using random seeds and random state.
Tasks:
Identify the different ways in which we want to use random seeds
Define those as configuration / options
Initialise the seed(s) as appropriate in the gen_server
Add functions for updating or viewing the seed(s)
Examine current usage
Add wrapping functions for the rand capabilities we need
With the creation of a state-manager (
gen_server; see #64), now's the right time to re-think how we're managing and using random seeds and random state.Tasks:
gen_serverDepends upon #64