" LODA

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.

Join LODA

Already joined? Log in.

News

Project Status Update
I'm pleased to announce that we have reached a new milestone: more than 90,000 mined programs for OEIS integer sequences. Thank you all for your contributions to the LODA project!

Since our last major milestone in late of May, we have made various improvements to our mining tool, our infrastructure and project websites. This includes among others:


  • Reduced error rate and optimized task configuration
  • Checkpoints and improved progress reporting
  • Credit level badges
  • Programs per user monitoring on the dashboard
  • Complete rewrite and replacement of API server


Our next target milestone is to reach 100,000 programs. We plan to improve the quality of the mined programs by including additional data sources and extend the configuration of the miners to improve the mining rates. Reducing errors stays one of our top priorities. We rely on your support for reaching our next milestone and highly appreciate your contributions!

Cheers,
The LODA Team
29 Jun 2022, 16:28:32 UTC · Discuss


... more

News is available as an RSS feed   RSS


©2022 LODA Language