Gil Cot ✔ a écrit 6272 commentaires

  • [^] # Re: customisation

    Posté par  (site web personnel, Mastodon) . En réponse au journal QRNote pour copier coller du texte de son ordinateur au téléphone. Évalué à 3.

    Pour ne pas présumer d’un nom de fichier qui n’existerait pas, je propose la correction

    - OUTPUTFILE="$HOME/.qr.png"
    + OUTPUTFILE=$(mktemp --suffix ".png")

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • # LaTeX Prof Collège

    Posté par  (site web personnel, Mastodon) . En réponse au message Générateurs en tout genres pour section jeu de notre publication papier. Évalué à 4.

    Je présume que les grilles du Sudoku de Gnome sont exporté via la fonction d’impression …en PDF ? Dans cette idée, tu peux appeler LaTeX à la rescousse avec le paquetage profcollege de Christophe Poulain : il y a une partie jeux mathématiques qui propose :

    • La « rose » des multiplications
      pour généraliser le résultat de la pyramide de nombres
    • Le défi « Table »
      permet d’afficher une table de multiplication où les produits ont été remplacés par des « caractères ».
    • Le défi « Rangement »
      permet d’afficher une suite de nombres à ranger, chaque nombre étant associé à une lettre ou symbole de ponctuation.
    • Billard
      permet de construire un « billard » tel que l’’élève doit alors tracer la trajectoire d’une boule passant par des lettres afin d’obtenir un mot caché.
    • Labyrinthe
      permet de construire un « labyrinthe » de calculs à relier
    • Labyrinthe de nombres
    • Triominos
    • Dessin gradué
    • Colorilude
    • Pixel Art
    • Mul'Art
    • Qui suis-je?
    • Mots empilés
    • Mots croisés
    • Mots codés
    • Mosaïque
    • Des cartes à jouer
    • Des dominos à jouer
    • Des enquêtes
    • Puissance Quatre
    • Le Yohaku
    • Le KenKen
    • Le Kakuro
    • Le Shikaku
    • Calculs croisés
    • Nombre astral
    • Le compte est bon
    • Barres de calculs
    • Énigme et aire
    • Fraction d’aire d’un carré
    • Tectonic
    • Le jeu du calisson
    • Puzzle Pyramide
    • Message Caché
    • Ronde infernale
    • Le Futoshiki
    • Garam
    • SquarO
    • Grades
    • MidPoint
    • Kakurasu
    • Trio
    • Les nonogrammes
    • Dobble
    • Number Hive
    • Le Grimuku
    • Cryptarithmes
    • Le Fubuki
    • Cible « quatre opérations »
    • « Serpent »

    Il y en a d’autres qui ne sont pas classés en jeux : La calculatrice cassée ; La pyramide des nombres ; etc.
    Le seul truc est qu’il faut : savoir utiliser LaTeX (pas d’interface graphique) et que celui-ci soit installé, se farcir la documentation du paquetage (complète et bien faite au demeurant.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • # crosswords generator?

    Posté par  (site web personnel, Mastodon) . En réponse au message Générateurs en tout genres pour section jeu de notre publication papier. Évalué à 3.

    Un peu dans le même esprit que le Sudoko de Gnome, il y a une appli pour jouer aux mots croisés. Souci : ça télécharge des grilles depuis des sites anglophones bien connus qui en fournissent (i.e. les grilles sont en anglais…) Cependant, ça sait aussi charger des grilles locales au format .puz ou .ipuz que je ne connaissais pas.
    Un autre programme multiplateforme de ce type, est XWord qui connait aussi ces formats (entre autres) et dont je ne sais si c’est toujours actif.
    Il y a des outils en ligne (donc on dépend d’une connexion internet et d’un serveur que l’on ne maitrise pas), et j’ai trouvé exolve qui permet de faire le sien. Je n’ai pas encore testé, mais ça peut importer .puz et .ipuz aussi.

    Du coup, je suis allé regardé les divers formats.
    - .jpz est le format de Crossword Solver qui est en java (donc utilisable sous Linux), mais le générateur du format est fermé et payant et pour Windows seulement.
    - .puz est le format de Accross Lite qui n’a pas de binaire pour les Unix. Le format, utilisé par le NYT, est en grande partie documenté par Literate Software Systems et il y a la bibliothèque Python puzpy qui permet d’en générer.
    - .rgz était le format de Aries Rows Garden dont les grilles, en anglais, sont maintenant disponibles en .jpz et en .pdf
    - .ipuz est un format JSON dont la spécification est ouverte et est donc à préférer. C’est de plus pensé pour divers types de puzzles y compris le sudoku. Il y a une bibliothèque C, libipuz, ainsi qu’une bibliothèque Python, ipuz. Ce qui fait donc le plus défaut ce sont les interfaces graphiques pour faire la génération de puzzles dans ce format.
    - On trouve des convertisseurs en ligne comme CrossWordNexus, mais on peut installer localement kpuz (par l’auteur d’une appli mobile supportant .puz et .jpz) ou xpuz pour convertir certaines formes de grilles entre .puz et .ipuz

    Conclusion, ce qui fait actuellement défaut est une GUI pour faire la génération…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Excel ?

    Posté par  (site web personnel, Mastodon) . En réponse au lien Excel will allow certain auto data conversions to be turned off. Évalué à 2.

    Il y a hélas, autour de ça, une promotion de dingue :(

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: pidof ?

    Posté par  (site web personnel, Mastodon) . En réponse au message traquer un process par son pid. Évalué à 3.

    Quand je dis que je ne trouve pas cette solution "élégante", c'est parce que ça fait des read() (et autres accès fs).
    Bien que /proc soit un répertoire "spécial", ça reste moins pratique qu'une solution (apparemment inexistante) qui ferait une seule requête au noyau ("quels sont tous les descendants du Pid 1234").

    Cela me fait penser à cette discussion https://news.ycombinator.com/item?id=38009372 (ça n’apporte pas de solution mais j’ai trouvé les commentaires intéressants.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Signal

    Posté par  (site web personnel, Mastodon) . En réponse au journal QRNote pour copier coller du texte de son ordinateur au téléphone. Évalué à 4.

    un Système de Messages Courts (comme les gazouillis), appelés textos en francophonie, interopérable entre tous les opérateurs (pas besoin d’un appli spécialisée et ni d’un réseau propriétaire) et sans Internet (puisqu’on utilise le réseau téléphonique.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Première

    Posté par  (site web personnel, Mastodon) . En réponse au lien Déboguer … les maths. . Évalué à 3.

    Pour répondre à ton interrogation initiale, « l'erreur soulevée par l'outil de preuve » n’est pas vraiment une erreur dans l’absolu (du moins n’est pas perçu comme une erreur par les relectures parce-que cela semble aller de soi pour les humains dans le domaine) mais plutôt une ambigüité (pour l’ordinateur qui n’aime pas ça car étant juste basiquement manichéen.) Il y a donc une reformulation à faire pour que les outils ne partent pas dans des directions fausses (et se retrouve dans une impasse qu’elle ne comprend pas.)
    Donc, plutôt qu’une bourde de calcul, c’est plus de la subtilité de formulation des conditions qui bornent la démonstration. Du coup, la prépublication était et reste de qualité, mais devient doublement carré on va dire. Accessoirement, cela répond un peu à ta crainte : l’auteur fait du raffinement au lieu de passer à autre chose pour faire du quantitatif.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Première

    Posté par  (site web personnel, Mastodon) . En réponse au lien Déboguer … les maths. . Évalué à 3.

    De ma compréhension, ǝpɐןƃu∀ nǝıɥʇʇɐW-ǝɹɹǝıԀ s’émeut pour une erreur d’inattention et on lui fait le procès de ne pas connaitre l’auteur ou on veut faire croire que c’est hyper complexe.
    Pour moi, on est typiquement dans un cas plus ou moins courant qui est normalement détecté à la relecture. Et ce que pointe le lien est que l’outil permet de gagner du temps et d’avoir de la confiance alors que traditionnellement il aurait fallu que beaucoup de paire d’yeux y passent énormément de temps. C’est assez différent du BOF

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Résumé pour décideur pressé

    Posté par  (site web personnel, Mastodon) . En réponse au lien People who say “PHP is insecure” are uninformed. Évalué à 8.

    Je n’ai pas lu la même chose ^_^

    depuis pas longtemps

    J’ai compris pour ma part que la sécurité s’améliore de version en version, mais les DSI (et les prestas et les hébergeurs) trainent des pieds pour mettre à jour… Exemple tout con : j’en ai vu pas mal en 5.2 ou 5.3 voir 4.x jusque récemment, alors que 5.4 date de 2012… (c’est comme persister à utiliser Python 2.4 et reprocher de ne pas trouver des fonctionnalités et corrections introduites après…)

    si on utilise Laravel et s'il n'y a que des devs seniors dans l'équipe

    Laravel ou Symfony et co …parce-que c’est un framework prévu pour cela et a donc des tas de choses prévues dedans auxquelles on ne va pas penser quand on veut tout refaire manuellement. Toujours pour comparer avec Python, c’est comme refuser d’utiliser Flask ou Django et vouloir faire aussi grand et aussi vite tout en pensant à tout…
    Les devs ne pas besoin d’être senior (enfin avoir plus de dix ans d’expérience dans une techno comme on aime à demander dans les annonces en France) mais juste de ne pas être novices/débutants/débutantes (ou alors être dans une équipe où on est accompagné par des gens plus expérimentés) …pour ne pas introduire des erreurs de débutant (c’est plus difficile avec les frameworks bien utilisés mais bon, les novices ont tendance à copier des trucs à ne pas faire sur Internet et la toile regorge de bout de code pour les versions 3.x ou 4.x)

    parce qu'il n'y a pas (en ce moment) de 0days sur Wordpress

    Là par contre, tu marques un point et je le vois plus comme une boutade …parce-que WP a toujours eu de mauvaises pratiques (mais son cœur/kernel s’est maintenant amélioré) et surtout que ses plugins sont de véritables plaies. Ce CMS de blog, largement déployé sur la toile, a longtemps contribué à la mauvaise image du langage.

    C'est peut être secure, mais est-ce rassurant?

    La problématique est la même pour tous les langages, surtout quand les mises à jour ne se font pas et/ou que la dette technique qui s’accumule.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Prédictions

    Posté par  (site web personnel, Mastodon) . En réponse au lien Dérèglement climatique: des scientifiques dénoncent une menace existentielle pour la vie sur Terre. Évalué à 9.

    Le système politico-financier arrête donc le bras de 50 millions de personnes au moment où ils vont mettre le bulletin de Philippe Poutou dans l'urne? Si tu crois ça, tu dois admettre que tu as une sorte de foi irrationnelle dans la puissance d'une entité invisible, […] Les gens votent en connaissance de cause pour ceux qui, à leur avis, vont le mieux défendre leurs intérêts, y compris quand c'est au détriment des autres : expulser les étrangers, imposer aux actifs de travailler plus longtemps pour payer les retraites de ceux qui y sont déja, augmenter la rentabilité des Sicav-actions, baisser les impots, les laisser faire vroum-vroum avec leur belle voiture qui fume, etc. Ils savent pour qui ils votent, pour quels intérets ils votent, et quelles vont être les conséquences de leur vote.

    Visiblement, tu n’es pas au courant que peu de gens (en tout cas en France) votent pour leur candidat ou candidate, et encore moins que les gens sont vraiment influencés par les sondages et tout ça. (par exemple toutes les personnes qui n’oseront pas voter pour NPA parce-que les sondages les donnent perdants et qu’il vaut mieux se reporter sur un autre candidat pour faire barrage à un autre qui risque d’avoir la majorité.)
    Visiblement, tu n’es pas au courant que les humains ne votent pas en toute rationalité et sont sujets au délit de faciès (j’ai discuté avec deux personnes qui au fond se reconnaissaient dans le programme de LFI mais sont rebutés par le JLM pour une raison ou une autre.)
    D’ailleurs, parlant de voter pour le mieux défendant de ses intérêts, visiblement tu n’as pas remarqué que depuis quelques années (en France) on vote contre une personne (même pas contre un programme) que pour un programme représentant ses valeurs et intérêts. Et quid des abstentions… Bref.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Et l'informatique aussi

    Posté par  (site web personnel, Mastodon) . En réponse au lien Déboguer … les maths. . Évalué à 3.

    Pas que déboguer, mais (mieux) spécifier&implémenter… (souvenirs de Z et B)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Clusif

    Posté par  (site web personnel, Mastodon) . En réponse au lien Le Clusif suspend ses activités sur twitter/X. Évalué à 3.

    …qui passent parfaitement leur temps à voter et commenter massivement sur des trucs hors-sujets et polémico-complotistes (bon 'dredi les gens)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: tapeu tapeu tap

    Posté par  (site web personnel, Mastodon) . En réponse au journal QRNote pour copier coller du texte de son ordinateur au téléphone. Évalué à 3.

    un clavier virtuel muni de plus grosses touches que le clavier d’origine

    J’ai hésité à commenter dans ce sens car n’ayant pas la certitude que la difficulté de tapotage sur le clavier soit avec la disposition standard (ou si martoni a bluffé un clavier adapté gros doigts) ou si c’est l’aspect tactile (sachant que les retours dits haptiques ne valent pas le retour des claviers physiques…) Pour le premier cas, j’aurais pointé les discussion faites sur ce site il n’y a pas longtemps :

    et là je m’adresse aux plus paranos d’entre-vous […]

    De l’intérêt de f-droid ou de compiler soi-même à la source…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: pidof ?

    Posté par  (site web personnel, Mastodon) . En réponse au message traquer un process par son pid. Évalué à 2.

    En effet, procps et procps-ng (ce dernier a déménagé sur GL), autour desquels ces outils s’articulent, utilisent /proc/ Mais attention que c’est un système de fichier virtuel et que les outils comme ps ne font pas comme l’usager que je suis ferait avec cat
    Ailleurs, je vois par exemple que le ps de FreeBSD fait appel à : <sys/proc.h>, <sys/stat.h>, <sys/queue.h>, etc. Cette distribution connait aussi les sockets netlink, mais effectivement ça ne semble pas être le cas partout.
    Ceci dit, à moins d’être super bilingue en C et en Rust, ce n’est pas toujours évident. J’ai cependant trouvé ceci qui pourrait te donner de bonnes pistes.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Mauvais site

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 4.

    Ah les liens sauvage de Seb

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Mauvais site

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 3.

    Tant qu’on peut pour le cyclimse :)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Lien direct sur le wiki LQDN

    Posté par  (site web personnel, Mastodon) . En réponse au lien Dérive autoritaire : attentifs ensemble (infographie La Quadrature) - sebsauvage.net. Évalué à 3.

    Le « on peut dire que le parlement n'a jamais été aussi fort depuis bien longtemps » est, je crois comprendre, une figure de style…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Mauvais site

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 3.

    (trop tard pour éditer) bar a.k.a tribune ;)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Mauvais site

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 2.

    Y a déjà un bar, et bien entendu ce n’est pas organisé de façon aussi propre que les liens ou les journaux.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Mauvais site

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 2.

    Ça va, ce n’est pas le pire tag au classement de ce qui est systématiquement jugé mauvais sur ce site. :)
    Du coup, une grande question qui mériterait une répondre claire-et-nette : y-a-t-il des sujets incompatibles avec les libristes et linuxfr ? Vous avez six heures :)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Rassurez-moi

    Posté par  (site web personnel, Mastodon) . En réponse au lien Microsoft now wants you to take a poll before installing Google Chrome (via OSnews) - Neowin. Évalué à 4.

    C’est juste un sondage, en plus dans le but d’améliorer la satisfaction cliente… En tout cas, je me doute que le département juridique a validé la chose (au moins au pays de l’acte patriote.)
    Et puis, tant qu’à faire, ce n’est plus à une horreur près dans ce système… (oups, le troll est parti tout seul et je suis dehors.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Bah oui

    Posté par  (site web personnel, Mastodon) . En réponse au lien Microsoft now wants you to take a poll before installing Google Chrome (via OSnews) - Neowin. Évalué à 6.

    D’un autre côté, faire confiance à la firme de Redmond pour utiliser son système captif et espion ; faut rester cohérent et accepter le navigateur qui a leur confiance (et leur sécurité ils disent). Pourquoi vouloir installer un autre truc qui utilise la même techno (y a donc même pas de différence justifiable) et qui aura le défaut de ne pas être lié à votre compte croc'soft et toute l’intégration pensée pour vous ?
    C’est comme avec les entreprises qui confient leur messagerie et/ou leur drive et/ou leur bureautique en ligne à G alors qu’il y a 365 gratuitement. Non mais franchement ils abusent chez Alphabet à vouloir grignoter le marché durement établi par filou Billou !

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Contexte

    Posté par  (site web personnel, Mastodon) . En réponse au lien Comment Justin Timberlake a utilisé Britney Spears - letemps.ch. Évalué à 3.

    Pour le premier scandale, je me souviens d’un docu Arte hélas plus en ligne (c’était le 8 juillet 2022 pour la première diffusion et j’espère que ça reviendra.)
    Pour la question, il semble que J.T. a reconnu/admis en février 2021. D’un autre côté, les systèmes (de capitalisme, de starification, de messie, etc.) tendent à faire des dommages collatéraux énormes (dans un monde où les choses sont liées il y a toujours des impacts mais juste que cela est de moins en moins minimisé et de plus en plus masqué —en espérant que ça ne revienne pas en boomerang.) Ce n’est pas que je veuille le défendre, je trouve juste qu’il est une des instances d’un système plus large que l’on refuse de remettre en cause en se focalisant sur des personnes (qui certes ont leur part hein)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Pardon

    Posté par  (site web personnel, Mastodon) . En réponse au lien Elon Musk en guerre contre Wikipédia. Évalué à 2.

    Allons donc ;D

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: pidof ?

    Posté par  (site web personnel, Mastodon) . En réponse au message traquer un process par son pid. Évalué à 3.

    Toujours en shell, tu peux récupérer les processus fils d’un autre dont tu connais le PID avec :

    • pgrep -P $pid dans toutes les distributions GNU/Linux qui se respectent
    • ps --ppid $pid -o pid avec l’implémentation GNU de ps
    • ps -x -o pid,ppid | awk -v=$pid '$1==v {print $2}' avec n’importe quel ps
    • pstree -p $pid va par contre procéder récursivement et afficher en ascii-art, du coup il faut enchainer avec quelque chose comme | tr '\n' ' ' | sed 's/[^0-9]/ /g' | sed 's/[[:space:]][[:space:]]*/ /g'
    • cat /proc/$pid/task/*/children pour les distributions GNU/Linux

    Mais je ne sais pas si c’est pertinent vu que tu vas faire le boulot en Rust.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume