We celebrate a new project milestone: more than 120k programs and 47k formulas for integer sequences have been found so far. A big Thank You! and shout out to all contributors of the LODA project!

During the last weeks and months, the mining rate (number of found programs) decreased, but we maintain a steady pace. At this point it is difficult to estimate how the rate will develop. During the last days we found many new programs for decimal expansions of log-constants. This is encouraging as we hope to find more programs for decimal expansions of irrational numbers.

In terms of tooling, we spend quite some effort in machine-learning and GPU-based program mining. These approaches yielded already some first findings, but they are still in an experimental phase and not ready for an integration in BOINC. In the coming weeks, we plan to invest more time again into our core mining app to increase the mining rate and improve the quality of the existing programs. Please continue your support for the project!

Thank you for the update. We will continue to contribute to this project.

Bill F

I am supporting this project, but running into a lot of errors over the last day with 20 failures of never ending work units until they hit the run time limit.

Conan

In terms of tooling, we spend quite some effort in machine-learning and GPU-based program mining. These approaches yielded already some first findings, but they are still in an experimental phase and not ready for an integration in BOINC. In the coming weeks, we plan to invest more time again into our core mining app to increase the mining rate and improve the quality of the existing programs.

Great news!!

We are investigating the issue.

Please check tne latest updates in this thread regarding the timeout issue: https://boinc.loda-lang.org/loda/forum_thread.php?id=52