Vincent Lefèvre @vinc17@framapiaf.org
Chercheur en informatique (arithmétique des ordinateurs). Développeur de GNU MPFR. Cinéphile.
Inscrit·e en avr. 2017
I've eventually found that the was due to a #Debian specific bug introduced in 2012 in the w3c-dtd-xhtml package (apparently to shared some files between the XHTML 1.0 and XHTML 1.1 DTDs). Details: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993638#102
New #libxml2 version 2.9.12 breaks validation with some incorrect DTDs, such as old #XHTML 1.0 DTDs: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993638#50 — Are there other users likely to be affected when they upgrade to this version?
Dans la vidéo https://youtube.com/watch?v=P6_lhqiPBow à propos de https://tableaunoir.github.io/ il y a 17 magnets! #Tableaunoir
My server hosting vinc17.net and vinc17.org has been down since about 01:40 UTC due to a filer incident on FR-SD3 at Gandi. The issue has not been resolved yet. https://status.gandi.net/
How to detect whether a program is running from within #valgrind… The solution I use in GNU MPFR (works at least under #Linux): https://stackoverflow.com/a/62364698/3782797
#WordPress is an horror! In addition to tag soup, it generates empty paragraphs for page layout! #HTML
Le problème semble maintenant être résolu.
#NetworkManager 1.19.90 is broken, at least with #ethernet: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933930 #Debian #Linux
Vincent Lefèvre
a partagé
Capucine & Gaston à #Lyon 🍴
1er restaurant-traiteur #bio #local en bocaux 🥃, à accompagner/former/insérer des personnes en situation de handicap
Projet à soutenir 🙂
➡️ https://fr.ulule.com/capucine-gaston-traiteur-bio-et-social/
Vincent Lefèvre
a partagé
Mozilla recently announced a new public GPG key. Some people reports there might be Easter eggs inside
To make browsing of some web sites much faster: "255.255.255.255 config.seedtag.com" in the /etc/hosts file.
Ce matin, je rapporte un problème via le GLPI de l'ENS-Lyon et mon texte s'est retrouvé tronqué. Ensuite, sur le RT d'Inria, autre problème et mon texte s'est retrouvé aussi tronqué! Ces systèmes ont des problèmes avec le caractère "<", pris comme du HTML!
Vincent Lefèvre
a partagé
Allergie au Google Home
Alors que se répandent les enceintes connectées (comme le Google Home ou l'Amazon Echo), fleurissent aussi des projets pour les empêcher de vous écouter en permanence (ce qui est nécessaire à leur fonctionnement normal, rappelons-le).
Cela peut faire sourire car le meilleur moyen de ne pas être espionné par ce genre d'objet, c'est encore de s'en passer. La question qui se pose alors, c'est
The GNU #MPFR 4.0.2 release candidate is available. https://sympa.inria.fr/sympa/arc/mpfr/2019-01/msg00001.html
The mess with the "echo" utility: http://austingroupbugs.net/view.php?id=1222 #unix #posix #cli #shell
One can use more than 8 colors with #Coreutils LS_COLORS, but unfortunately this is undocumented. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33915 #unix #linux
Bug introduced in #zsh 5.6: :|{:|less} yields a "suspended (tty output)". Workaround: :|(:|less) http://www.zsh.org/mla/workers/2018/msg01183.html (Note: these are zsh #shell commands, not smileys.) #Linux #Unix
In #Debian: buggy regexp in locales.postinst yields useless locales regeneration when locales-all is installed (Debian bug 903964, which I've just reported). https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903964
Chercheur en informatique (arithmétique des ordinateurs). Développeur de GNU MPFR. Cinéphile.
Inscrit·e en avr. 2017
