Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow to specify seed in block handler #1657

Open
fehiepsi opened this issue Oct 2, 2023 · 0 comments
Open

Allow to specify seed in block handler #1657

fehiepsi opened this issue Oct 2, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@fehiepsi
Copy link
Member

fehiepsi commented Oct 2, 2023

Currently, block hander does not expose message to outer seed handler. Users have to seed the blocked program explicitly. Hence the blocked program is no longer stochastic. To make it stochastic, users have to

  • call prng_key primitive to get a seed
  • seed the blocked program by that key

This pattern happens repeatedly in the code base and recently appears in the autoguide list PR #1644 .

I think we can make such procedure automatic for users.

@fehiepsi fehiepsi added the enhancement New feature or request label Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant