GNU Dr. Geo 14.10

Posté par  (site web personnel) . Édité par Benoît Sibaud. Modéré par ZeroHeure. Licence CC By‑SA.
26
21
sept.
2014
Éducation

Dr. Geo est un studio de géométrie interactive et de programmation. À l'image des logiciels classiques de géométrie dynamique, il permet de créer des figures géométriques à la souris. En revanche, dans sa dimension programmation, une figure géométrique est décrite à l'aide d'une API sous la forme d'un code informatique.

Avec cette dernière fonctionnalité, des modèles informatiques ou des simulations sont créés dans un canevas de géométrie interactive, voir par exemple l'article en lien du Problème des 3 portes.
Enfin dernier point, Dr. Geo est auto-modifiable (modify-me-ready) : l'utilisateur peut modifier Dr. Geo depuis lui même et le redistribuer.

Dr. Geo demo

Aller plus loin

  • # f-droid

    Posté par  (site web personnel) . Évalué à 8.

    Le projet est disponible sur gplay, pourquoi pas sur f-droid ?

    La licence LGPL 2.1 ne le permet elle pas ?

    • [^] # Re: f-droid

      Posté par  . Évalué à 1.

      Pour qu'un projet soit sur f-droid il faut que les mainteneurs du dépôt connaisse l'existence du projet et l'accepte… du coup il suffit de le proposer ici : https://f-droid.org/forums/forum/submission-queue et je pense qu'il a de grande chance d'intégrer le dépôt.

  • # [HS] WebM

    Posté par  . Évalué à 3.

    À quand la possibilité de mettre des vidéo en WebM sur LinuxFR pour remplacer les GIF énormes ?

    4chan est en avance sur ce point :)

  • # 64 bits :-(

    Posté par  . Évalué à 3.

    J'ai voulu tester, et malheureusement, cela ne fonctionne pas encore à cause du fait que leur VM, Pharo, n'existe pas en 64 bits. Et ce n'est pas prévu avant 2015.

    La solution proposée est d'installer des paquets pour l'architecture i386. Ça me parait un poil contraignant…

    • [^] # Re: 64 bits :-(

      Posté par  (site web personnel) . Évalué à 3.

      • [^] # Re: 64 bits :-(

        Posté par  . Évalué à 3.

        http://www.drgeo.eu/community/faq#TOC-Can-I-run-it-in-my-Linux-64-bits-host-

        Je cite ce j'ai moi même écrit :

        La solution proposée est d'installer des paquets pour l'architecture i386. Ça me parait un poil contraignant…

        Pour clarifier les choses : je ne vais pas installer tout un runtime 32 bits sur ma machine 64 bits juste pour tester Dr Geo, quant bien même j'étais très intéressé pour le faire. Le 64 bits commence à dater, et c'est surprenant que des projets ne soient toujours pas disponibles sur cette plateforme.

        Pour info, j'ai ouvert un bug, qui a été clos avec le même lien que celui cité plus haut.

        • [^] # Re: 64 bits :-(

          Posté par  (site web personnel) . Évalué à 2.

          C'est sûr installer des libraires 32 bits ça coûte !
          Ma machine est également en 64 bits, installer les librairies 32 bits me prend 2 min.

          Le passage d'une architecture 32 bits à une architecture 64 bits ne se résume pas toujours à recompiler un code, et ici c'est justement le cas.

          Ce genre de jugement à l'emporte pièce est un poil déprimant pour ceux qui se casse en deux pour écrire des logiciels libres. Derrière les logiciels, il y a des personnes qui donnent !

          • [^] # Re: 64 bits :-(

            Posté par  . Évalué à 1.

            Le ton de tes réponses est déplaisant. Voila pourquoi :

            installer les librairies 32 bits me prend 2 min.

            https://wiki.debian.org/fr/Multiarch/HOWTO me prendra certainement plus de deux minutes. Et pour info, "ia32-libs-multiarch" n'existe plus en Jessie/Testing. Ta situation n'est pas celle de tout le monde.

            Le passage d'une architecture 32 bits à une architecture 64 bits ne se résume pas toujours à recompiler un code, et ici c'est justement le cas.

            Ai-je dit que c'était facile ? Qu'est ce qui te fait croire que je le pense ? Maintenant, je maintiens ma position qu'en 2014, écrire une VM qui ne marche pas en 64 bits me parait un peu surprenant. Pas scandaleux ou inadmissible, mais surprenant. On parle bien là d'un outil écrit par des experts, pas d'un simple programme pour utilisateur naïf.

            Ce genre de jugement à l'emporte pièce est un poil déprimant

            Que penser de ta réponse consistant uniquement en un seul lien sans moindre phrase ?

            pour ceux qui se casse en deux pour écrire des logiciels libres. Derrière les logiciels, il y a des personnes qui donnent !

            Donc en gros, je veux essayer Dr Geo. Dr Geo ne se trouve pas dans Debian Jessie. Je télécharge donc le paquet présent sur le site. Je constate qu'il ne fonctionne pas. Je fais un rapport de bug circonstancié. On me pointe vers une FAQ qui me dit d'installer un paquet qui n'existe pas sur ma distribution. Je cherche à installer un équivalent. Je me rend compte qu'il faut suivre tout un howto pour pouvoir installer un runtime 32 bits pour pouvoir faire fonctionner le soft. Au final, je considère que le jeu n'en vaut pas la chandelle. Je le fait remarquer ici dans l'espoir que la situation s'améliore.

            Pour n'importe quel programme proprio, on aurait cloué les dev au pilori pour l'obsolescence de leurs paquets. Là je précise juste que c'est dommage, et tu me sort l’argument à faire pleurer dans les chaumières que derrière le logiciel libre, il y a des vrais gens avec leur vrai ptit cœur et qu'ils se tuent à la tâche, et que de ce que je comprend du ton que tu emplois, on n'aurait pas le droit de poser nos yeux critiques sur leur travail. À croire que le logiciel libre offre une protection absolue contre la critique.

            Belle mentalité, j'espère que tu ne représente pas la philosophie des gens qui codent Dr Geo :-(

            • [^] # Re: 64 bits :-(

              Posté par  (site web personnel) . Évalué à 3.

              Je passe sur les jugements méprisants à l'emporte pièce…

              Mais sur la FAQ Dr. Geo , il y a justement deux paragraphes pour Debian, versions ancienne et récente. Pour le version récente (je copie-colle de http://www.drgeo.eu/community/faq) :

              Check you are indeed running a 64 bits system and you have access to 32 bits architecture as well:

              dpkg --print-architecture
              dpkg --print-foreign-architectures

              Then add the 32 bits compatibility packages:

              sudo dpkg --add-architecture i386
              sudo apt-get update
              sudo apt-get dist-upgrade

              Ça ne marche pas sous Jessy ?

    • [^] # Re: 64 bits :-(

      Posté par  (site web personnel) . Évalué à 3.

      Ce sont les distributions Linux qui sont contraignantes en ne proposant pas l'installation par défaut des librairies de compatibilité 32 bits, sur ce point Dr. Geo n'a pas prise.

      Sur Windows et Mac, celles-ci sont installées par défaut.

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.