LODA: Difference between revisions

From BOINC Projects
Jump to navigation Jump to search
VisualWikitext
Al Piskun (talk | contribs)
1,223 edits
first light
 
Al Piskun (talk | contribs)
1,223 edits
No edit summary
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<div style="background-color: #D4E2FC; border-top: 1px solid #5F92F2; font-size: bigger; padding-left: 15px; margin: 12px -5px -5px -5px;">'''BOINC project page template'''</div>
{{Infobox software
| name                = LODA
| logo                =
| logo caption        =
| status              = Active
| category            = Mathematics
| compute              = CPU
| dependencies        = Git
| developer            = LODA Language contributors
| maintainer          = LODA Language project
| released            = {{Start date and age|2022|05|14}}
| repository          = {{URL|https://github.com/loda-lang}}
| programming language = Rust, Assembly-like domain specific language
| operating system    = Windows, Linux, macOS
| stats as of          = {{Start date and age|2026|05|21}}
| average performance  = 3567.9 GigaFLOPS
| active users        = 262
| total users          = 1152
| active hosts        = 10422
| total hosts          = 8237726
| website              = {{URL|https://boinc.loda-lang.org/loda/}}
| license              = Open source
}}


LODA is a '''''[[wikipedia:Volunteer computing|volunteer computing]]''''' project that has a needs your help to ...
'''LODA''' is a '''[[wikipedia:Volunteer computing|volunteer computing]]''' project based on the [[wikipedia:Berkeley Open Infrastructure for Network Computing|BOINC]] platform. The project uses distributed computing to discover formulas and efficient algorithms for integer sequences from the [[wikipedia:On-Line Encyclopedia of Integer Sequences|On-Line Encyclopedia of Integer Sequences]] (OEIS).<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=What is LODA? |publisher=LODA Language |access-date=2026-05-21}}</ref>


== Why This_project? ==
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.<ref>{{cite web |url=https://loda-lang.org/mining/ |title=Program Mining |publisher=LODA Language |access-date=2026-05-21}}</ref>
[[File:BOINC Manager Screenshot.jpg|right|frameless|467x467px]]
The project officially launched on the BOINC platform in May 2022.<ref>{{cite web |url=https://www.reddit.com/r/BOINC/comments/upocpy/new_boinc_project_loda/ |title=New BOINC project - LODA |website=Reddit |date=2022-05-14 |access-date=2026-05-21}}</ref>


* why this topic/object of study?
== 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.<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=What is LODA? |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
The project combines volunteer computing, evolutionary search techniques, optimization methods, and machine learning approaches to search for compact programs that reproduce OEIS sequences correctly.<ref>{{cite web |url=https://loda-lang.org/connect/ |title=Connect |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
Unlike many BOINC projects focused on astronomy, biology, or physics, LODA focuses almost entirely on mathematical discovery and algorithm synthesis.


== Goal ==
== Goal ==
* summarize the objectives and challenges which the project addresses, before jumping into details
 
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.<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=What is LODA? |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
The project also aims to bridge automated program synthesis with formal mathematical proof systems such as LEAN.<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=150,000 Programs Milestone Reached |publisher=LODA Language |date=2026-02-14 |access-date=2026-05-21}}</ref>


== Methods ==
== Methods ==
* always including "why BOINC"?
 
* impactful final statement
LODA uses a custom assembly-like programming language designed specifically for compact mathematical algorithms.<ref>{{cite web |url=https://loda-lang.org/mining/ |title=Program Mining |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
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.<ref>{{cite web |url=https://boinc.loda-lang.org/loda/welcome.php |title=Welcome to LODA |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
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.<ref>{{cite web |url=https://loda-lang.org/connect/ |title=Connect |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
LODA supports Windows, Linux, and macOS systems.<ref>{{cite web |url=https://boinc.berkeley.edu/projects.php |title=Choosing BOINC projects |publisher=BOINC |access-date=2026-05-21}}</ref>
 
== 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.<ref>{{cite web |url=https://loda-lang.org/connect/ |title=Connect |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
One notable feature is the native <code>seq</code> instruction, which allows programs to invoke other OEIS sequence programs recursively or compositionally.<ref>{{cite web |url=https://loda-lang.org/connect/ |title=Connect |publisher=LODA Language |access-date=2026-05-21}}</ref>
 
The language was designed to support automated program generation and optimization efficiently.


== Project team / Sponsors ==
== Project team / Sponsors ==


*list here
LODA is an independent open-source community project maintained by contributors to the LODA Language ecosystem.<ref>{{cite web |url=https://github.com/loda-lang |title=loda-lang organization |website=GitHub |access-date=2026-05-21}}</ref>
 
The project uses the BOINC volunteer computing infrastructure developed at the [[wikipedia:University of California, Berkeley|University of California, Berkeley]].<ref>{{cite web |url=https://boinc.org/ |title=BOINC |publisher=University of California, Berkeley |access-date=2026-05-21}}</ref>
 
Community discussion and support are provided through the project forums, Discord server, GitHub repositories, and BOINC communities.<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=What is LODA? |publisher=LODA Language |access-date=2026-05-21}}</ref>


== Scientific results ==
== Scientific results ==
* external links
[[File:OEIS icon.png|thumb|The project mines programs for sequences listed in the OEIS database]]
LODA has successfully generated large collections of programs for OEIS sequences, including many sequences which previously lacked computational formulas.<ref>{{cite web |url=https://boinc.berkeley.edu/?source=ClusterGate.RU |title=News from BOINC Projects |publisher=BOINC |access-date=2026-05-21}}</ref>
 
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<ref>{{cite web |url=https://boinc.loda-lang.org/loda/ |title=150,000 Programs Milestone Reached |publisher=LODA Language |date=2026-02-14 |access-date=2026-05-21}}</ref>
 
The project has also expanded support for ARM64 systems and Raspberry Pi hardware.<ref>{{cite web |url=https://www.reddit.com/r/BOINC/comments/upocpy/new_boinc_project_loda/ |title=New BOINC project - LODA |website=Reddit |access-date=2026-05-21}}</ref>
 
== 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.<ref>{{cite web |url=https://www.reddit.com/r/BOINC/comments/1l74cok/what_projects_are_you_supporting_why_what/ |title=What projects are you supporting? |website=Reddit |access-date=2026-05-21}}</ref>
 
Community members contribute CPU resources from desktop computers, servers, ARM systems, and Apple Silicon devices.<ref>{{cite web |url=https://www.reddit.com/r/BOINC/comments/1l74cok/what_projects_are_you_supporting_why_what/ |title=What projects are you supporting? |website=Reddit |access-date=2026-05-21}}</ref>


== Scientific publications ==
== Scientific publications ==
Format example:
 
# Durech, J., B. Carry, M. Delbo, M. Kaasalainen and M. Viikinkoski. [https://arxiv.org/abs/1502.04816 Asteroid Models from Multiple Data Sources.] (2015). DOI: 10.48550/ARXIV.1502.04816.
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.<ref>{{cite web |url=https://arxiv.org/abs/1903.01699 |title=BOINC: A Platform for Volunteer Computing |publisher=arXiv |access-date=2026-05-21}}</ref>
 
* McGilvary, Gary A.; Barker, Adam; Lloyd, Ashley; Atkinson, Malcolm. ''V-BOINC: The Virtualization of BOINC''. 2013. arXiv:1306.0846.<ref>{{cite web |url=https://arxiv.org/abs/1306.0846 |title=V-BOINC: The Virtualization of BOINC |publisher=arXiv |access-date=2026-05-21}}</ref>
 
* Durech, Josef; Hanus, Josef; Vanco, Radim. ''Asteroids@home - A BOINC distributed computing project for asteroid shape reconstruction''. 2015. arXiv:1511.08640.<ref>{{cite web |url=https://arxiv.org/abs/1511.08640 |title=Asteroids@home - A BOINC distributed computing project for asteroid shape reconstruction |publisher=arXiv |access-date=2026-05-21}}</ref>
 
== External links ==
 
* {{URL|https://boinc.loda-lang.org/loda/}} — Official project website
* {{URL|https://loda-lang.org/}} — LODA Language website
* {{URL|https://github.com/loda-lang}} — GitHub organization
* {{URL|https://boinc.berkeley.edu/projects.php}} — BOINC project listing
 
== References ==
 
{{Reflist}}

Latest revision as of 00:31, 25 May 2026





LODA
Project
StatusActive
CategoryMathematics
ComputeCPU
RequiresGit
Development
DeveloperLODA Language contributors
MaintainerLODA Language project
Initial releaseMay 14, 2022  (4 years ago)
Repositoryhttps://github.com/loda-lang
Software
Written inRust, Assembly-like domain specific language
Operating systemWindows, Linux, macOS
BOINC statistics
Stats as ofMay 21, 2026  (0 years ago)
Performance3567.9 GigaFLOPS
Active users262
Total users1,152
Active hosts10,422
Total hosts8,237,726
Metadata
Websitehttps://boinc.loda-lang.org/loda/
LicenseOpen source

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

The project mines programs for sequences listed in the OEIS database

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

References

  1. ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
  2. ↑ Program Mining. LODA Language. Retrieved 2026-05-21}.
  3. ↑ (2022-05-14}).New BOINC project - LODA. Reddit. Retrieved 2026-05-21}.
  4. ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
  5. ↑ Connect. LODA Language. Retrieved 2026-05-21}.
  6. ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
  7. ↑ (2026-02-14}).150,000 Programs Milestone Reached. LODA Language. Retrieved 2026-05-21}.
  8. ↑ Program Mining. LODA Language. Retrieved 2026-05-21}.
  9. ↑ Welcome to LODA. LODA Language. Retrieved 2026-05-21}.
  10. ↑ Connect. LODA Language. Retrieved 2026-05-21}.
  11. ↑ Choosing BOINC projects. BOINC. Retrieved 2026-05-21}.
  12. ↑ Connect. LODA Language. Retrieved 2026-05-21}.
  13. ↑ Connect. LODA Language. Retrieved 2026-05-21}.
  14. ↑ loda-lang organization. GitHub. Retrieved 2026-05-21}.
  15. ↑ BOINC. University of California, Berkeley. Retrieved 2026-05-21}.
  16. ↑ What is LODA?. LODA Language. Retrieved 2026-05-21}.
  17. ↑ News from BOINC Projects. BOINC. Retrieved 2026-05-21}.
  18. ↑ (2026-02-14}).150,000 Programs Milestone Reached. LODA Language. Retrieved 2026-05-21}.
  19. ↑ New BOINC project - LODA. Reddit. Retrieved 2026-05-21}.
  20. ↑ What projects are you supporting?. Reddit. Retrieved 2026-05-21}.
  21. ↑ What projects are you supporting?. Reddit. Retrieved 2026-05-21}.
  22. ↑ BOINC: A Platform for Volunteer Computing. arXiv. Retrieved 2026-05-21}.
  23. ↑ V-BOINC: The Virtualization of BOINC. arXiv. Retrieved 2026-05-21}.
  24. ↑ Asteroids@home - A BOINC distributed computing project for asteroid shape reconstruction. arXiv. Retrieved 2026-05-21}.
Retrieved from "https://boincsynergy.ca/wiki/index.php?title=LODA&oldid=1367"