• #Typst

    Typst est un #logiciel d’#écriture et d’#édition_scientifique créé par Martin Haug et Laurenz Mädje. Il existe sous la forme d’un éditeur collaboratif en ligne avec un accès gratuit et des fonctionnalités payantes (un peu comme #Authorea), ainsi que sous la forme d’un programme en ligne de commande, pour un usage local. On peut trouver en ligne le code et une documentation détaillée.

    Je suis frappé par la vitesse avec laquelle les deux créateurs ont transformé leur projet de fin d’études en entreprise. Le marketing est plutôt malin, on situe tout de suite Typst par rapport à #Word, #Google_Docs et #LaTeX. À noter que Pandoc a très vite développé une compatibilité avec ce nouvel outil. Typst suscite clairement de l’enthousiasme dans une communauté fatiguée par des outils mal adaptés à ses besoins. Un sentiment d’efficacité se dégage de l’ensemble du projet, et on sait combien c’est important quand il s’agit de convaincre les gens de transformer leurs pratiques. Mais il reste à tenir certaines promesses, en premier lieu sur l’accessibilité des PDF : Typst a été présenté comme une amélioration possible à TeX sur ce point, or deux ans après ce n’est toujours pas le cas.

    Je n’ai pas encore essayé l’outil. Mais pour les curieux, le mémoire de Laurenz Mädje décrit la genèse de Typst, et j’y ai relevé plusieurs éléments que je partage ci-dessous.

    Pour justifier d’investir des efforts dans la création d’un nouvel outil d’écriture et d’édition scientifique, Mädje analyse les défauts de #TeX avec des mots qui frappent juste :

    « La conception datée de TeX entrave fondamentalement l’expérience utilisateur » (p. 7) […] « la compilation est lente, l’accessibilité est mauvaise, et les possibilités de mise en page sont limitées » (p. 13).

    Les deux logiciels appelés Typst – l’éditeur en ligne et le compilateur en ligne de commande – reposent sur un langage de programmation du même nom, qui s’écrit en partie comme un langage de balisage léger, proche de #Markdown :

    « Typst, c’est à la fois un langage de balisage léger et un langage de programmation complet, réunis en une seule syntaxe, au format texte » (p. 7) […] « Intégrer stylage et programmation rend la mise en forme plus simple et plus souple » (p. 68).

    C’est donc un vrai système de #programmation_éditoriale, ce qui me rappelle #Pollen, sur lequel j’avais publié une note de veille. L’intégration entre balisage et programmation existait déjà dans l’écosystème TeX avec #LuaTeX mais l’avantage de Typst est d’avoir repris la conception du système à zéro : en théorie, cela devrait permettre de développer rapidement un catalogue de fonctionnalités modulaires, comme les paquets de TeX, sur une base plus saine.

    J’ai aussi relevé quelques concepts utiles, comme le couple balisage procédural – qui indique à l’ordinateur comment procéder – et balisage descriptif – qui décrit à l’ordinateur la structure du document. Mädje souligne que le #balisage_descriptif convient particulièrement à l’édition multiformats car il permet de changer de styles sans modifier le contenu. Il distingue trois catégories de langages de balisage descriptif, suivant qu’ils sont basés sur des tags, des macros ou des caractères. La phrase “The line between data and markup is fuzzy” (p. 16) a particulièrement retenu mon attention : elle suggère que le texte, c’est de la donnée  ; et surtout, que le balisage, c’est déjà un peu de la sérialisation.

    Enfin, j’ai relevé cet argument pro-balisage (ou #anti-WYSIWYG, comme on veut) dans la conclusion :

    « Les langages de balisage ont un avantage concret sur les systèmes de composition #WYSIWYG : ils permettent aux auteurs de définir la structure du document indépendamment de son apparence et de passer automatiquement de l’une à l’autre  ; cela donne une meilleure expérience d’écriture, avec moins de travail répétitif » (p. 71).

    https://www.arthurperret.fr/veille/2024-08-29-typst.html

    #alternative

    • l’exemple de maths me fait demander pourquoi avoir redéfini tout un langage de description de formules, celui de TeX/LaTeX étant assez complet, surtout en conservant les marques ’$’ pour délimiter les formules mathématiques ! Là on se retrouve avec un truc qui ressemble mais n’est pas pareil, je pige pas l’intérêt.

      Pour le reste ça a l’air propre et bien pensé. (ah merdre, pas de paquets debian ça ça fait chier…).

      En même temps après presque 30 ans de LaTeX, quand t’as ton jeu de macros toutes prêtes pour composer à peu près n’importe quoi, des maths aux figures Tikz, se lancer dans un nouveau truc comme ça, pfffff, ça me fatigue d’avance !

    • Rédiger la thèse avec #Zettlr

      Depuis janvier, ça y est, je suis passée en mode rédaction de la #thèse. Grande étape tout court, moment crucial aussi par rapport à l’organisation de mon travail — et notamment par rapport à la question de mon outil de travail. Je travaille avec Ubuntu (plutôt qu’avec Windows ou Mac)  ; au début de la thèse, j’ai fait ce choix sans trop savoir ce qu’il allait impliquer exactement — est-ce que j’aurais les fichiers au bon format  ? est-ce que les relectures et renvois de fichiers, d’un·e collègue à un·e autre, allaient se faire sans encombre  ? est-ce que les formats disponibles sous Ubuntu étaient appropriés pour un travail aussi long et lourd que la thèse  ?

      Comme je le disais à la fin de l’article où j’explique ces hésitations, j’ai eu quelques déconvenues  : d’un côté, je me suis vraiment attachée au fonctionnement sous Ubuntu et je n’ai plus du tout envie de repasser à Windows, de l’autre je suis forcée de constater que LibreOffice Writer, que j’utilisais pour remplacer Word, a des défaillances vraiment rédhibitoires pour la rédaction de gros fichiers de thèse. Les feuilles de style créent des bugs, les révisions de texte sont mal traduites d’un ordinateur à l’autre, bref  : pour un article ça passe, pour une thèse non. J’ai eu peur de devoir laisser tomber Ubuntu  ; et puis, finalement, non  ! Je me suis enfin penchée sur ce logiciel libre dont j’entendais parler sur Twitter depuis à peu près un an, Zettlr, et il est devenu mon outil de rédaction principal  : quelques explications donc.

      [Update février 2023] Ça, c’est ma problématique perso. Mais plus j’avance dans l’usage de Zettlr, plus je pense qu’il est vraiment une option à considérer pour tout le monde, rien à voir en fait avec utilisation ou pas d’Ubuntu. Dans l’absolu, Zettlr a des vrais avantages pour la rédaction : fluidité de l’écriture, structuration argumentative du texte, stylages, gestion des bibliographies, indexations… Il faut partir de l’idée qu’il y aura quelques bidouilles informatiques à prévoir, mais elles restent de l’ordre du raisonnable, ça vaut le coup.

      https://engagees.hypotheses.org/2948

    • Je dois déjà en avoir parlé.
      On rédige tous nos compte-rendus et documents d’analyse en markdown avec Zettlr, sur Linux et Windows. On exporte en PDF avec notre propre modèle pandoc intégré dans Zettlr. On ne connaissait pas Latex, et on s’y est mis. On est tombé sur un certain nombre de limites liées à la chaîne zettlr>pandoc>latex, mais on a un résultat qui nous permet de limiter l’usage de Word à quelques derniers bidules que markdown ne peut pas gérer, parce que c’est pas fait pour.

  • Bure : le zèle nucléaire de la justice - Libération
    https://www.liberation.fr/france/2018/11/14/bure-le-zele-nucleaire-de-la-justice_1692100

    Ils ne sont que quelques dizaines, pourtant la justice emploie les très grands moyens. « Libération » a pu consulter le dossier d’instruction contre les militants antidéchets nucléaires : une procédure titanesque employant les ressources les plus pointues… de la lutte antiterroriste. (...)
    L’objectif clairement affiché est de mettre en évidence la « radicalisation » d’une partie des opposants ayant des « desseins criminels » et auteurs, selon les gendarmes, d’« infractions graves n’ayant pour l’instant entraîné que des dégâts matériels ». Dans cette instruction, qui a déjà dépassé les 10 000 pages et que Libération a consultée, les investigations les plus intrusives des enquêteurs s’enchaînent frénétiquement. Une « cellule Bure » à la gendarmerie est montée en coordination avec le parquet de Bar-le-Duc. Une dizaine de militaires travaillent sur le mouvement. La plupart à plein temps. Surveillance physique, #géolocalisation, #balisage de véhicule, placement sur #écoute, tentative de sonorisation d’une maison, expertise génétique, perquisitions, exploitation de matériel informatique… Ces « techniques spéciales d’enquête » ont été étendues ou légalisées par la loi du 3 juin 2016 sur la criminalité organisée et le terrorisme. A l’époque des débats au Parlement, les défenseurs des libertés publiques alertaient justement contre le risque de voir les méthodes de l’#antiterrorisme et de répression du grand banditisme appliquées au militantisme politique.

    #nucléaire #luttes_sociales #Imsi-catcher

    • Les grandes oreilles des gendarmes vont aussi s’intéresser à plus d’une dizaine de militants, dont les téléphones personnels sont placés sur écoute à partir de septembre 2017. Pour certains, les interceptions cessent après quelques semaines. D’autres, en revanche, seront écoutés pendant près d’un an. Qui parle à qui ? Qui utilise un pseudonyme ? Et lequel ? Les enquêteurs peinent à débusquer les « malfaiteurs » qu’ils traquent. Ainsi, 2000 communications décortiquées n’aboutissent qu’à quatre maigres retranscriptions… Sans parler du numéro d’une personne n’ayant rien à voir avec Bure, écoutée durant un mois pour rien.

      Mais l’exploitation des téléphones personnels ne se cantonne pas aux écoutes. Une dizaine de personnes ont été géolocalisées pendant plusieurs semaines « avec une fréquence de rafraîchissement de dix minutes ». Résultat de ces rutilantes investigations ? Aucun « élément intéressant l’enquête ou susceptible d’aider à la manifestation de la vérité ». Autre tentative, celle de poser des balises GPS sous les véhicules de deux personnes intéressant manifestement beaucoup les enquêteurs. Mais là encore, les découvertes s’avèrent infructueuses.

    • Les gauchistes, c’est tellement sournois, ça résiste à tous les moyens d’enquête. Pas comme ces terroristes islamistes qui laissent leurs cartes d’identité sur les lieux de la terreur. C’est pour ça qu’il faut utiliser les lois antiterroristes contre les gauchistes, écologistes, syndicalistes, avec, par exemple, suppression de l’intervention du juge pour les mesures de privation de liberté. L’intuition des enquêteurs, c’est plus sûr que les procédures contradictoires. La preuve, quand on suit l’intuition des enquêteurs, qu’on attente aux libertés et à la vie privée, on n’obtient rien : c’est bien que les gauchistes sont très fourbes et très dangereux.

      https://seenthis.net/messages/735691