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
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
Is #POSIX going to break optimizing C compilers such as GCC or prevent some #security checks? https://www.mail-archive.com/austin-group-l@opengroup.org/msg02583.html (about Austin Group bug 1108)
Juste passer de #GitHub à de l'auto-hébergement n'est pas la solution, car le propriétaire (hébergeur) peut disparaître. Ce qu'il faut c'est pouvoir exporter toutes les données associées à un projet, avec accès public et un système d'archivage automatique par des tiers (pas seulement le code, ce que permet déjà git).
Au passage, j'avais cherché à récupérer toutes mes données juste avant d'apprendre le rachat par #Microsoft.
Chercheur en informatique (arithmétique des ordinateurs). Développeur de GNU MPFR. Cinéphile.
Inscrit·e en avr. 2017
