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.

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 Discord.

LODA runs on Windows 10 or higher, Linux and macOS. Please install the git version control tool before running LODA:

• 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.

Shutdown of LODA BOINC
Dear LODA BOINC community,

After careful consideration, I have decided to shut down the LODA BOINC project.

When LODA BOINC started, distributed computing was an effective way to search for new LODA programs and mathematical solutions. Recent advances in AI have changed this significantly, and AI-based approaches are now becoming much more effective for this kind of program and formula discovery.

Therefore, I believe it is time to bring the LODA BOINC project to an end. I would like to sincerely thank everyone who contributed computing power and supported LODA BOINC over the years. Your contributions have been greatly appreciated. The LODA programs and results will remain available on GitHub, so the work produced by the project will continue to be accessible.

Thank you for being part of the LODA BOINC community!
10 Sep 2026, 10:00:44 UTC · Discuss

News is available as an RSS feed