Auteur Sujet: [BETA] LODA  (Lu 1181 fois)

0 Membres et 1 Invité sur ce sujet

JeromeC

  • CàA
  • Messages: 29030
  • Boinc'eur devant l'éternel
  • *****
  •   
[BETA] LODA
« le: 13 May 2022 à 22:16 »
                                                                                                                                                                   



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/

Citer
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.
« Modifié: 16 May 2022 à 13:20 par JeromeC »
Parce que c'était lui, parce que c'était moi.

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #1 le: 13 May 2022 à 22:31 »
Merci pour l'info.  :jap:
L'équipe va bientôt être créer.

Chez moi tout part en erreur de calcul.  :cry:
Citer
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
Citer
   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
Citer
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

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

JeromeC

  • CàA
  • Messages: 29030
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #2 le: 13 May 2022 à 22:33 »
J'ai 2 tâches qui tournent depuis 10mn maintenant sur la petite VM

       _,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  :cpopossib:
« Modifié: 13 May 2022 à 22:35 par JeromeC »
Parce que c'était lui, parce que c'était moi.

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #3 le: 14 May 2022 à 05:46 »
Attention l'installation de git est nécessaire https://git-scm.com/downloads   :kookoo:

Pour le moment pas possible de rejoindre une équipe a cause d'un bug,donc patiente. 
« Modifié: 14 May 2022 à 05:49 par fzs600 »

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF] Kalianthys

  • Messages: 835
  • Boinc'eur Respectable
  • ****
  •   
    • Astrophotographe
Re : Re : LODA
« Réponse #4 le: 14 May 2022 à 08:28 »
Attention l'installation de git est nécessaire https://git-scm.com/downloads   :kookoo:

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

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #5 le: 14 May 2022 à 08:34 »
Chez moi avec ou sans l'installation de git tous part en erreur quand mème.  :/

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #6 le: 14 May 2022 à 09:39 »
Faut pas trop se précipiter sur le projet il n'est pas stable pour le moment.  :cavapobienmwa: 

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #7 le: 14 May 2022 à 09:42 »
Ma première Ut de valide.  :)
Citer
   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

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #8 le: 14 May 2022 à 10:00 »
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.


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : LODA
« Réponse #9 le: 14 May 2022 à 10:17 »
Le projet a mème un compte Twitter pour suivre les avancés. https://twitter.com/lodaminer
 

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

JeromeC

  • CàA
  • Messages: 29030
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #10 le: 14 May 2022 à 13:01 »
Il faut croire que j'avais déjà ce git

Citer
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

Citer
<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.
« Modifié: 14 May 2022 à 13:15 par JeromeC »
Parce que c'était lui, parce que c'était moi.

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #11 le: 14 May 2022 à 17:04 »
8 UTs en erreur de calcul après 3h37 de calcul, toutes à la même durée à la seconde près !

 :cry:

Je suspends pour le moment !


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

Maurice Goulois

  • Messages: 4510
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : LODA
« Réponse #12 le: 15 May 2022 à 00:06 »
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
« Modifié: 15 May 2022 à 00:08 par Maurice Goulois »

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #13 le: 15 May 2022 à 00:36 »
17 en attente et 5 valide.
Plus d'erreur pour le moment.
Étrange !


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : Re : LODA
« Réponse #14 le: 15 May 2022 à 05:44 »
17 en attente et 5 valide.
Plus d'erreur pour le moment.
Étrange !
Avec la nouvelle version ça s'améliore apparemment.

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #15 le: 15 May 2022 à 09:51 »
Beaucoup d'erreurs cette nuit.
Je vais purger, j'ai peut-être encore de vieilles UTs défectueuses !


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

fzs600

  • Méchant modo
  • Messages: 7241
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : Re : LODA
« Réponse #16 le: 15 May 2022 à 11:08 »
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
« Modifié: 15 May 2022 à 11:12 par fzs600 »

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Re : Re : LODA
« Réponse #17 le: 15 May 2022 à 11:43 »
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 !

 :lol:


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

Xe120

  • CàA
  • Messages: 1481
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #18 le: 15 May 2022 à 12:17 »
https://boinc.loda-lang.org/loda/workunit.php?wuid=20822
J'ai calculé 2 fois la même UT sur le même PC.  :eek:

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.  :(
« Modifié: 15 May 2022 à 12:20 par Xe120 »

JeromeC

  • CàA
  • Messages: 29030
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #19 le: 15 May 2022 à 12:53 »
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 :D

Et avec 2 cores sur la petite VM OVH et les 360 tâches qui restent pour 5 jours de deadline, comment dire...
Parce que c'était lui, parce que c'était moi.

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #20 le: 15 May 2022 à 12:57 »
Moi, j'ai que des v2205.14 et presque tout part en erreur !


Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

JeromeC

  • CàA
  • Messages: 29030
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #21 le: 15 May 2022 à 13:03 »
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.
Parce que c'était lui, parce que c'était moi.

[AF>Amis des Lapins] Jean-Luc

  • Messages: 3161
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #22 le: 15 May 2022 à 13:22 »
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 ?



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/

[AF] Kalianthys

  • Messages: 835
  • Boinc'eur Respectable
  • ****
  •   
    • Astrophotographe
Re : LODA
« Réponse #23 le: 15 May 2022 à 13:44 »
Ca ne serai pas lié à l'hyper threading ?  4 pour 4 treads utilisés par tache ?

Kali.



Xe120

  • CàA
  • Messages: 1481
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : LODA
« Réponse #24 le: 15 May 2022 à 14:29 »
Citer
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.