gerfaut83 a écrit 42 commentaires

  • [^] # Re: Par définition…

    Posté par  (site Web personnel) . En réponse à la dépêche Une mise en cause infondée de logiciels libres dans une affaire de fausses factures ?. Évalué à 2 (+1/-0).

    Tu sous-entends que tout le monde ne le ferait pas ?!

  • # Par définition…

    Posté par  (site Web personnel) . En réponse à la dépêche Une mise en cause infondée de logiciels libres dans une affaire de fausses factures ?. Évalué à 8 (+7/-0).

    C'est dans la nature même du libre.

    La FSF affirme que la liberté 0 d'une licence libre c'est :

    0) la liberté d'exécuter le programme, pour tous les usages

    Sans doute que si la personne avait voulu frauder avec un logiciel propriétaire, elle aurait enfreint le CLUF.

    Donc, finalement, elle n'a pas eu d'autre choix que de frauder avec du logiciel libre.

    CQFD.

  • [^] # Re: Je télé-étudie

    Posté par  (site Web personnel) . En réponse au sondage Ce que je fais ou à quoi je pense pendant le confinement. Évalué à 9.

    Je te comprends. Je fais partie de ceux qui font télé-étudier leurs étudiants via Teams, Zoom et compagnie. Autant de solutions libres, sécurisées et soucieuses de la vie privée.

    On a lancé un sondage auprès de nos étudiants sur leurs conditions de télétravail. Ce qui ressort, sans parler des problèmes purement techniques, c'est que ce n'est pas toujours simple d'avoir un environnement adéquat pour travailler dans son lieu de confinement.

    Un petit florilège des remontées reçues :

    • enfants en bas âge, ambiance bruyante
    • maman assistante maternelle
    • enfermement dans un petit appartement en centre d'une grande ville
    • pas de bureau, doit travailler dans le salon
    • habitué au wifi de l'école, n'a pas pris de box chez lui
    • frère tromboniste qui pratique près de 5h par jours
    • voisin qui s’entraîne à la trompette qu'il ne sait pas jouer
    • connexion internet insuffisante pour que 5 personnes concernées par des cours en visio puisse suivre leur cours correctement en même temps

    Bref, ce n'est pas toujours simple !

  • # Et qui fait télétravailler ses enfants ?

    Posté par  (site Web personnel) . En réponse au sondage Ce que je fais ou à quoi je pense pendant le confinement. Évalué à 7.

    Je télétravaille quand ça fonctionne (assez souvent en fait).

    Je fais télétravailler mes étudiants (quand il arrivent à se connecter, mais surtout à mettre en place un environnement adéquat…)

    Mais ce qui me prend le plus de temps, c'est de faire télétravailler mes propres enfants.

    C'est sympa l'école à la maison, mais ça prend du temps. Heureusement qu'on est deux pour s'en occuper. Comment font les parents seuls ? Sérieusement ? J'ai l'impression qu'ils ont à passer plus de temps sur l'ordinateur que moi pour faire tout ce qu'on attend d'eux. Il faut quasiment cinq ordinateurs à la maison pour s'en sortir.

    Et je ne me plains pas, on a un jardin, et il a fait beau presque tous les jours pendant les deux premières semaines de confinement.

  • [^] # Re: Note de Comparaison avec Photoshop

    Posté par  (site Web personnel) . En réponse à la dépêche G’MIC 2.7.0 : Une rentrée pleine de style pour le traitement d’images !. Évalué à 5.

    Difficile de comparer G'MIC et Photoshop, le premier est une bibliothèque de fonctions (et un peu plus que ça, on est d'accord), alors que le second est un environnement complet de gestion de photos.

    Photoshop propose des fonctions puissantes avec un très bonne intégration et gère des choses pas très utiles au commun des mortels, mais indispensables pour certains professionnels (par exemple, la gestion fine des profiles de couleurs selon la destination de la production).

    Il faudrait sans doute le comparer avec Gimp ou Krita. Gimp a une ergonomie qui historiquement a été assez clivante, mais qui aujourd'hui converge vers quelque chose d'assez homogène et abouti. De nombreuses lacunes pour un usage professionnel ont été comblées au fur et à mesure des versions. Il bénéficie d'une très bonne visibilité, d'une grande communauté de contributeurs, mais aussi d'utilisateurs. L'existence d'une boîte à outils telle directement accessible depuis GIMP que G'MIC en est un bel exemple. Mais cela va plus loin puisque des fonctions comme le coloriage intelligent sont maintenant directement intégrées dans le logiciel. Merci GREYC !

    Krita, historiquement cantonné à l'univers KDE a connu pas mal d'engouement grâce à une stratégie de collaboration entre des artistes et des développeurs. Ces derniers essayant de comprendre au mieux les difficultés des premiers et essayant d'y répondre au mieux. Voir notamment le blog de David Revoy ou les articles publiés précédemment sur LinuxFr. G'MIC est aujourd’hui utilisable également directement dans Krita.

    Photoshop est-il mieux ? À chacun de voir selon ses besoins, ses contraintes, son portefeuille, sa philosophie… En tous cas, les solutions intéressantes ne manquent pas, et il y a jamais eu autant d'alternatives alléchantes qu'aujourd'hui. Et encore, on n'a pas effleuré tout ce qui se fait dans des domaines connexes (comme par exemple Darktable, Hugin, RawTherapee, Inkscape, Scribus, etc, etc).

  • [^] # Re: Merci pour ce travail

    Posté par  (site Web personnel) . En réponse à la dépêche Terminus : un jeu d’aventure pour apprendre à utiliser la ligne de commande. Évalué à 2.

    Tu as raison, je pensais qu'il était court, mais finalement, en le rejouant, j'ai découvert ce qu'il y a derrière le rocher…

    Et comme toi, j'ai eu un bug avec grep. Mais je ne sais pas si ce n'est pas moi qui ait mis le bazar dans la bibliothèque en y déplaçant un dragon… Bref, histoire à creuser. Je verrai ça une autre fois, car on a vite fait d'y passer un peu de temps.

    Mais, bravo d'autant plus aux concepteurs.

    NB : il reste encore quelques passages non traduits. J'aurais bien envie de m'y pencher si je trouve un peu de temps.

  • [^] # Re: Merci pour ce travail

    Posté par  (site Web personnel) . En réponse à la dépêche Terminus : un jeu d’aventure pour apprendre à utiliser la ligne de commande. Évalué à 3.

    Pareil pour ma part. J'ai déjà mis un lien dans mon cours !

    Dommage qu'il soit court, on aurait bien joué plus longtemps. Peut-être que ça donnera des idées à de futurs contributeurs.

    Merci pour cette dépêche. On découvre vraiment plein de choses sur LinuxFR !

  • [^] # Re: C'est assez clair !

    Posté par  (site Web personnel) . En réponse à la dépêche Seconde mise en demeure pour l'association LinuxFr. Évalué à 9.

    Tu risques d'être en concurrence, je crois que Le Robert et Larousse sont aussi sur le coup !

  • # Merci

    Posté par  (site Web personnel) . En réponse à la dépêche Org-mode 3/5 : des liens et des images dans vos notes. Évalué à 2.

    Merci pour le rappel du C-u devant le C-c C-l, qui permet d'accéder directement aux système de fichiers. Je ne m'en souvenais plus, et c'est vrai que c'est bien pratique à l'usage. Car la plupart du temps, je fais des liens entre mes fichiers Org. C'est assez rare que je pointe vers autre chose (sachant que pour les URL Internet, il suffit de les taper en clair, puis de faire un C-c C-l pour leur ajouter un titre…).

    On peut aussi utiliser la syntaxe avec les [[][]], mais ces symboles sont tellement pénibles à taper sur un clavier AZERTY (et je trouve que c'est encore pire sur un Mac), que je préfère essayer de retenir le raccourcis : C-u, C-u, C-u, C-u, …

  • [^] # Re: Rarement suffisant

    Posté par  (site Web personnel) . En réponse au journal À quoi sert un tableau de Karnaugh ?. Évalué à 7.

    C'est clair que Karnaugh ne donne pas toujours la solution optimale.

    Un exemple que je donne en exercice à mes étudiants est la réalisation d'un circuit comparateur n-bits. Je leur fais d'abord faire un comparateur 2-bits en synthétisant les sorties à l'aide d'une table de Karnaugh. Dans un second temps, je leur fais faire un simple comparateur 1-bit, et on cherche comment fabriquer la version 2-bits en en combinant deux ensemble.

    En comparant les deux solutions, on voit que la deuxième approche est à la fois meilleure pour minimiser le nombre de portes utilisées et en terme de profondeur de circuit (nombre de portes traversées entre l'entrée et la sortie dans le pire cas).

    Moralité : Karnaugh fournit une forme normale disjonctive (en mathématiques du collège on dirait, la forme développée réduite d'une équation). Ça ne garantie en rien qu'il n'existe pas de meilleure solution par ailleurs.

    À vrai dire, le plus difficile dans ce type de cours, c'est de parler de "comparateur deux bits" sans déclencher un rire général dans la classe :-)

  • [^] # Re: Qu'est-ce ?

    Posté par  (site Web personnel) . En réponse au journal À quoi sert un tableau de Karnaugh ?. Évalué à 7.

    Par contre je ne comprends pas le concept de plier une table de vérité pour en faire un objet en deux dimensions, vu que c'est déjà un objet en deux dimensions.

    Une table de vérité classique se représente sous forme de tableau à une entrée (sous forme de colonnes, généralement), une table de Karnaugh est une table à deux entrées (lignes et colonnes). Une ligne dans une table de vérité correspondra à une case dans la table de Karnaugh.

    Exemple : une fonction à quatre atomes f(a,b,c,d) se représente soit sous la forme d'une table de vérité à 2^4=16 lignes, soit sous la forme d'une table de Karnaugh de taille 4\times 4. On retrouve exactement le même nombre d'information. Mais l'organisation des lignes et des colonnes a la propriété suivante : le passage entre deux lignes adjacentes doit produire le changement d'un et un seul atome à la fois. De même pour les colonnes. Et on considère que les lignes extrêmes sont également adjacentes (de même que les colonnes). D'où l'aspect circulaire, ou cylindrique de la représentation.

    Il existe plusieurs manière de disposer les atomes sur les lignes et les colonnes. Une des manière de faire est d'utiliser le binaire réfléchi ou code de Gray : 000, 001, 011, 010, 110, 111, 101, 100, etc. Si on observe bien ces nombres, un seul chiffre varie lorsqu'on passe d'un nombre au suivant. La propriété nécessaire aux tables de Karnaugh est donc bien vérifiée.

    L'avantage de cette disposition, c'est qu'elle permet de visualiser plus simplement l'influence de la variation d'une seule variable à la fois, ce qui peut conduire à des simplifications de l'expression.

  • [^] # Re: Solution à base de types variants en ADA

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 1.

    Détecter, dans ce cas, tous les mauvais usage d'un type variant à la compilation n'est pas une chose difficile : c'est le principe même du type checking, tâche qui incombe au compilateur dans les langages à typage statique.

    Je pense que que pour ce type de vérifications, il faut activer d'autres mécanismes du langage, comme par exemple le sous-typage et polymorphisme qui permettent de distinguer des objets spécialisés dans différents contextes. Du coup, la non-vérification d'un contrat (utiliser un attribut spécialisé alors qu'on a une référence sur le type général) sera explicitement traquée par le compilateur et signalée comme erreur, comme dans n'importe quel langage objet.

    Sur un simple enregistrement variant, l'information n'est pas portée avec le type dans la signature d'une fonction. Je peux comprendre qu'on puisse préférer que le compilateur refuse tout simplement de compiler lorsque la vérification est hors de portée. Cependant, Ada laisse toujours pour chaque mécanisme du langage le choix à l'utilisateur de décider s'il souhaite en avoir les avantages (expressivité, sécurité) mais aussi les inconvénients (complexité, interopérabilité, impact de performance, etc).

    Par exemple, dans le cas de Ada objet, on peut choisir d'activer séparément différents mécanismes :
    - de l'encapsulation (avec les PACKAGES)
    - de l'héritage (avec l'utilisation de types dérivés : TYPE ... IS NEW ...)
    - de l'extension de type (avec les types TAGGED PRIVATE)
    - du polymorphisme (type ACCESS Object'Class)

    Alors Ada est-il le meilleur langage objet pour autant ? Ce n'est pas mon avis, car on a vite fit d'écrire beaucoup de code pour faire des choses qui s'exprimeraient de manière beaucoup plus concise dans bien d'autres langages. Mais, peu de langages permettent une distinction aussi fine de ces mécanismes. Ça peut avoir éventuellement une vertu pédagogique : je pense que quiconque maîtrise l'objet en Ada, dispose de la maîtrise de tous les concepts nécessaires pour appréhender rapidement n'importe quel langage objet.

    Oups, désolé, je ne sais plus comment on a réussi à dériver d'une discussion qui par du compilateur Haskell pour finir par parler des langages objets. Toute mes excuses pour des propos qui auraient pu être interprétés comme blasphématoires dans ce fil de discussion de conviction plutôt fonctionnelle.

  • [^] # Re: Top

    Posté par  (site Web personnel) . En réponse au journal Sortie de matplotlib 2.0. Évalué à 2.

    Idem, j'ai trouvé la vidéo très intéressante, au-delà même du contexte de Matplotlib.

    Merci pour le lien.

  • # De l'utilité des termes recouvrement

    Posté par  (site Web personnel) . En réponse au journal À quoi sert un tableau de Karnaugh ?. Évalué à 7.

    Il y a quelque chose que j'aime bien appuyer lorsque j'enseigne les tables de Karnaugh, c'est l'utilité des termes de recouvrement. Car, souvent, on dit qu'il suffit de s'arrêter lorsque tous les '1' sont couverts. Ce qui est juste, et ce qui permet d'exprimer l'équation en forme normale disjonctive (FND).

    Sauf que si les groupes de '1' sont disjoint, le système peut connaître une instabilité lorsqu'on passe de l'un à l'autre de ces groupes. Imaginez que notre implémentation de porte NON ait une légère latence lors du basculement de son entrée, alors l'expression booléenne \overline{a} + a pourrait valoir faux pendant un court instant lorsque a passe de vrai à faux.

    De même la fonction booléenne f(a,b,c)=\overline{a}b+ac pourrait être instable lorsque a passe de vrai à faux. Mais si on rajoute le terme de recouvrement f(a,b,c)=\overline{a}b+ac+bc, la fonction reste vraie, même lorsque a varie. Et ce qui est bien avec Karnaugh, c'est que le recouvrement est très visuel.

    Parfois, je présente ça à mes étudiants en faisant l'analogie avec un assemblage hyperstatique en mécanique (faut dire aussi, que j'enseigne dans une école de mécanique). Pourquoi une chaise a-t-elle généralement quatre pieds, alors bien que trois points suffisent à faire une liaison avec le plan du sol ? Une chaise à trois pieds, c'est certes isostatique, mais dans la pratique, c'est plus casse-gueule ! Donc, il existe des cas dans lesquels on est prêt à payer le coût de l'hyperstaticité (un pied de chaise en plus, c'est pas gratuit), et même de ses inconvénients (ça sera forcément bancal).

    Mais, quand même, on est plus serein quand on s'assoit dessus :-)

  • [^] # Re: Solution à base de types variants en ADA

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 3.

    D'une manière générale, le principe du typage statique se situe dans la question : comment refuser d'exécuter un code qui plantera nécessairement ? ou plutôt, comment savoir qu'un bout de code plantera nécessairement avant de le lancer ?

    Pour répondre au coup du Warning plutôt que de l'erreur pour le non respect du RANGE : Ada dispose d'une option pour forcer les Warning en Erreurs. Alors pourquoi laisser le choix ? Peut-être parce que le programmeur est un être libre :-) Non, blague à part, supposons que je souhaite écrire un test de couverture de code, car je m'interface avec un code en C qui ne dispose pas de ces vérifications de typage. Peut-être que cette option me facilitera l'écriture de mon cas de test.

    Dans le cas de l'attribut qui n'existe pas selon le discriminant, il n'y aura même pas de Waring à la compilation. Uniquement une Erreur au Runtime. Ça me semble difficile de détecter tous les mauvais usages d'un type variant, surtout si on peut récupérer le record depuis un contexte extérieur (non-Ada). Il faut bien que ça plante quelque part, au niveau de l'interface, si on fait de la programmation par contrat, ou plus loin dans le code si on ne teste pas à l'entrée.

    Après, on est d'accord, plus le compilateur englobe d'informations, plus il pourra nous aider à trouver les erreurs dans le code, voire dans sa sémantique. Mais si cette question était si simple, tout le monde coderait en COQ ! Comme ça tout serait toujours syntaxiquement et sémantiquement correct. Sauf que, si ce n'est pas le cas dans la pratique, c'est qu'il y a tout un tas de bonnes raisons de ne pas toujours le faire.

    Haskell représente certainement un très bon compromis sur cette échelle, bien que lorsqu'on pousse le curseur un peu loin, le noyau de codeurs, aptes à comprendre de quoi il retourne, se réduit à peau de chagrin (cf. multiples discussions ci-dessus).

    Ada, de son côté, a plein de limites, mais il a quand même été retenu pour bon nombre de projets dans des domaines tout à fait sérieux, et son système de typage (certes moins riche que celui de Haskell) n'y est sans doute pas étranger.

    Beaucoup de choses entrent en ligne de compte lorsqu'on choisit un langage. Haskell et Ada sont sans doute de très bons candidats, chacun dans leur domaine d'excellence.

  • [^] # Re: Solution à base de types variants en ADA

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 1.

    Il n'y a pas de garantie statique sur ce genre de chose ? Ça c'est dommage.

    J'ai l'impression qu'on navigue à la frontière entre le rôle du compilateur et celui de l'analyseur de statique de code.

    MaPolitique := (NombreFixe,  0); -- Warning: "Constraint Error will be raised at Runtime"

    Ada le fait dans une certaine mesure comme dans la ligne ci-dessus. Pour des choses plus complexes, il faut donc faire appel à d'autres outils.

    Une des forces d'Ada est l'obligation de conformité (ACATS) des compilateurs. Cela participe sans doute au succès d'Ada pour des usages critiques. Mais c'est parfois aussi un point faible, en terme de disponibilité rapide d'un compilateur lors de la sortie d'un nouveau hardware. Il faudrait voir quel impact une telle complexification du compilateur aurait sur ce processus de validation, que peu de langages s'imposent.

    Un avantage de la solution Ada est que l'ensemble des tests au runtime peuvent être activés ou désactivés avec un simple pragma si on choisit de privilégier la performance. Je ne connais pas assez Haskell pour dire si ce type de modularité est possible avec les solutions proposées dans les commentaires.

  • [^] # Re: Solution à base de types variants en ADA

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 1.

    Déjà, je me permets de renvoyer vers un excellent commentaire sur ton journal… Le mien :D

    Désolé Blackknight, je n'avais pas lu le journal à l'origine de la dépêche. Mon exemple est effectivement plutôt redondant avec le tien. Mais ça fait toujours plaisir de voir d'autres personnes coder en Ada. On se sent moins seul !

    Lorsque l'on ne précise pas de discriminant par défaut, le type est immuable de facto

    C'est vrai que j'ai passé sous silence le cas immuable, parce qu'un variant immuable, bon ben… en fait ça ne varie plus trop (blague, pas taper svp).

    Mais je reconnais que lorsqu'on code en Haskell, on a plutôt le réflexe de l'immuabilité, comme souvent avec les langages fonctionnels.

  • # Solution à base de types variants en ADA

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 7.

    Par rapport à ton exemple, je pense qu'ADA propose également des solutions robustes du point de vu typage (et c'est un peu l'objectif de ce langage…).

    Le code

    WITH Ada.Text_IO;
    USE Ada.Text_IO;
    
    PROCEDURE Variant IS
    
       TYPE PolitiqueThreadCase IS
             (NombreFixe,
              NombreMaximumHardware,
              PasDeThreading,
              CasParticulier);
    
       TYPE PolitiqueThread (Politique : PolitiqueThreadCase := PasDeThreading) IS
       -- valeur par défaut obligatoire
       RECORD
          CASE Politique IS
             WHEN NombreFixe =>
                NombreThread : Positive; -- alias pour : Integer RANGE 1..Integer'Last
             WHEN OTHERS =>
                NULL;
          END CASE;
       END RECORD;
    
       PROCEDURE TestPolitique (Pol : IN PolitiqueThread) IS
       BEGIN
          CASE (Pol.Politique) IS
             WHEN NombreFixe =>
                Put_Line("Nombre fixé à" & Integer'Image(Pol.NombreThread));
             WHEN NombreMaximumHardware =>
                Put_Line("Fait chauffer la ferme de calcul");
             WHEN PasDeThreading =>
                Put_Line("Plutôt tranquille");
             WHEN CasParticulier =>
                Put_Line("Celui-ci je ne l'aime pas");
          END CASE;
       END TestPolitique;
    
       MaPolitique : PolitiqueThread;
    
    BEGIN
       TestPolitique(MaPolitique); -- Par défaut : PasDeThreading
       MaPolitique := (NombreFixe, 8);
       TestPolitique(MaPolitique);
       MaPolitique := (Politique => NombreMaximumHardware);
       TestPolitique(MaPolitique);
       MaPolitique := (Politique => CasParticulier);
       TestPolitique(MaPolitique);
       MaPolitique := (NombreFixe,  0); -- Warning: "Constraint Error will be raised at Runtime"
    
    EXCEPTION
       WHEN CONSTRAINT_ERROR =>
          Put_Line("n est trop bizarre...");
    
    END Variant;

    Le résultat

    Plutôt tranquille
    Nombre fixé à 8
    Fait chauffer la ferme de calcul
    Celui-ci je ne l'aime pas
    n est trop bizarre...
    

    Exceptions

    Donc, ça permet de gérer automatiquement le cas d'une valeur négative. Ada permet d'ajouter très simplement des tests au Runtime avec l'option RANGE. Très utile pour les tableaux également. Si l'on souhaite privilégier la performance, il est aussi possible de compiler en désactivant ces tests à l'exécution :

    pragma Suppress( Range_Check );

    On a droit également à une exception si on tente d'accéder ou de modifier un champ alors que le discriminant n'est pas le bon :

    MaPolitique := (Politique => CasParticulier);
    MaPolitique.NombreThread := 5; -- CONSTRAINT_ERROR : discriminant check failed

    La solution Ada est comme souvent un peu verbeuse, mais garde une bonne lisibilité.

  • [^] # Re: #WhatWouldTimblDo

    Posté par  (site Web personnel) . En réponse à la dépêche #WhatWouldTimblDo : nouvelle campagne de la FSF contre les DRM sur le Web. Évalué à 2.

    Est-ce que cela sous-entend que la parole de Tim Berners-Lee est parole d'évangile ?
    Mais, au moins, est-il pratiquant du Bourne-Again SHell ?

    Visiblement, la référence était non pertinente ou trop peu connue…

    What Would Brian Boitano Do? :

    The title of the absurdist song is a parody of the evangelical Christian motto "What Would Jesus Do?"

    Bash :

    The shell's name is an acronym for Bourne-again shell, punning on the name of the Bourne shell that it replaces and on the term "born again" that denotes spiritual rebirth in contemporary American Christianity.

  • # #WhatWouldTimblDo

    Posté par  (site Web personnel) . En réponse à la dépêche #WhatWouldTimblDo : nouvelle campagne de la FSF contre les DRM sur le Web. Évalué à -4.

    Est-ce que cela sous-entend que la parole de Tim Berners-Lee est parole d'évangile ?
    Mais, au moins, est-il pratiquant du Bourne-Again SHell ?

  • [^] # Re: Tesseract-ocr

    Posté par  (site Web personnel) . En réponse à la dépêche GNU/Linux a son OCR de qualité. Évalué à 2.

    Lui-même basé sur Tesseract selon la documentation sur GitHub :
    - Uses Tesseract OCR engine
    - Supports the 39 languages recognized by Tesseract

  • # Support du math-mode LaTeX ?

    Posté par  (site Web personnel) . En réponse à la dépêche Sortie de Makefly 0.4, alternative au moteur de blog statique Nanoblogger. Évalué à 3.

    Merci pour le présentation de cet outil de publication libre.

    Si j'ai bien compris, la rédaction des article s'appuie sur le format Markdown. Certains éditeurs Markdown (citons le très bon UberWriter, par exemple, sous Linux) intègrent la gestion des équations mathématiques avec la syntaxe LaTeX en interprétant une chaîne sous la forme : $1+e^{i\pi}=0$ en : 1+e^{i\pi}=0, le rendu HTML étant généralement confié à Mathjax. Est-ce qu'une telle fonctionnalité est prévue/envisagée/envisageable¹ avec Makefly ?


    ¹ Rayer les mentions inutiles.

  • # Multi-utilisateurs ?

    Posté par  (site Web personnel) . En réponse à la dépêche La version 2.0 "Oliver" de Cozy Cloud est enfin disponible ! . Évalué à 10.

    Merci pour cette annonce et pour le développement de projets ouverts qui proposent des alternatives aux solutions restreignant les possibilités et les libertés.

    J'ai lu dans cette dépêche qu'en temps que solution de cloud personnel, Cozy ne gérait qu'un seul utilisateur. Est-ce toujours le cas de la version 2.0, et si oui, quelles sont les orientations (à court ou à plus long terme) du projet vis-à-vis de la gestion des utilisateurs multiples ?

  • # Biens mé...

    Posté par  (site Web personnel) . En réponse à la dépêche Grammalecte, correcteur grammatical. Évalué à 4.

    J sui pa sur ke sa sere à tou le monde !! :-o

    PS : O fète, sa veu dir koi quan lé mos ke j écrie son pa souligner en rouge ?

  • [^] # Re: éditeur d’équation

    Posté par  (site Web personnel) . En réponse à la dépêche LaTeXila 3.16 plus campagne de financement. Évalué à 2.

    Je ne veux pas faire de pub, mais avec Texstudio (et avec la plupart des IDE), tu as des panneaux ou des barres d'outils avec des onglets qui rassemblent les symboles les plus usités (opérateurs, flèches, délimiteurs, relations, alphabet grec, etc).

    En plus, avec Texstudio, tu peux coupler ça avec une prévisualisation en direct au milieu de ton code. Il faut simplement sélectionner quelques lignes du fichier source puis faire Alt+P (raccourci par défaut). Et du coup, l'équation se dessine au fur et à mesure qu'on la modifie. C'est très rapide, car seul le texte sélectionné est compilé.

    La prévisualisation rapide n'est pas limitée à l'édition d'équation, ça marche avec à peu près tout (pour peu qu'il n'y ait pas trop de dépendances avec des commandes personnalisées définies ailleurs…).