loda-lang / loda-rust

Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
https://loda-lang.org/
Apache License 2.0
24 stars 2 forks source link

Miner running in the browser #4

Open neoneye opened 3 years ago

neoneye commented 3 years ago

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.