Project Updates

[Daniel]

Stats for this project are now being displayed on the BOINCstats website.

You need to tick the box that says "Do you consent to exporting your data to BOINC statistics aggregation Web sites?" in your LODA preferences if you want your stats to appear.

[shift]

Thanks for the reminder, I had forgotten to do that.

[Dingo]

[LODA] LODA project restarted after maintenance
We are excited to announce that LODA is back online after a maintenance period of around 10 months. We used the time to extend the LODA language with new operators which should enable it to find new and better programs for integer sequences. There may still be hiccups during in the rampup phase. If you encounter problems please let reach out to us in the forum or in Discord.

The LODA team

View article · Thu, 15 Aug 2024 21:20:01 +0000

[Dingo]

[LODA] 140,000 Programs Milestone Reached

We are excited to announce that the LODA BOINC project has reached an significant milestone: over 140,000 programs discovered! This marks a major advancement in our mission to automatically generate programs for integer sequences from the OEIS. Thanks to your support, we now have program coverage for entire classes of sequences that previously had no program coverage at all.

We have launched a public API that enables programmatic access to the LODA database, allowing developers and researchers to query, analyze, and work with LODA programs at scale. Our new Model Context Protocol (MCP) server integration now allows AI chatbots to interact directly with LODA. Users can analyze integer sequences, execute LODA programs, and even submit new programs using conversational AI interfaces.

The Top Users page has been improved to better highlight your contributions, now featuring an additional column showing the number of programs mined by each user.

Thank you for your continued support, and for contributing your computing power and expertise to the project!

View article · Fri, 3 Oct 2025 14:22:15 +0000

[Dingo]

LODA: 150,000 Programs Milestone Reached
We are thrilled to announce that the LODA BOINC project has reached another remarkable milestone: over 150,000 programs discovered! This represents a 10,000 program increase since our last announcement in October 2025, and we couldn't have achieved this without your dedicated support and computing power.

Major Developments Since October 2025

LEAN Theorem Prover Integration
The most significant advancement has been our comprehensive LEAN formula generation capability. LODA can now automatically export programs to LEAN format, enabling formal verification of integer sequence formulas. This groundbreaking feature includes:
* Support for simple recursive functions and multiple mutually recursive functions
* Support for factorial (fac), power (pow), binomial coefficients (bin), and bitwise operations
* LEAN project support for automated testing and validation
This integration bridges the gap between automated program discovery and formal mathematical proof, opening new possibilities for verified mathematics in the OEIS community.

Formula Generation Enhancements
We've dramatically improved formula generation capabilities, supporting more LODA operations including memory operations (fil, rol, ror), conditional division (dif), digital root (dir), and largest exponent (lex). Performance optimizations have made formula generation significantly faster.

Infrastructure Modernization
We've integrated libcurl and zlib libraries directly into LODA, eliminating dependencies on external curl/wget and gzip/gunzip tools. This makes LODA more self-contained and reliable across all platforms. We've also migrated to v2 API endpoints and added automatic detection and reporting of broken b-files for improved data quality.

Platform Support
LODA now supports Windows ARM64 architecture, expanding our reach to newer Windows devices with ARM processors.

Performance Improvements
Numerous optimizations have been implemented, including improved operation merging in the optimizer, better handling of pow and nrt operations, and increased default maximum physical memory for handling larger computation tasks.

Looking Forward
With over 150,000 programs now in our database, LODA continues to expand the boundaries of automated mathematical discovery. The LEAN integration represents a major step toward formally verified programs, and we're excited to see how this capability will be used by the mathematical community.

Thank you for your unwavering support and for contributing your computing resources to advance mathematical knowledge. Every program you help discover brings us closer to understanding the beautiful patterns hidden within integer sequences!
14-Feb-26 19:39:44 · more...