We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
DONE: The miner can fetch existing programs on demand.
Run wasm code in a separate worker, without blocking the ui.
The server has a bloom filter with all the pending oeis sequences that is yet to be mined. This is how the miner already works.
When there is a candidate program, then it would have to be uploaded to a server.
The server will have to validate incoming candidate programs. How precise are they. If they are good, then add the program to the repository.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
DONE: The miner can fetch existing programs on demand.
Run wasm code in a separate worker, without blocking the ui.
The server has a bloom filter with all the pending oeis sequences that is yet to be mined. This is how the miner already works.
When there is a candidate program, then it would have to be uploaded to a server.
The server will have to validate incoming candidate programs. How precise are they.
If they are good, then add the program to the repository.
The text was updated successfully, but these errors were encountered: