BOINC-AUSTRALIA FORUM

---

 
Project Summary

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®). (https://oeis.org/) The goal of the project is to find new formulas and more efficient algorithms for a wide range of non-trivial integer sequences.

The LODA Language

LODA means Lexicographical Order Descent Assembly. It is an assembly-based language for solving number-theoretic problems. Its simple syntax combined with its powerful operations makes it ideal for automated search of new programs and algorithms using a process called program mining.

For an overview of the LODA language, you can read its specification. (https://loda-lang.org/spec/) It includes a reference of its operations with examples. You can use the online editor (https://loda-lang.org/editor/) to try it out yourself. For more programs, you can browse through the lists of mined programs for integer sequences from the OEIS. There are currently more than 70,000 programs available. You can find lists with descriptions and links below. Except for a few hand-witten ones, these programs have been generated using distributed miners.

Applications

The following applications are supported:

Please see their Applications page: HERE (https://boinc.loda-lang.org/loda/apps.php)

Connecting to the Project

NOTE: The program git must be on the machine for this project to work.  On Linux Ubuntu/Debian the command is "sudo apt install git" For Windows go to this page and download either the 32 or 64 bit application.https://git-scm.com/downloads.  I just accepted all the defaults on my WIN10 machine.

The projects Home Page is at: https://boinc.loda-lang.org/loda/ (https://boinc.loda-lang.org/loda/)

Don't forget to join BOINC@Australia at home Team following your registration.

Statistics

View or Team Members List and their current score: HERE  (https://boinc.loda-lang.org/loda/team_members.php?teamid=7&offset=0&sort_by=total_credit&offset=0)
View BOINStats detailed stats for our LODA Team: HERE  (https://www.boincstats.com/stats/199/team/detail/7)