Boinc et les projets distribués > les nouveaux projets

[BETA] LODA

(1/25) > >>

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.

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

--- 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