[BETA] LODA

[fzs600]

Unplanned downtime
https://boinc.loda-lang.org/loda/forum_thread.php?id=38&postid=288

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.

[[AF] Kalianthys]

C'est revenu

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.

[JeromeC]

C'est vrai que le terme de mining est perturbant, un des effets pervers des cryptomonnaies pour un mot des plus normal, avant.

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

fzs600, je crois bien que tu as trouvé un programme avec LODA !

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/

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 !

[fzs600]

fzs600, je crois bien que tu as trouvé un programme avec LODA !

Au moins ma vie aura servie a quelque chose. 

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 ?

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

Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!



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

[JeromeC]

C'est quand les projets sont jeunes que ça se tente

[fzs600]

Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!



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

[[AF] Kalianthys]

Kali, tu es premier au niveau mondial sur Loda en RAC et en nombre de points !!!



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.

[JeromeC]

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, en revanche j'y suis sur FreeDC...

WTH ??

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

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 !

[JeromeC]

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

[fzs600]

Project Status Update
https://boinc.loda-lang.org/loda/forum_thread.php?id=54&postid=451

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)

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

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 ?

[Jakez Sulli]

  Chez moi toutes les UT partent en erreur depuis le début.

[JeromeC]

Je dois avoir de la chance je supervise très peu ça tourne sur une petite VM debian OVH 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.

[fzs600]

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

[JeromeC]

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.

[JeromeC]

L'admin considère-t-il toujours son projet comme "béta" ? au vu de l'entretien qui a été publié, on dirait plus trop...

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

Je ne pense pas que c'est encore un beta : ça tourne vraiment mieux maintenant !

[JeromeC]

Faudrait y poser la question au gars

Je me suis d'ailleurs toujours demandé si le statut "béta" d'un projet boinc était un truc purement déclaratif (genre tu l'écris sur la page d'accueil) ou s'il existe un paramètre dans la config de ton serveur boinc ou tu mets "béta / prod" et c'est reprise automatiquement à certains niveaux dans boinc ? Parce qu'on voit ce béta sur des sites de stats aussi - par ex sur SetiBZH dans la page projet y'a une colonne B qui veut dire béta (ou alors c'est mis "en dur" aussi par l'admin du site de stats dans sa définition du projet).

[Antares]

Je me suis attaché à LODA, sur 18 taches, toutes en erreur...

[[AF>Libristes] ElGuillermo]

T'avais installé git avant ?

[Antares]

Il le faut aussi pour windows?

[[AF>Libristes] ElGuillermo]

Yep !