jeudi 21 décembre 2023
« Un tutoriel pour apprendre l'usage de l'outil sed avec des exemples et leurs explications. »
jeudi 2 juin 2022
« Une présentation de
codespell, un outil de vérification syntaxique, et comment l'auteur l'a mis en place sur la CI de Datasette. »
jeudi 31 mars 2022
« Une description du service qui permet la recherche d'identifiants dans l'interface utilisateur de GitHub. »
mercredi 26 janvier 2022
« Un outil en ligne pour faire des diagrammes et les exporter en différents formats. Possibilité de travailler à plusieurs, de les partager, ... »
mercredi 15 septembre 2021
« L'auteur explique
les problèmes soulevés par l'utilisation de la date de dernière
modification du contenu d'un fichier dans les systèmes de build (comme
make), et l'utilisation de checksums à la place. »
mardi 2 mars 2021
« Un autre exemple d'erreur stupide aux conséquences cette fois-ci plus fâcheuses qu'une simple attente évitable: le CTO du réseau social d'extrême droite Gab a enlevé une ligne protégeant contre les injections SQL... Comme le souligne le premier commentaire mis en avant, n'importe quel outil d'analyse statique aurait souligné le problème! »
jeudi 8 octobre 2020
« De l'importance de connaître les limites des outils utilisés (ici overflow d'Excel qui a un comportement simpliste si on lui fournit trop de lignes dans un fichier csv à interpréter) »
jeudi 8 octobre 2020
« L'un des concepteurs de feu Google Wave fait le point sur les structures de données permettant la gestion automatique des conflits de manière décentralisés (CRDT). Son post a été repris par plusieurs chercheurs du domaine qui se joignent à lui pour faire remarquer que si la recherche est assez avancée dans ce domaine, il manque encore un framework disposant d'une implémentation efficace. »
mercredi 13 novembre 2019
« La nouvelle fonctionnalité -ftime-trace permettra à Clang de profiler le temps passé à compiler son code. Le format de sortie est un fichier json que l'on peut visualiser sous Chrome. »
mercredi 28 mars 2018
« Il est possible d’interconnecter un dépôt git situé sur
gitlab.inria.fr et les jobs de l’intégration continue géré par jenkins sur
ci.inria.fr. Associer à un workflow de type
gitflow, ceci permet de:
. Lancer automatiquement les jobs sur CI à chaque push dans les branches master et develop ou à chaque "merge request" des branches features/* dans develop
. Récupérer le statut de ces compilations sur gitlab »
lundi 12 février 2018
« Cet article décrit l'utilité des revues de code, et conseille vivement l'utilisation (voire l'achat) d'un bon analyseur statique de code. Le
site en lui même contient plein de bonnes ressouces. »
mercredi 31 janvier 2018
« Récemment, j'ai eu un bug (buffer overflow) qui m'a été remonté grâce à l'option FORTIFY_SOURCE qui est maintenant activée par défaut sur Ubuntu et Fedora. Ce blog explique les grandes de son fonctionnement. »
mercredi 18 octobre 2017
« Cette fonctionnalité n'est pas très nouvelle, mais ce tableau de suivi de problème s'avère être un excellent outil de suivi de projet pour les méthodes Agile, Scrum et compagnie.
De plus, elle est présente sur le
GitLab Inria. »
mercredi 27 septembre 2017
« Sur ce post de blog, l'auteur nous explique comment aspirer un site internet de vente en ligne à partir de la librairie python scrapy.
Le code est même disponible sur GitHub. »
mercredi 6 septembre 2017
« Une comparaison entre différents outils de traduction en ligne, suite à l’arrivée d’un nouveau venu (
DeepL, entraîné sur les données du site de traduction
Linguee) qui prétend (à juste titre apparemment) fournir de meilleurs résultats que
Google translate. »
mercredi 6 septembre 2017
« Une bibliothèque permettant de contrôler le navigateur Chrome à distance via son interface de debug (DevTools).
Cela peut être utile pour des tests (notamment des tests de bout en bout) mais aussi d'autres scénarios (crawlers...).
À noter que puppeteer se veut simple et orientée test (à la selenium/webdriver) et que des bindings plus complets existent, comme
chrome-remote-interface. »
mercredi 31 mai 2017
« Ce petit utilitaire permet d'utiliser le correcteur orthographique sur les commentaires de code
pour Doxygen. Il reconnaît les balises Doxygen et souligne en rouge dans Vim les erreurs. »
mardi 23 mai 2017
« Les supports de cours et TD d'une école très enrichissante organisée par le CNRS. Je recommande notamment de jeter un oeil sur les outils d'arithmétique stochastique
Verrou,
Cadna et
Verificarlo pour débusquer les endroits où un calcul numérique n'est pas significatif en raison d'un problème de précision flottante. »
jeudi 23 février 2017
« Un exemple de mise en place d'outils d'intégration continue avec Travis pour
un projet Python utilisant Pytest, Tox et le service Coveralls pour la
couverture de code. A la place de Coveralls, on peut aussi utiliser
Codecov (non décrit dans
l'article). »
vendredi 27 janvier 2017
« Intéressant article sur l'introduction des machine puis des logiciels de traitement
de texte. »
vendredi 30 septembre 2016
« Des chercheurs australiens ont analysé 3600 articles scientifiques en génétique, pour
s'apercevoir que certaines analyses (environ 1/5) à cause de l'utilisation d'excel et
de sa vérification automatique de format de cellule. Cet article détaille bien
le genre d'erreur trouvée par les chercheurs. Excel n'est pas le seul tableur
incriminé, mais reste le plus souvent utilisé par les chercheurs. »
vendredi 10 avril 2015
«
Gradle est un gestionnaire de construction
de version pour Java (mais pas seulement), beaucoup plus digeste qu'Ant et Maven dont il
reprend les bons cotés. Cet article des développeurs d'Hibernate explique
pourquoi ils sont passés de Maven à Gradle. »