[BETA] LODA

[JeromeC]

                                                                                         



ATTENTION
Infos utiles.
L'installation de GIT est nécessaire.
https://git-scm.com/downloads
Pour les distributions Gnu-linux GIT est présent dans les dépôts.
LODA Miner compte Twitter du projet. https://twitter.com/lodaminer




Un nouveau projet de maths
Statut : actif
URL du projet : https://boinc.loda-lang.org/loda/
Application disponible : https://boinc.loda-lang.org/loda/apps.php
État du serveur : https://boinc.loda-lang.org/loda/server_status.php
L'alliance francophone :  https://boinc.loda-lang.org/loda/team_display.php?teamid=12


C'est pas bien clair je dois l'avouer.
https://loda-lang.org/

Vue d'ensemble

LODA est un langage d'assemblage, un modèle de calcul et un outil distribué pour l'exploration de programmes. Vous pouvez l'utiliser pour générer et rechercher des programmes qui calculent des séquences d'entiers à partir de l'Encyclopédie en ligne des séquences d'entiers® (OEIS®). L'objectif du projet est de trouver de nouvelles formules et des algorithmes plus efficaces pour un large éventail de séquences entières non triviales.

Le langage LODA

LODA signifie Lexicographical Order Descent Assembly. Il s'agit d'un langage en assembleur permettant de résoudre des problèmes de théorie des nombres. Sa syntaxe simple combinée à ses opérations puissantes le rend idéal pour la recherche automatisée de nouveaux programmes et algorithmes à l'aide d'un processus appelé "program mining".

Pour un aperçu du langage LODA, vous pouvez lire sa spécification. Elle comprend une référence de ses opérations avec des exemples. Vous pouvez utiliser l'éditeur en ligne pour l'essayer vous-même. Pour plus de programmes, vous pouvez parcourir les listes de programmes extraits pour les séquences d'entiers de l'OEIS. Il y a actuellement plus de 70 000 programmes disponibles. Vous pouvez trouver des listes avec des descriptions et des liens ci-dessous. À l'exception de quelques programmes écrits à la main, ces programmes ont été générés à l'aide de mineurs distribués.

    A000001-A049999, A050000-A099999, A100000-A149999, A150000-A199999
    A200000-A249999, A250000-A299999, A300000-A349999, A350000-A399999

Extraction de programmes pour les séquences de nombres entiers

LODA comprend un outil permettant d'extraire de nouveaux programmes plus efficaces pour les séquences entières. Des programmes sont générés chaque jour par des mineurs en fonctionnement continu. Jetez un coup d'œil au tableau de bord de l'extraction pour avoir une vue d'ensemble des mineurs en cours d'exécution. Ci-dessous, vous trouverez un graphique du nombre de programmes depuis le début du projet.

Vous avez deux options pour exploiter les programmes :

    Rejoindre le projet LODA sur BOINC.
    Utiliser l'outil de ligne de commande LODA.

Nous honorons vos contributions : vous pouvez inclure votre nom dans les programmes minés ! Tous les programmes minés sont stockés dans le dépôt loda-programs.

Pour recevoir des mises à jour sur les nouvelles découvertes de mineurs, vous pouvez consulter les commits dans loda-programs ou vous abonner au canal @lodaminer sur Twitter, ou encore rejoindre d'autres adeptes de LODA dans l'espace de travail loda-lang sur Slack. Ce dernier comprend un canal qui publie les nouveaux programmes en temps réel.

Développement

Le code source de LODA est hébergé dans l'organisation loda-lang sur GitHub. Voici quelques-uns de ses principaux dépôts :

    loda-cpp : Interprète et mineur écrit en C++.
    loda-rust : Interpréteur et interface web écrits en Rust.
    loda-programs : Programmes minés pour les séquences OEIS.

Contributeurs

- Christian Krause
- Simon Strandgaard
- Jamie Morken
- Antti Karttunen
- Jon Maiga

Projets connexes

- Sequence Machine est une base de données de conjectures mathématiques sur de nombreuses séquences entières et décimales générées par des machines.
- Superseeker de l'OEIS est un serveur de messagerie automatique pour l'identification de séquences d'entiers.
- jOEIS est une collection de programmes Java purs mettant en œuvre des séquences de l'OEIS.
- La machine de Ramanujan est une approche algorithmique pour découvrir de nouvelles conjectures mathématiques.
- QSynt est un outil de synthèse de programmes pour les séquences d'entiers de l'OEIS.

 Traduit avec www.DeepL.com/Translator (version gratuite)

J'ai pu me créer un compte, une appli pour les 3 OS majeurs dès le début : pas mal.

J'ai rattaché ma petite VM OVH debian (qui n'est pas sur le pentathlon) : elle s'est attachée sans problème et a téléchargé plein de tâches d'un coup.

-----------------------
Interview de l'admin :

Bonjour,
J'espère que cela répondra à vos questions :

1. Pouvez-vous nous présenter l'équipe en charge du projet ?

Le développement du noyau et les opérations courantes sont gérés par moi-même (Christian Krause) et Simon Standgaard. D'autres contributeurs travaillent sur la partie "algorithmes", la définition du langage LODA et son intégration dans des projets liés comme "Sequence Machine" et jOEIS.

2. Où le projet est-il basé ?

L'équipe centrale se trouve en Europe (Allemagne, Danemark), des contributeurs sont en Finlande, en Espagne, en Californie. Les serveurs sont hébergés par Google platform dans la zone europe-central2, à Varsovie (Pologne).

3. Quand et comment le projet est-il né ?

Il a commencé comme un travail personnel en 2018. Au début de l'année 2021, il a été annoncé sur la liste de diffusion de la Fondation OEIS (voir : https://oeis.org/?language=french). A ce moment, d'autres contributeurs l'ont rejoint. En mai 2022, nous l'avons adapté sur Boinc. L'idée du projet est venue de mes précédentes recherches sur les modèles mathématiques et de calcul informatique. Aujourd'hui, je travaille pour l'industrie qui a largement aidé à construire l'infrastructure en cloud pour le projet.

4. Comment définiriez-vous ce projet en quelques mots ?

Nous recherchons les formules, algorithmes et programmes qui génèrent des suites de nombre entiers : nombres premiers, chiffres de Pi, etc.
LODA est un langage de bas niveau, un modèle de calcul et un outil distribué qui recherche les suites de nombres entiers dans les programmes.
Il a pour but de découvrir de nouvelles formules et des algorithmes plus efficaces pour générer un vaste ensemble de suites de nombres entiers non-triviales.
Jusqu'à présent, nous avons trouvé des programmes générant plus de 90 000 suites, qui sont répertoriées dans la On-Line Encyclopedia of Integer Sequences (OEIS) ("L'Encyclopédie en ligne des suites de nombres entiers", https://oeis.org/?language=french).
Pour plus d'info : consultez https://loda-lang.org/

5. Quel est le niveau d'avancement du projet ? Combien d'années de travail seront-elles nécessaires à sa complétion ?

L'OEIS comporte environ 350 000 suites d'entiers. Nous avons actuellement des programmes pour environ 90 000 d'entre elles. Nous en sommes donc à 30%. Bien qu'il soit difficile de prédire la progression, je pense qu'il faudra 2 ou 3 ans pour atteindre notre objectif, c'est-à-dire disposer de programmes optimaux pour la majorité des suites.

6. Avez-vous d'autres idées de projets ?

Non, j'investis toutes mes idées dans LODA.

7. Avez-vous envisagé de développer une application GPU ?

Nous en avons discuté, mais avons renoncé. Principalement parce que le portage semble difficile et que nous manquons d'expérience dans ce domaine.

8. L'application souffre-t-elle de problèmes ?

Nous avons réglé la plupart des soucis depuis le démarrage du projet sur Boinc. Nous essayons de corriger immédiatement les bugs lorsqu'ils nous sont rapportés.

9. Dans quelques jours, notre équipe va venir calculer sur votre projet dans le cadre d'une compétition. Qu'en pensez-vous ?

Nous sommes enthousiastes et honorés que vous ayez choisi notre projet pour votre compétition. Cela permettra probablement d'augmenter le nombre de nos découvertes et de nous faire faire un grand pas en avant vers notre prochain objectif intermédiaire.

Mis a jour par fzs600 le 12 février 2024

[fzs600]

Merci pour l'info. 
L'équipe va bientôt être créer.

Chez moi tout part en erreur de calcul. 

13 May 2022, 20:25:41 UTC    13 May 2022, 20:29:51 UTC    Erreur lors des calculs    3.17    0.00    ---    LODA v2205.13
x86_64-pc-linux-gnu

13 May 2022, 20:25:41 UTC    13 May 2022, 20:29:51 UTC    Erreur lors des calculs    4.39    0.00    ---    LODA v2205.13
x86_64-pc-linux-gnu

13 May 2022, 20:25:41 UTC    13 May 2022, 20:29:51 UTC    Erreur lors des calculs    3.18    0.00    ---    LODA v2205.13
x86_64-pc-linux-gnu

[JeromeC]

J'ai 2 tâches qui tournent depuis 10mn maintenant sur la petite VM

Code Sélectionner Étendre


       _,met$$$$$gg.          jerome@vps-xxx
    ,g$$$$$$$$$$$$$$$P.       -------------------
  ,g$$P"     """Y$$.".        OS: Debian GNU/Linux 10 (buster) x86_64
,$$P'              `$$$.     Host: OpenStack Nova 14.1.1
',$$P       ,ggs.     `$$b:   Kernel: 4.19.171
`d$$'     ,$P"'   .    $$$    Uptime: 416 days, 8 hours, 42 mins
$$P      d$'     ,    $$P    Packages: 675 (dpkg)
$$:      $$.   -    ,d$$'    Shell: bash 5.0.3
$$;      Y$b._   _,d$P'      Terminal: /dev/pts/0
Y$$.    `.`"Y$$$$P"'         CPU: Intel (Haswell, no TSX) (2) @ 2.399GHz
`$$b      "-.__              GPU: Cirrus Logic GD 5446
  `Y$$                        Memory: 1851MiB / 3853MiB
   `Y$$.
     `$$b.                                           
       `Y$$b.
          `"Y$b._
              `"""



Il continue de réclamer et récupérer des tâches comme un porc, j'en suis à 220 

[fzs600]

Attention l'installation de git est nécessaire https://git-scm.com/downloads   

Pour le moment pas possible de rejoindre une équipe a cause d'un bug,donc patiente. 

[[AF] Kalianthys]

Attention l'installation de git est nécessaire https://git-scm.com/downloads   

Pour le moment pas possible de rejoindre une équipe a cause d'un bug,donc patiente.

Je pense qu'ils ont corrigé le bug car j'ai pu rejoindre l'AF.

Merci pour l'info en tout cas. Voir un nouveau projet BOINC fait plaisir.

Kali.

[fzs600]

Chez moi avec ou sans l'installation de git tous part en erreur quand mème. 

[fzs600]

Faut pas trop se précipiter sur le projet il n'est pas stable pour le moment.   

[fzs600]

Ma première Ut de valide. 

14 May 2022, 3:39:01 UTC    14 May 2022, 7:39:21 UTC    Terminé et validé    14,408.31    12,815.71    123.96    LODA v2205.13
x86_64-pc-linux-gnu

[[AF>Amis des Lapins] Jean-Luc]

Je pense que je vais tenter encore ce weekend.

Cela confirme la tendance :
Comme avec Ramanujan Machine, on entre dans une nouvelle ère me semble-t-il !
L'OEIS est l'encyclopédie de référence en ce qui concerne les suites de nombres entiers.
Elle s'enrichit d'heure en heure et les équipes sont hyper actives.
Et là, je crois bien qu'avec ce nouveau projet, on génère des suites d'entiers de manière automatique, ce qui devrait enrichir l'OEIS incroyablement plus vite qu'avant !!!

Toute personne qui travaille en théorie des nombres a très souvent recours à l'OEIS.
J'ai souvent eu recours à l'OEIS, voici un exemple (une quinzaine de lignes à lire sur cette page à partir du titre "Essayons de faire mieux que de juste constater avec l'ordinateur") : http://www.aliquotes.com/conjectures_expliquees.htm
J'ai d'ailleurs moi-même proposé une suite de nombres entiers en 2014 qui a été validée et rajoutée à l'OEIS.

Bref, ce projet m'a l'air d'être un truc lourd et puissant comme la Ramanujan Machine.
J'espère qu'il va tourner et que les administrateurs vont bien gérer.

[fzs600]

Le projet a mème un compte Twitter pour suivre les avancés. https://twitter.com/lodaminer

[JeromeC]

Il faut croire que j'avais déjà ce git

sudo apt install git
[sudo] password for jerome:
Reading package lists... Done
Building dependency tree       
Reading state information... Done
git is already the newest version (1:2.20.1-2+deb10u3).

sauf que j'en ai deux qui sont en erreur après 35mn de calcul

<core_client_version>7.14.2</core_client_version>
<![CDATA[
<message>
process exited with code 195 (0xc3, -61)</message>
<stderr_txt>
07:41:25 (12647): wrapper (7.5.26014): starting
07:41:25 (12647): wrapper: running ../../projects/boinc.loda-lang.org_loda/loda-220513-linux-x86 (boinc -H 4)
08:17:08 (12647): loda exited; CPU time 2122.539502
08:17:08 (12647): app exit status: 0x6
08:17:08 (12647): called boinc_finish(195)

</stderr_txt>
]]>

et les 6 autres sont en attente de validation, mais deux d'entre elles montrent 0 sec de calcul pour 17k de durée...

C'est pas sec, ce qui est bien compréhensible pour un projet sorti hier

J'ai mis en pas de nouveau travail et je crois que je vais benner les 380 tâches que cet andouille a téléchargé sur cette minuscule config.


Edith : bon je vais attendre avant de benner, la partie bug est activée sur le forum et le gars a l'air réactif, on va voir.

[[AF>Amis des Lapins] Jean-Luc]

8 UTs en erreur de calcul après 3h37 de calcul, toutes à la même durée à la seconde près !



Je suspends pour le moment !

[Maurice Goulois]

Je viens de m'inscrire mais j'ai pas mal de taf ailleurs

Pour le moment j'ai 2 tâches evaluées à ~1h; à suivre

[[AF>Amis des Lapins] Jean-Luc]

17 en attente et 5 valide.
Plus d'erreur pour le moment.
Étrange !

[fzs600]

17 en attente et 5 valide.
Plus d'erreur pour le moment.
Étrange !

Avec la nouvelle version ça s'améliore apparemment.

[[AF>Amis des Lapins] Jean-Luc]

Beaucoup d'erreurs cette nuit.
Je vais purger, j'ai peut-être encore de vieilles UTs défectueuses !

[fzs600]

Beaucoup d'erreurs cette nuit.
Je vais purger, j'ai peut-être encore de vieilles UTs défectueuses !

Mème si tu n'en manque pas c'est peut-etre un manque de RAM ?
Apparemment c'est 1 Gio par UT donc.......
https://boinc.loda-lang.org/loda/forum_thread.php?id=4&postid=131

[[AF>Amis des Lapins] Jean-Luc]

Mème si tu n'en manque pas c'est peut-etre un manque de RAM ?
Apparemment c'est 1 Gio par UT donc.......
https://boinc.loda-lang.org/loda/forum_thread.php?id=4&postid=131

Merci à toi, mais ne t'inquiète pas, ma machine a 256 Go de RAM et seulement 20 à 30 Go d'utilisés en ce moment !

[Xe120]

https://boinc.loda-lang.org/loda/workunit.php?wuid=20822
J'ai calculé 2 fois la même UT sur le même PC. 

https://boinc.loda-lang.org/loda/workunit.php?wuid=20819
https://boinc.loda-lang.org/loda/workunit.php?wuid=20820
Et ici, une qui se calcule correctement et l'autre qui plante sur le même PC. 

[JeromeC]

J'en 3 valides maintenant et 13 en attente de validation, pas de nouvelles erreurs depuis les 2 initiales.
Toutes de la même version v2205.13.
Durée variable de 4 à 5h (mais plusieurs ont exactement la même durée) et une à 45mn.

Plusieurs ont 0 de temps CPU (pour une durée comme j'évoque avant), dont 2 des 3 validées.

150 crédit pour 2 validées de 5h et 128 crédits pour celle validée de 4h. Rendement

Et avec 2 cores sur la petite VM OVH et les 360 tâches qui restent pour 5 jours de deadline, comment dire...

[[AF>Amis des Lapins] Jean-Luc]

Moi, j'ai que des v2205.14 et presque tout part en erreur !

[JeromeC]

Après le gros lot de tâches que j'ai récupérées dès le début vu que j'ai coupé l'approvisionnement il continue sur ce stock (et vu la vitesse, ça risque pas de se terminer dans les temps) et donc toutes de la même version.

Il a visiblement publié une nouvelle version entre temps (j'ai pas lu tout le forum mais donc un des topic où l'admin répond il a l'air prompt à publier de nouvelles versions pour réparer les bugs) que je n'ai pas encore eu.

[[AF>Amis des Lapins] Jean-Luc]

OK, vu, Merci Jérôme pour ces infos !

Sinon, est-ce que quelqu'un sait ce que ça veut dire ce "-H 4" (voir image jointe) à la fin de mes lignes LODA quand je tape "htop" dans un terminal Linux ?

[[AF] Kalianthys]

Ca ne serai pas lié à l'hyper threading ?  4 pour 4 treads utilisés par tache ?

Kali.

[Xe120]

The expected memory usage is 1GB and 1 CPU per task. The expected runtime per task is 4h. We still try to figure out how to configure the BOINC jobs correctly to reflect these requirements.

4 heures. C'est le temps de calcul demandé par tâche.