LODA: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
| logo = | | logo = | ||
| logo caption = | | logo caption = | ||
| status = Active | | status = Active | ||
| category = Mathematics | | category = Mathematics | ||
| compute = CPU | | compute = CPU | ||
| dependencies = Git | | dependencies = Git | ||
| developer = LODA Language contributors | | developer = LODA Language contributors | ||
| maintainer = LODA Language project | | maintainer = LODA Language project | ||
| released = {{Start date and age|2022|05|14}} | | released = {{Start date and age|2022|05|14}} | ||
| repository = {{URL|https://github.com/loda-lang}} | | repository = {{URL|https://github.com/loda-lang}} | ||
| programming language = Rust, Assembly-like domain specific language | | programming language = Rust, Assembly-like domain specific language | ||
| operating system = Windows, Linux, macOS | | operating system = Windows, Linux, macOS | ||
| stats as of = {{Start date and age|2026|05|21}} | | stats as of = {{Start date and age|2026|05|21}} | ||
| average performance = 3567.9 GigaFLOPS | | average performance = 3567.9 GigaFLOPS | ||
| Line 23: | Line 19: | ||
| active hosts = 10422 | | active hosts = 10422 | ||
| total hosts = 8237726 | | total hosts = 8237726 | ||
| website = {{URL|https://boinc.loda-lang.org/loda/}} | | website = {{URL|https://boinc.loda-lang.org/loda/}} | ||
| license = Open source | | license = Open source | ||
Latest revision as of 00:31, 25 May 2026
LODA is a volunteer computing project based on the BOINC platform. The project uses distributed computing to discover formulas and efficient algorithms for integer sequences from the On-Line Encyclopedia of Integer Sequences (OEIS).[1]
LODA stands for Lexicographical Order Descent Assembly. It is both a small assembly-like programming language and a distributed computational framework designed to automatically mine programs capable of generating known integer sequences.[2]
The project officially launched on the BOINC platform in May 2022.[3]
Why LODA?
Many integer sequences listed in the OEIS database do not have compact formulas or efficient algorithms known for generating their values. LODA attempts to automatically discover these missing formulas using large-scale distributed computation.[4]
The project combines volunteer computing, evolutionary search techniques, optimization methods, and machine learning approaches to search for compact programs that reproduce OEIS sequences correctly.[5]
Unlike many BOINC projects focused on astronomy, biology, or physics, LODA focuses almost entirely on mathematical discovery and algorithm synthesis.
Goal
The primary goal of LODA is to:
- Discover new formulas for integer sequences
- Find shorter or faster algorithms for known sequences
- Expand computational coverage of the OEIS database
- Generate formally verifiable mathematical formulas
- Build a large open database of automatically mined programs
According to the project homepage, LODA has discovered more than 150,000 sequence-generating programs.[6]
The project also aims to bridge automated program synthesis with formal mathematical proof systems such as LEAN.[7]
Methods
LODA uses a custom assembly-like programming language designed specifically for compact mathematical algorithms.[8]
The project distributes computational work units through the BOINC infrastructure. Volunteer computers execute mining tasks which search for programs capable of reproducing target integer sequences.[9]
The mining process includes:
- Program mutation
- Evolutionary search
- Heuristic optimization
- Sequence matching
- Formula simplification
- Verification against OEIS data
All discovered programs are stored in the public LODA repositories and are credited to contributors.[10]
LODA supports Windows, Linux, and macOS systems.[11]
LODA Language
The LODA language is intentionally minimalistic and resembles low-level assembly languages. It includes arithmetic operations and sequence composition features specifically designed for number theory research.[12]
One notable feature is the native seq instruction, which allows programs to invoke other OEIS sequence programs recursively or compositionally.[13]
The language was designed to support automated program generation and optimization efficiently.
Project team / Sponsors
LODA is an independent open-source community project maintained by contributors to the LODA Language ecosystem.[14]
The project uses the BOINC volunteer computing infrastructure developed at the University of California, Berkeley.[15]
Community discussion and support are provided through the project forums, Discord server, GitHub repositories, and BOINC communities.[16]
Scientific results
LODA has successfully generated large collections of programs for OEIS sequences, including many sequences which previously lacked computational formulas.[17]
Major milestones announced by the project include:
- 140,000 discovered programs in 2025
- 150,000 discovered programs in 2026
- Integration with the LEAN theorem prover
- Development of a public API and Model Context Protocol (MCP) interface[18]
The project has also expanded support for ARM64 systems and Raspberry Pi hardware.[19]
Community
LODA has developed a small but active community within the BOINC ecosystem. Users frequently discuss optimization, hardware compatibility, and mining results on Reddit and BOINC forums.[20]
Community members contribute CPU resources from desktop computers, servers, ARM systems, and Apple Silicon devices.[21]
Scientific publications
While no formal dedicated LODA research paper was identified, the project is built on the BOINC distributed computing infrastructure described in the following publications:
- Anderson, David P. BOINC: A Platform for Volunteer Computing. 2019. arXiv:1903.01699.[22]
- McGilvary, Gary A.; Barker, Adam; Lloyd, Ashley; Atkinson, Malcolm. V-BOINC: The Virtualization of BOINC. 2013. arXiv:1306.0846.[23]
- Durech, Josef; Hanus, Josef; Vanco, Radim. Asteroids@home - A BOINC distributed computing project for asteroid shape reconstruction. 2015. arXiv:1511.08640.[24]
External links
- https://boinc.loda-lang.org/loda/ — Official project website
- https://loda-lang.org/ — LODA Language website
- https://github.com/loda-lang — GitHub organization
- https://boinc.berkeley.edu/projects.php — BOINC project listing
References
- ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
- ↑ Program Mining. LODA Language. Retrieved 2026-05-21}.
- ↑ (2022-05-14}).New BOINC project - LODA. Reddit. Retrieved 2026-05-21}.
- ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
- ↑ Connect. LODA Language. Retrieved 2026-05-21}.
- ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
- ↑ (2026-02-14}).150,000 Programs Milestone Reached. LODA Language. Retrieved 2026-05-21}.
- ↑ Program Mining. LODA Language. Retrieved 2026-05-21}.
- ↑ Welcome to LODA. LODA Language. Retrieved 2026-05-21}.
- ↑ Connect. LODA Language. Retrieved 2026-05-21}.
- ↑ Choosing BOINC projects. BOINC. Retrieved 2026-05-21}.
- ↑ Connect. LODA Language. Retrieved 2026-05-21}.
- ↑ Connect. LODA Language. Retrieved 2026-05-21}.
- ↑ loda-lang organization. GitHub. Retrieved 2026-05-21}.
- ↑ BOINC. University of California, Berkeley. Retrieved 2026-05-21}.
- ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
- ↑ News from BOINC Projects. BOINC. Retrieved 2026-05-21}.
- ↑ (2026-02-14}).150,000 Programs Milestone Reached. LODA Language. Retrieved 2026-05-21}.
- ↑ New BOINC project - LODA. Reddit. Retrieved 2026-05-21}.
- ↑ What projects are you supporting?. Reddit. Retrieved 2026-05-21}.
- ↑ What projects are you supporting?. Reddit. Retrieved 2026-05-21}.
- ↑ BOINC: A Platform for Volunteer Computing. arXiv. Retrieved 2026-05-21}.
- ↑ V-BOINC: The Virtualization of BOINC. arXiv. Retrieved 2026-05-21}.
- ↑ Asteroids@home - A BOINC distributed computing project for asteroid shape reconstruction. arXiv. Retrieved 2026-05-21}.