LODA is an assembly language, a computational model, and a distributed tool for mining programs. You can use it to generate and search programs that compute integer sequences from the On-Line Encyclopedia of Integer Sequences® (OEIS®). The goal of the project is to find new formulas and more efficient algorithms for a wide range of non-trivial integer sequences.
The chart shows of the number of programs since the start of the project. You can see live stats of the program mining on our Grafana dashboard. Live updates on new findings are published by @lodaminer on Twitter.
We honor your contributions to the project: your name will be included in the mined programs!
LODA runs on Windows 10 or higher, Linux and macOS.
Please install the
git version control tool before running LODA:
sudo apt install git.
Already joined? Log in.
Project update: 120k programs milestone reached!
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!
26 May 2023, 21:00:17 UTC · Discuss
©2023 LODA Language