Raid d'automne & Octobre Rose 2022

[modesti]

Salut les AFones !

C'est la rentrée et vos dévoués serviteurs ont travaillé à vous concocter un petit programme de mise en jambes La rentrée sera studieuse !

1ère partie : Raid d'automne
du samedi 1er octobre 2022, 20h (heure de Paris = 18h UTC)
au samedi 15 octobre 2022, 20h (heure de Paris = 18h UTC)

Projet principal:
LODA – projet de mathématiques

URL du projet: https://boinc.loda-lang.org/loda/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,8648.0.html
L'Alliance Francophone: https://boinc.loda-lang.org/loda/team_display.php?teamid=12
* Entretien avec l'administrateur: https://forum.boinc-af.org/index.php/topic,8675.0.html *

Objectif: garder et consolider (davantage) notre première place mondiale.

Infos utiles: L'installation de GIT est nécessaire. https://git-scm.com/downloads

Projet de secours:
Cosmology – projet d'astronomie

URL du projet: http://www.cosmologyathome.org/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,2284.0.html
L'Alliance Francophone: http://www.cosmologyathome.org/team_display.php?teamid=6

Objectifs: passer premiers au FB, càd doubler TSBT et P3D. Décrocher nos poursuivants au classement général et nous rapprocher de Gridcoin.

SiDock@home – projet biomédical

URL du projet: https://www.sidock.si/sidock/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,8383.0.html
L'Alliance Francophone: https://www.sidock.si/sidock/team_display.php?teamid=16
* Entretien avec la co-administratrice: https://forum.boinc-af.org/index.php/topic,8584.0.html *

Objectifs: passer de la 8e à la 3e voire à la 2e place au FB et passer de la 12e à la 6e voire à la 3e place au général.

Projet GPU:
Moo! Wrapper – projet de mathématiques

URL du projet: https://moowrap.net/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,4181.0.html
L'Alliance Francophone: https://moowrap.net/team_display.php?teamid=2

Objectifs: passer premiers au FB, càd doubler LITOMYSL, et deuxièmes au classement général, càd doubler SUSA.

Projet GPU de secours:
Amicable – projet de mathématiques

URL du projet: https://sech.me/boinc/Amicable/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,7432.0.html
L'Alliance Francophone: https://sech.me/boinc/Amicable/team_display.php?teamid=3

Objectifs: (finir de) doubler BOINC.Italy et prendre suffisamment d'avance pour ne pas se faire bouffer par P3D au FB.

***
Comme vous le voyez, pour renouveler la compétition, nous avons sélectionné un projet hors FB (Loda) ainsi que Cosmology qui n'a encore jamais fait l'objet d'un raid.

Stats du raid: https://statseb.boinc-af.org/challenge_v2.py?id=40


2e partie : Octobre Rose
du dimanche 16 octobre 2022, 20h (heure de Paris = 18h UTC)
au lundi 31 octobre 2022, 20h (heure de Paris = 18h UTC)

Projet: WCG/Mapping Cancer Markers (MCM)

URL du projet: https://www.worldcommunitygrid.org/
Topic MCM sur le forum: https://forum.boinc-af.org/index.php/topic,5828.0.html
L'Alliance Francophone: https://www.worldcommunitygrid.org/team/viewTeamInfo.do?teamId=0MV6V88PP1

Étant donné que le déménagement de WCG n'est toujours pas totalement terminé, nous avons prévu un projet de secours: TN-Grid
URL du projet: http://gene.disi.unitn.it/test/
Topic sur le forum: https://forum.boinc-af.org/index.php/topic,5921.0.html
L'Alliance Francophone: http://gene.disi.unitn.it/test/team_display.php?teamid=6

Certes, le travail de TN-Grid n'est pas lié à la recherche contre le cancer, mais il ne s'agit que d'un projet de secours. Normalement, il devrait y avoir assez de travail sur WCG.


Stats pour Octobre rose: https://statseb.boinc-af.org/challenge_divers_v2.py?id=41

Bon crunch à tous et à toutes !

[[AF] Kalianthys]

Super ! Merci aux serviteurs 

Je vais faire la com aussi sur le page Facebook de l'AF : https://www.facebook.com/BoincAF

Kali.

[Jakez Sulli]

  Les UT Loda ne partent plus en erreur chez moi après l'installation du Git sous Ubuntu. Merci

[Maeda]

Les UT Loda ne partent plus en erreur chez moi après l'installation du Git sous Ubuntu. Merci

La même

[JeromeC]

Cool

LODA est vraiment en mesure de résister à un RAID de l'AF ?

"Consolider la 1ère place" n'est pas ce qu'il y a de plus motivant n'est-ce pas

Mais bon ni le projet CPU ni le GPU n'ont d'appli macOS, je (tenterai de) ferai du LODA sur 50% de mes cores que la VM linux je suppose (je dois tester si ça passe) et j'espère que je pourrai faire du cosmo, j'avais bien galéré à mes dernières tentatives en avril  = tout partait en erreur, j'ai pas retesté depuis.

Et pour le GPU, moo a juste une appli cuda de 2012 pour mac, autant dire plus rien, donc je resterai sur mes projets du moment.

Mais c'est bien d'avoir un RAID quand même

[[AF>Libristes] ElGuillermo]

Ça devient chaud de trouver des projets actifs qui tournent bien sur les Mac
Officiellement, Loda a une appli Mac (https://boinc.loda-lang.org/loda/apps.php). Pas moyen de tester ici : je n'ai pas de Mac...

Au pire, t'as Cosmology en secours (https://www.cosmologyathome.org/apps.php)

[fzs600]

Officiellement, Loda a une appli Mac (https://boinc.loda-lang.org/loda/apps.php)

L'application pour Mac fonctionne très bien.

État: Tous (656) · En cours (213) · Validation en attente (0) · Validation non concluante (0) · Valide (436) · Invalide (0) · Erreur (7)

3 Sep 2022, 9:30:46 UTC    6 Sep 2022, 23:02:58 UTC    Terminé et validé    3,512.13    3,415.04    50.99    LODA v2208.21
x86_64-apple-darwin

3 Sep 2022, 9:30:46 UTC    7 Sep 2022, 5:43:37 UTC    Terminé et validé    405.12    365.93    6.05    LODA v2208.21
x86_64-apple-darwin

[JeromeC]

OULALA !! MA TETE ! MA TETE !

Mes amis mon pronostic est mauvais, je deviens dingo alors que j'ai à peine 55 balais......

J'ai moi même créé le topic LODA en mai et moi même écrit "J'ai pu me créer un compte, une appli pour les 3 OS majeurs dès le début : pas mal" et pour une raison mystique cette info est partie très loin de ma tête LE JOUR MEME vu que je l'ai testé dans une VM linux (!!) et je suis resté persuadé qu'il fallait du linux ou du linux pour pouvoir en faire.................... je l'ai donc même pas testé sur mon mac.

Désolé pour ces contre-vérité, je ferai ça dès que possible !

En revanche ce que je disais sur moo reste vrai


@ElGuigui : comme j'ai écrit au dessus avec cosmo j'ai eu moults déboires en début d'année quand j'ai voulu m'y remettre, mais si LODA tourne la question ne se posera pas.

[[AF>Libristes] ElGuillermo]

L'admin de Loda, Christian Krause (https://boinc.loda-lang.org/loda/show_user.php?userid=2) a répondu aux questions habituelles :

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.

Original :

Hi,
I hope this answers your questions:

1. Could you introduce the team that is in charge of the project?

The core development and operations team consists of myself (Christian Krause) and Simon Standgaard. We have additional contributors who work on the algorithmic parts, the LODA language definition and integration with related projects such as Sequence Machine and jOEIS.

2. Where is the project located?

The core team is in Europe (Germany, Denmark). Additional contributors are located in Finland, Spain, California. The servers are hosted on Google Cloud Platform and run in the europe-central2 zone (Warsaw).

3. When and how was the idea of the project born?

I started it as a personal project in 2018. In early 2021, the project was announced on the mailing list of the OEIS Foundation. At this point other contributors joint the project. In May 2022 we integrated with BOINC. The idea of the project was born due to my previous research background in computational models and maths. These days I work in the industry which helped a lot to built the cloud infrastructure for the project.

4. In a few words, how would you define it?

For integer sequences like the prime numbers or the digits of Pi, how can we automatically find formulas, algorithms and programs that generate these sequences? LODA is an assembly language, a computational model, and a distributed tool for "mining" programs for integer sequences. It aims at finding previously unknown formulas and more efficient algorithms for a wide range of non-trivial integer sequences. We have found programs for more than 90,000 sequences from the On-Line Encyclopedia of Integer Sequences (OEIS) thus far. For more info, check out https://loda-lang.org/

5. What is the percentage of progress of the project, how many years expected?

The OEIS has about 350,000 inteteger sequences. We currently have around programs for around 95,000 sequences. So we are at around 30%. It is difficult to predict the progression, but I assume we will need 2-3 years to reach a "fixed point", i.e., where we have "optimal" programs for the majority of sequences.

6. Do you have any other ideas of projects?

No, all ideas and investments go into LODA.

7. Have you thought about creating an application for GPU?

We have thought about it and discussed it, but currently we don't have plans to support it. Mainly because it appears to be very difficult to port it and we lack export knowledge in that area.

8. Does the application have any issue?

We have fixed most of the issues since the BOINC project start. There are only few bug reports these days and we try to fix them immediately.

9. In a few days our team is having an action on your project, what do you think about it?

We are excited and honoured that you consider our project for your competition. If you should go ahead, it would probably boost our findings and bring us a big step forward to our next milestone.

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

Moi, en tout cas, c'est certain, je continue ma grosse campagne LODA pour le moment.
Je fais 100000 par jour.

[JeromeC]

ElGuigui merci pour l'interview !

JL, quand tu te mets en campagne, c'est pas comme à la campagne

[Fabrice.ltn]

Merci pour les infos sur le prochain RAID, LODA rejoint, je mettrai en route un peu avant le début. Et début octobre, il sera temps de faire chauffer Moo.

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

Moi, je chauffe grave tout l'été aussi !

[Maeda]

Pour Cosmology, je n'arrive même pas à ma page de compte
http://www.cosmologyathome.org/home.php

Sinon dans la FAQ, il est précisé que pour les machines qui ne fonctionnent pas à cause de problème de pré-requis (VBox par exemple...) :

What if my computer doesn't meet requirements?

Cosmology@Home runs multiple "apps." The requirements list is for the default app (named camb_boinc2docker), but if your computer does not meet them, there is an older app available (named camb_legacy) which runs on just Windows and Linux but supports 32-bit processors and does not need Virtualbox or VT-x/AMD-v. At this point we only use the results from camb_legacy for testing the PICO algorithm and not for comparing with data since the app is fairly old. However, the results do serve a limited purpose and allow Cosmology@Home users who do not meet the above requirements to continue to contribute, thus we continue to provide it. We encourage users who can run camb_boinc2docker to do so, however.

I y a des camb_legacy en tout cas :

Tâches par application
Application    Non envoyé    En cours
camb_legacy    498    48359
camb_boinc2docker    500    24381
planck_param_sims    0    0

[[AF>Libristes] ElGuillermo]

Oui, c'est bizarre : on accède à tout, sauf la page de compte

Après il faut ruser :
Préférences : https://www.cosmologyathome.org/prefs.php?subset=project
Etat du serveur : https://www.cosmologyathome.org/server_status.php
... et ainsi de suite : les serveurs Boinc ont quasiment tous la même structure.

[fzs600]

Oui, c'est bizarre : on accède à tout, sauf la page de compte

Après il faut ruser :
Préférences : https://www.cosmologyathome.org/prefs.php?subset=project
Etat du serveur : https://www.cosmologyathome.org/server_status.php
... et ainsi de suite : les serveurs Boinc ont quasiment tous la même structure.

Même en rusant ça ne passe pas,accès au compte impossible. 

[[AF>Libristes] ElGuillermo]

Ah mince. J'étais loggué. Du coup, je me suis déloggué pour voir si...
La page de connexion semble planter, mais en fait, t'es bien loggué.

Tu peux naviguer partout sauf sur la page de compte (voir mes liens plus haut)

[[AF>Libristes] ElGuillermo]

Bon, par contre, ça fait plusieurs jours que ça dure et personne ne semble s'en inquiéter du côté serveur
Sur le forum, ça commence à parler de "projet fantôme".

Il n'est pas trop tard pour changer de projet sur le raid... (?)
On avait notamment évoqué Yafu parmi les candidats potentiels.

[JeromeC]

Plutôt kaput le site en effet...

[modesti]

Je me demande si le problème ne viendrait pas d'un (de) certificat(s). Sur FF j'ai le message suivant quand je veux me connecter:

Échec de la connexion sécurisée

Une erreur est survenue pendant une connexion à www.cosmologyathome.org.

    La page que vous essayez de consulter ne peut pas être affichée car l'authenticité des données reçues ne peut être vérifiée.
    Veuillez contacter les propriétaires du site web pour les informer de ce problème.

En fait c'est une page htpps, mais "non sécurisé" d'après FF.

[[AF>Libristes] ElGuillermo]

Y'a de ça
https://www.cosmologyathome.org/forum_thread.php?id=7818#23129

[modesti]

Bon, après, c'est le projet de secours Comme le disait ElGuillermo, on peut encore changer. Le mailing n'est pas encore parti

[modesti]

A la suite des problèmes rencontrés avec Cosmology, nous avons décidé de changer de projet de secours => SiDock.
Modifications effectuées dans le premier message de ce topic.

[Prof]

Salut l'équipe qui bosse dur pour nous préparer de beaux raids / challenges et autre joyeusetés!!  

Qqch d'envisageable pour nos macs sous AMD??
Il y a plein de choses possible : Amicable, Milkyway, Primegrid...
Einstein plante lamentablement toutes ses Wus chez moi en ce moment!!

Merci 

[modesti]

Loda est compatible Mac, voir le message de Jéjé ci-dessus. Il faut simplement penser à installer git (voir le topic du projet). C'est aussi pour ça qu'il a été choisi comme projet principal