Le Forum de l'Alliance Francophone

Boinc et les projets distribués => Annonces sur Boinc et les projets => les nouveaux projets => Discussion démarrée par: JeromeC le 13 May 2022 à 22:16

Titre: [BETA] LODA
Posté par: JeromeC le 13 May 2022 à 22:16
                                                                                                                                                                    (https://pbs.twimg.com/profile_images/1506259294613909518/rGzS4N0v_400x400.png)



ATTENTION
Infos utiles.
L'installation de GIT est nécessaire.
https://git-scm.com/downloads (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 (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 (https://boinc.loda-lang.org/loda/apps.php)
État du serveur : https://boinc.loda-lang.org/loda/server_status.php (https://boinc.loda-lang.org/loda/server_status.php)
L'alliance francophone :  https://boinc.loda-lang.org/loda/team_display.php?teamid=12 (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®) (https://oeis.org/). 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 (https://loda-lang.org/spec). Elle comprend une référence de ses opérations avec des exemples. Vous pouvez utiliser l'éditeur en ligne (https://loda-lang.org/editor) 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 (http://dashboard.loda-lang.org/grafana) 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 (https://github.com/loda-lang/loda-programs).

Pour recevoir des mises à jour sur les nouvelles découvertes de mineurs, vous pouvez consulter les commits dans loda-programs (https://github.com/loda-lang/loda-programs/commits/main) ou vous abonner au canal @lodaminer sur Twitter, ou encore rejoindre d'autres adeptes de LODA dans l'espace de travail loda-lang (https://loda-lang.slack.com/) 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 (https://github.com/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 (https://github.com/ckrause)
- Simon Strandgaard (https://github.com/neoneye)
- Jamie Morken (https://github.com/jmorken)
- Antti Karttunen (https://github.com/karttu)
- Jon Maiga (https://github.com/jonmaiga)

Projets connexes

- Sequence Machine (http://sequencedb.net/) 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 (https://oeis.org/ol.html) de l'OEIS est un serveur de messagerie automatique pour l'identification de séquences d'entiers.
- jOEIS (https://github.com/archmageirvine/joeis) est une collection de programmes Java purs mettant en œuvre des séquences de l'OEIS.
- La machine de Ramanujan (https://www.ramanujanmachine.com/) est une approche algorithmique pour découvrir de nouvelles conjectures mathématiques.
- QSynt (http://grid01.ciirc.cvut.cz/~thibault/synt.html) 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.
Titre: Re : LODA
Posté par: fzs600 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
Titre: Re : LODA
Posté par: JeromeC 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:
Titre: Re : LODA
Posté par: fzs600 le 14 May 2022 à 05:46
Attention l'installation de git est nécessaire https://git-scm.com/downloads (https://git-scm.com/downloads)   :kookoo:

Pour le moment pas possible de rejoindre une équipe a cause d'un bug,donc patiente. 
Titre: Re : Re : LODA
Posté par: [AF] Kalianthys le 14 May 2022 à 08:28
Attention l'installation de git est nécessaire https://git-scm.com/downloads (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.
Titre: Re : LODA
Posté par: fzs600 le 14 May 2022 à 08:34
Chez moi avec ou sans l'installation de git tous part en erreur quand mème.  :/
Titre: Re : LODA
Posté par: fzs600 le 14 May 2022 à 09:39
Faut pas trop se précipiter sur le projet il n'est pas stable pour le moment.  :cavapobienmwa: 
Titre: Re : LODA
Posté par: fzs600 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
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc 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 (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.
Titre: Re : LODA
Posté par: fzs600 le 14 May 2022 à 10:17
Le projet a mème un compte Twitter pour suivre les avancés. https://twitter.com/lodaminer (https://twitter.com/lodaminer)
 
Titre: Re : LODA
Posté par: JeromeC 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 (https://boinc.loda-lang.org/loda/result.php?resultid=10268) 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 (https://boinc.loda-lang.org/loda/results.php?hostid=47&offset=0&show_names=0&state=2&appid=) 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.
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc 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 !
Titre: Re : LODA
Posté par: Maurice Goulois 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
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 00:36
17 en attente et 5 valide.
Plus d'erreur pour le moment.
Étrange !
Titre: Re : Re : LODA
Posté par: fzs600 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.
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 09:51
Beaucoup d'erreurs cette nuit.
Je vais purger, j'ai peut-être encore de vieilles UTs défectueuses !
Titre: Re : Re : LODA
Posté par: fzs600 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 (https://boinc.loda-lang.org/loda/forum_thread.php?id=4&postid=131)
Titre: Re : Re : Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc 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 (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:
Titre: Re : LODA
Posté par: Xe120 le 15 May 2022 à 12:17
https://boinc.loda-lang.org/loda/workunit.php?wuid=20822 (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=20819)
https://boinc.loda-lang.org/loda/workunit.php?wuid=20820 (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.  :(
Titre: Re : LODA
Posté par: JeromeC 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...
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 12:57
Moi, j'ai que des v2205.14 et presque tout part en erreur !
Titre: Re : LODA
Posté par: JeromeC 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.
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc 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 ?

(http://[attachment id=1 msg=529253][/attachment])
Titre: Re : LODA
Posté par: [AF] Kalianthys le 15 May 2022 à 13:44
Ca ne serai pas lié à l'hyper threading ?  4 pour 4 treads utilisés par tache ?

Kali.
Titre: Re : LODA
Posté par: Xe120 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.
Titre: Re : Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 14:50
Ca ne serai pas lié à l'hyper threading ?  4 pour 4 treads utilisés par tache ?

Kali.
J'espère que non , car cela expliquerait que presque tout part en erreur, car je ne prévois que 1 thread par tâche !



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.
OK, d'accord.
Mais alors pourquoi n'y a-t-il que ce projet qui me met ça ?
Titre: Re : LODA
Posté par: Maurice Goulois le 15 May 2022 à 15:33
Hum...

Task     WU     Ordinateur   Envoyé                     Délai reporté                  État                Temps de fonctionnement (sec) Temps de CPU(sec) Crédit Application

49470 9323    170      15 May 2022, 0:05:23 UTC 15 May 2022, 10:24:34 UTC      Terminé et validé       16,714.72              16,677.09         9.15 LODA v2205.14 x86_64-pc-linux-gnu
3 valides, pas d'erreur pour l'instant; un projet prometteur :)
Titre: Re : LODA
Posté par: toTOW le 15 May 2022 à 15:42
J'ai vu plusieurs fois le mot "mining" dans leurs explicaons ... je le sens pas ce projet ... :/
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 16:39
J'ai vu plusieurs fois le mot "mining" dans leurs explicaons ... je le sens pas ce projet ... :/

Honnêtement, à ce que j'ai compris, ce sont des mathématiques pures et dures, rien d'autre !
Titre: Re : LODA
Posté par: Maurice Goulois le 15 May 2022 à 17:16
Les crédits sont curieux, les premières uts 9,15 ensuite 91,55 puis les dernières 108,07; même pc, même lot d'uts, même temps de calcul :??:
Titre: Re : LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 15 May 2022 à 17:17
Oui, y'a tout qui déconne pour le moment !

 :/
Titre: Re : LODA
Posté par: Maeda le 15 May 2022 à 17:22
Statut = bêta serait peut-être une meilleure idée en première page ?
Titre: Re : LODA
Posté par: Maurice Goulois le 15 May 2022 à 17:45
Je viens d'avoir une ut invalide, attention:task loda reached time limit 18000
-> temps de calcul à ne pas dépasser 5h  :coffeetime:

Mes premières uts sont sur ZCruncher qui est mon bourrin de service, les autres uts plafonnent entre 14000s et 17000s

Globalement, 326 en cours, 20 en attente de validation, 7 valides, 1 invalide, pas d'erreurs.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 16 May 2022 à 13:22
J'ai vu plusieurs fois le mot "mining" dans leurs explicaons ... je le sens pas ce projet ... :/
"recherche automatisée de nouveaux programmes et algorithmes à l'aide d'un processus appelé "program mining"."

Sinon à ce tarif, les mineurs dans les mines, tu les sens pas non plus ? ;)
Titre: Re : [BETA] LODA
Posté par: JeromeC le 16 May 2022 à 13:27
J'ai juste eu 2 nouvelles en erreur = annulées par le projet, 9 valides (crédits oscillent entre 121 et 150 et durée entre 4 et 5 heures) et 18 en attente de validation et 390 en attente (deadline au 20 ou 21 mai, je pense que les annulations vont pleuvoir).
Titre: Re : [BETA] LODA
Posté par: Maurice Goulois le 19 May 2022 à 20:46
Toutes les uts windows partent en erreurs.

Curieusement, elles sont marquées comme "annulé par l'utilisateur", ce n'est pas le cas :??: ça fait des lustres que j'ai pas annulé de tâches sur aucun projet, bug du BM!?
Titre: Re : [BETA] LODA
Posté par: JeromeC le 20 May 2022 à 12:51
Moi maintenant c'est pas mal stable sur ma petite VM OVH linux, j'ai 42 tâches valides, 26 en attende, 1 invalide et 4 en erreur (n'a plus augmenté depuis un bon moment).

Vu la production de Kali et fzs sur le projet, ils ont du mettre pas mal de machines (ou des bien grosses) sur le sujet !
Titre: Re : Re : [BETA] LODA
Posté par: [AF] Kalianthys le 20 May 2022 à 13:08
Vu la production de Kali et fzs sur le projet, ils ont du mettre pas mal de machines (ou des bien grosses) sur le sujet !

Effectivement, je tente les 100 000 heures sur WUPROP avec LODA.

 :sun:
Titre: Re : Re : Re : [BETA] LODA
Posté par: fzs600 le 20 May 2022 à 14:19
Vu la production de Kali et fzs sur le projet, ils ont du mettre pas mal de machines (ou des bien grosses) sur le sujet !

Effectivement, je tente les 100 000 heures sur WUPROP avec LODA.

 :sun:
Le myon sur LODA et ça sera bon pour moi.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 20 May 2022 à 18:01
Comme à ton habitude, "un myon sinon rien" ;)
Titre: Re : [BETA] LODA
Posté par: Maurice Goulois le 20 May 2022 à 18:52
Je viens de passer 1200h, j'essaie d'atteindre 100000 crédits avant de devoir calmer la prod. :) ça sera selon météo :)
Titre: Re : Re : [BETA] LODA
Posté par: fzs600 le 20 May 2022 à 19:01
Comme à ton habitude, "un myon sinon rien" ;)
Parce que je le vaux bien.
 :warf:
Titre: Re : [BETA] LODA
Posté par: titidestroy le 20 May 2022 à 22:15
Git installé.

Premiers calculs en cours on va voir ce que ça donne
Titre: Re : [BETA] LODA
Posté par: [AF] Kalianthys le 21 May 2022 à 11:31
La team LODA semble très satisfaite de ce début en fanfare du projet. C'est ce qu'on pourrait appeler un démarrage réussi car il y a eu pire dans le passé.

Bientôt l'arrivé des badges et des points de contrôle. Il est cool ce projet  :love:

Kali.

Citer
Milestone reached: 80k programs!
We have reached our first milestone: 80,000 programs! Thanks a lot for your contributions. This is amazing and helps us a lot to move the project forward.

Thank you also for your great feedback in the forum and on Slack. We try to fix all issues that you encounter. We also plan to work on two feature requests: milestone badges and checkpoints. For the milestone badges, if you have any suggestions for images that we can use, please post them in this thread: https://boinc.loda-lang.org/loda/forum_thread.php?id=25

Looking ahead, our long-term goal is to find programs for all of the 350k integer sequences at OEIS. So please keep on mining -- we highly appreciate your contributions. Thank you!!!

The LODA team
Titre: Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 22 May 2022 à 10:09
Je crois bien que j'ai fait un bond de géant dans les stats de ce projet en 20 heures : 70000 points.
Le secret : ne pas faire tourner un autre projet en même temps sur la machine (hors GPU).
Et il semble aussi que les UTs plus récentes plantent moins.
Je ne sais pas quel projet posait problème en fonctionnant en parallèle.
Je soupçonne LHC, à cause de la VM, mais je n'ai pas fait les essais pour le prouver.

Je vais tenter d'optimiser maintenant : peut-être ferai-je moitié moins de points avec 3 fois moins de threads si je lance avec NumberFields ou Universe en parallèle, car ces deux projets cohabitent très bien avec les plus lourds !
Titre: Re : [BETA] LODA
Posté par: Maeda le 22 May 2022 à 10:15
Si le fait d'utiliser des VM pour les UT d'un projet interfère avec les autres projets faisant de même, on n'est pas sorti de l'auberge !
Titre: Re : [BETA] LODA
Posté par: JeromeC le 23 May 2022 à 14:34
Ne jamais mélanger des projets à VM. Mais là LODA n'en a pas.
Titre: Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 23 May 2022 à 18:19
LODA n'en a pas mais il semble quand même ne pas aimer être avec un projet à VM !
Je suis en train de faire des tests.
Titre: Re : [BETA] LODA
Posté par: fzs600 le 24 May 2022 à 11:49
Checkpoints enabled
https://boinc.loda-lang.org/loda/forum_thread.php?id=36&postid=270 (https://boinc.loda-lang.org/loda/forum_thread.php?id=36&postid=270)
Citer
Nous avons publié la nouvelle version de l'application 220523. Elle comprend plusieurs corrections pour des problèmes de réseau et ajoute le support des points de contrôle. Cela vous permet de reprendre vos calculs après un redémarrage.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 24 May 2022 à 18:21
Le support est super réactif et Christian Krause a l'air au taquet sur tous les sujet.

Voila qui est plaisant :)
Titre: Re : [BETA] LODA
Posté par: fzs600 le 25 May 2022 à 08:38
Unplanned downtime
https://boinc.loda-lang.org/loda/forum_thread.php?id=38&postid=288 (https://boinc.loda-lang.org/loda/forum_thread.php?id=38&postid=288)
Citer
Nous avons un arrêt non planifié d'un de nos serveurs. Veuillez arrêter l'exploitation minière jusqu'à nouvel ordre. Désolé pour la gêne occasionnée.
Titre: Re : [BETA] LODA
Posté par: [AF] Kalianthys le 25 May 2022 à 09:12
C'est revenu :)

Citer
Server up again
We had an unplanned downtime for a few hours. All servers are up and running again. You can continue mining again (new work units are available). Sorry for the inconvenience.

https://boinc.loda-lang.org/loda/forum_thread.php?id=39#290

Kali.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 25 May 2022 à 16:56
C'est vrai que le terme de mining est perturbant, un des effets pervers des cryptomonnaies pour un mot des plus normal, avant.
Titre: Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 26 May 2022 à 15:34
fzs600, je crois bien que tu as trouvé un programme avec LODA !

https://loda-lang.org/edit/?oeis=238329 (https://loda-lang.org/edit/?oeis=238329)

Je n'arrive pas encore tout à fait à comprendre ce que fait LODA, ni à quoi peuvent servir ces programmes,
Cela m'a l'air compliqué !
Mais là, il semble qu'il y ait des explications :

https://loda-lang.org/ (https://loda-lang.org/)

Si quelqu'un pige un peu mieux, je ne serais pas contre quelques explications !

Ce que moi je comprends :
Ils prennent des séquences de l'OEIS et ils essaient de générer automatiquement d'autres programmes qui les génèrent.
Ces nouveaux programmes sont différents des programmes d'origine qui ont généré les séquences au départ.
WAOUH !
Voilà bien un truc qui pourrait trouver des liens inconnus entre les suites de l'OEIS et les différents algorithmes (plus simples) qui peuvent les générer.

Ils m'ont l'air balaises ceux qui ont pondu cette idée !



Titre: Re : [BETA] LODA
Posté par: fzs600 le 26 May 2022 à 16:45
fzs600, je crois bien que tu as trouvé un programme avec LODA !
Au moins ma vie aura servie a quelque chose.  :coffeetime:

Si quelqu'un pige un peu mieux, je ne serais pas contre quelques explications !
Il faut peut-être posé la question sur le forum du projet ?
Titre: Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 29 May 2022 à 16:12
Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!

 :eek:

Perso, j'ai jamais réussi un tel exploit !!!
Titre: Re : [BETA] LODA
Posté par: JeromeC le 29 May 2022 à 17:29
C'est quand les projets sont jeunes que ça se tente :)
Titre: Re : Re : [BETA] LODA
Posté par: fzs600 le 29 May 2022 à 17:34
Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!

 :eek:

Perso, j'ai jamais réussi un tel exploit !!!
:jap: :jap:
Titre: Re : Re : [BETA] LODA
Posté par: [AF] Kalianthys le 31 May 2022 à 09:18
Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!

 :eek:

Perso, j'ai jamais réussi un tel exploit !!!

Merci Jean-Luc.

sisi tu avais réussi un truc du même genre. C'était sur Gaia@home je crois. Et JérômeC l'avais fait sur Kryptos@home.

Mais bon, je ne garderai pas cette premier place indéfiniment, car je booste uniquement pour atteindre les 100 000 heures sur WUPROP après je passerai sur un autre projet. (j'en suis à la moitié actuellement).

Kali.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 31 May 2022 à 10:01
Et JérômeC l'avais fait sur Kryptos@home.
Quelle mémoire ! :)

D'ailleurs je me rends compte (avec horreur) que StatSeb référence mes crédits Kryptos mais pas SetiBZH ni BoincStats (https://www.boincstats.com/stats/-1/user/detail/14946/projectList), en revanche j'y suis sur FreeDC (https://stats6.free-dc.org/user/wup/742)...

WTH ??
Titre: Re : Re : Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 31 May 2022 à 18:33

Merci Jean-Luc.

sisi tu avais réussi un truc du même genre. C'était sur Gaia@home je crois. Et JérômeC l'avais fait sur Kryptos@home.

Mais bon, je ne garderai pas cette premier place indéfiniment, car je booste uniquement pour atteindre les 100 000 heures sur WUPROP après je passerai sur un autre projet. (j'en suis à la moitié actuellement).

Kali.

Pas exactement : moi, j'étais seulement premier mondial en RAC et pas en nombre de points total sur le projet !
C'est bien plus difficile !

 :jap:
Titre: Re : [BETA] LODA
Posté par: JeromeC le 31 May 2022 à 18:51
Sauf au début si on se précipite à l'ouverture du portillon... pour un temps limité :)

C'était un projet où les tâches VB tournaient comme des horloges sur le Mac (quel dommage qu'ils aient arrêté !!) donc j'avais poussé au myon, j'aurais dû continuer :)
Titre: Re : [BETA] LODA
Posté par: fzs600 le 30 June 2022 à 17:29
Project Status Update
https://boinc.loda-lang.org/loda/forum_thread.php?id=54&postid=451 (https://boinc.loda-lang.org/loda/forum_thread.php?id=54&postid=451)
Citer
J'ai le plaisir de vous annoncer que nous avons atteint une nouvelle étape importante : plus de 90 000 programmes extraits pour les séquences entières OEIS. Merci à tous pour vos contributions au projet LODA !

Depuis notre dernière étape majeure, fin mai, nous avons apporté diverses améliorations à notre outil d'extraction, à notre infrastructure et aux sites web du projet. Cela inclut entre autres


    Réduction du taux d'erreur et configuration optimisée des tâches
    Points de contrôle et rapports d'avancement améliorés
    Badges de niveau de crédit
    Suivi des programmes par utilisateur sur le tableau de bord
    Réécriture complète et remplacement du serveur API

Notre prochain objectif est d'atteindre 100 000 programmes. Nous prévoyons d'améliorer la qualité des programmes extraits en incluant des sources de données supplémentaires et en étendant la configuration des mineurs pour améliorer les taux d'extraction. La réduction des erreurs reste l'une de nos principales priorités. Nous comptons sur votre soutien pour atteindre notre prochaine étape et apprécions grandement vos contributions !

A la vôtre,
L'équipe LODA

Traduit avec www.DeepL.com/Translator (version gratuite)
Titre: Re : [BETA] LODA
Posté par: [AF>Amis des Lapins] Jean-Luc le 13 July 2022 à 15:47
Chez-moi, Loda ne fonctionne pas bien.
Certaines UTs tournent 8 heures voire plus et se mettent en Invalide.
Si ensuite, je stoppe BOINC et je relance, ces UTs se mettent tranquillement à 1h50-2h00 et repartent normalement !
C'est pareil chez-vous ?
Titre: Re : [BETA] LODA
Posté par: Jakez Sulli le 13 July 2022 à 16:51
 :kookoo: Chez moi toutes les UT partent en erreur :cry: depuis le début.
Titre: Re : [BETA] LODA
Posté par: JeromeC le 13 July 2022 à 18:08
Je dois avoir de la chance je supervise très peu ça tourne sur une petite VM debian OVH (https://boinc.loda-lang.org/loda/results.php?hostid=47) et ça a l'air de bien se passer

État: Tous (262) · En cours (41) · Validation en attente (0) · Validation non concluante (0) · Valide (203) · Invalide (3) · Erreur (15)

15 erreurs et 3 invalides pour 203 valides, c'est acceptable.
Titre: Re : [BETA] LODA
Posté par: fzs600 le 13 July 2022 à 21:25
Citer
Oui, il y a un problème. Je suis actuellement en voyage et je ne peux pas le résoudre maintenant. Par conséquent, j'ai arrêté la création de nouvelles tâches et annulé les tâches existantes qui ne sont pas encore en cours.

Je publierai une nouvelle version de l'application avec les corrections dans 1-2 semaines.
https://boinc.loda-lang.org/loda/forum_thread.php?id=4&postid=498 (https://boinc.loda-lang.org/loda/forum_thread.php?id=4&postid=498)
Titre: Re : [BETA] LODA
Posté par: JeromeC le 24 July 2022 à 01:06
Je peux plus me rattacher au projet avec boinc, je peux même plus pinger le site de nulle part et pourtant le site est là et le forum marche.

https://boinc.loda-lang.org/loda/forum_thread.php?id=56&postid=513#513


Edith : en fait si je peux pinguer, mais je peux toujours pas me rattacher. L'admin m'a répondu sur le topic, je fais les tests qu'il me demande... on va voir.