What is LODA?

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, Linux and macOS. You need to have git installed. On Windows, please install Git for Windows. On Ubuntu/Debian, you can install it using sudo apt install git. On macOS, it is included in homebrew.


Already joined? Log in.


Milestone reached: 80k programs!
We have reached our first milestone: 80,000 programs! Thanks a lot for your contributions. This is amazing and helps us a lot to move the project forward.

Thank you also for your great feedback in the forum and on Slack. We try to fix all issues that you encounter. We also plan to work on two feature requests: milestone badges and checkpoints. For the milestone badges, if you have any suggestions for images that we can use, please post them in this thread: https://boinc.loda-lang.org/loda/forum_thread.php?id=25

Looking ahead, our long-term goal is to find programs for all of the 350k integer sequences at OEIS. So please keep on mining -- we highly appreciate your contributions. Thank you!!!

The LODA team
20 May 2022, 16:20:16 UTC · Discuss

LODA on BOINC started!
I'm happy to announce that LODA is now running on BOINC! If you are interested in contributing compute power to find new programs for integer sequences, please join.
13 May 2022, 12:53:48 UTC · Discuss

... more

News is available as an RSS feed   RSS

©2022 LODA Language