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!
For help and discussions, you can contact us in our forum or join us on Slack.
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: 110k programs milestone reached!
Your contributions have pushed us to our new milestone of 110k programs. This is an amazing achievement. Thanks for your continuous support to the LODA project!
We have also made major progress on the tooling side to make our results more accessible and to better support research activities. We have created a new interactive programs website where you can search for programs that your miners submitted. To better support research activities, we have built a new feature for automatic formula and PARI/GP code generation for many LODA programs. In addition, we have improved the tweets on @lodaminer to make them more digestible and include your names.
Our next immediate goals are to make the programs website more mature and powerful, e.g., by supporting new keywords. We also plan to extend the formula generation to cover more complex programs. In terms of new programs, we would like to reach 120k programs by the end of January 2023. This is an ambitious goal but we hope to keep up our current pace, powered by your amazing support!
6 Dec 2022, 18:30:09 UTC · Discuss
©2023 LODA Language