Loda-lang – язык, вычислительная модель и майнер OEIS

lodalang8211языквычислительнаямодельимайнерoeis

LODA – это язык ассемблера, вычислительная модель и инструмент для добычи целочисленных последовательностей. Вы можете использовать его для создания и поиска программ, которые вычисляют целочисленные последовательности из On-Line Encyclopedia of Integer Sequences® (OEIS®).

Существуют постоянно работающие майнеры, которые генерируют новые программы каждый день !

Начало работы

Чтобы получить представление о языке LODA, вы можете взглянуть на его Спецификацию . Он включает ссылку на его операции с примерами. Вы можете использовать Онлайн-редактор , чтобы попробовать это сами!

Если вы хотите увидеть больше программ, вы можете просмотреть списки добытых программ для последовательностей OEIS. В настоящее время их более 45, 000001 программы доступны! Вы можете найти списки с описаниями и ссылками здесь:

За исключением Эти программы были созданы с использованием распределенных майнеров. Эти майнеры работают постоянно и каждый день создают новые или улучшенные программы. Вы можете взглянуть на Mining Dashboard , чтобы получить обзор последних находок майнеров.

Если вам нужны мои программы, вы можете установите инструмент командной строки LODA и начните добычу, используя команда loda mine или mine_parallel.sh скрипт (многоядерный). Узнайте больше об этом инструменте на loda-cpp .

Если вы хотите получать обновления о новых открытиях майнеров, вы можете проверить коммиты в loda-programs или подпишитесь на канал @ lodaminer в Твиттере или присоединяйтесь к другим энтузиастам LODA в рабочее пространство loda-lang в Slack.

Разработка

Исходный код LODA размещено в

организации loda-lang на GitHub. Вот некоторые из его основных репозиториев:

  • loda-cpp : интерпретатор и майнер, написанные на C ++. .
    • loda-rust : Интерпретатор и веб-интерфейс, написанные на Rust.
    • loda-programs : Разработанные программы для последовательностей OEIS.
    • Авторы

Leave a comment

Your email address will not be published. Required fields are marked *

16 + 3 =