Boinc et les projets distribués > les nouveaux projets

[BETA] LODA

(1/42) > >>

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/


--- 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)
--- Fin de citation ---

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 :



--- Citer ---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.
--- Fin de citation ---

fzs600:
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
--- Fin de citation ---

--- 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
--- Fin de citation ---

--- 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
--- Fin de citation ---

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


--- Code: ---       _,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._
              `"""


--- Fin du code ---

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

fzs600:
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. 

[AF] Kalianthys:

--- Citation de: fzs600 le 14 Mai 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.

--- Fin de citation ---

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.

Navigation

[0] Index des messages

[#] Page suivante

Utiliser la version classique