Les tests par exemples ratent les bords. Le property-based testing inverse l'approche. Je montre six patterns utiles, le stateful PBT pour les bugs de séquence, et pourquoi ce sujet se prête bien à un usage assisté par IA.
Bonjour, je suis Mathias 👋
Salut ! C’est ici que je partage mes pensées et mes notes sur tout ce qui me passionne et sur lequel je bosse en ce moment. J’espère vraiment y rencontrer des gens qui pensent comme moi. Salut ! Je voulais juste te dire que… J’aimerais vraiment avoir de tes nouvelles !
Je t’invite à jeter un œil à mes derniers articles de blog, juste en dessous.
Sur un RAG local 100 % privé, remplacer nomic-embed-text par bge-m3 et supprimer la traduction runtime FR→EN a fait passer le rappel de 0,45 à 0,95 et divisé la latence par douze. Mesuré, pas deviné.
Interconnecter des trunks SIP d’opérateurs et des IPBX d’entreprise semble simple sur le papier. En pratique, c’est l’un des points de friction les plus coûteux d’une infrastructure VoIP : il faut sécuriser l’IPBX exposé sur Internet, gérer plusieurs opérateurs en parallèle, basculer en cas de panne, normaliser le routage, le tout sans grever le budget avec un SBC propriétaire opaque et fermé.
PK-SBC est une réponse open source à ce problème. Un Session Border Controller construit sur Kamailio, RTP Engine, Redis et PostgreSQL, conçu selon le principe KISS — Keep It Simple, Stupid — et éprouvé en production depuis 2012.
Une synthèse des idées de Mario Zechner sur les agents de code. Pourquoi le minimalisme de l'agent Pi, couplé à une ingénierie stricte du contexte et à des outils CLI, bat souvent les frameworks lourds.
Une suite de tests peut afficher une bonne couverture et rater un bug évident. Pour mesurer la qualité réelle, je regarde quatre axes complémentaires, avec un audit simple à appliquer sur un projet existant.
Deux releases le même jour, à vingt minutes d’intervalle : v1.0.1 puis v1.0.2. Les deux font le même travail — durcir pi-secured-setup lui-même. C’est un billet court pour expliquer ce qui a changé et pourquoi ça compte, parce qu’un outil de sécurité qui traîne ses propres vulnérabilités perd toute crédibilité.
Si vous découvrez le projet, l’article de présentation pose les bases : Guards, Scanners, audit trail.
v1.0.1 — amélioration qualité
Trois axes :
Une fois la spec posée, je répartis le travail entre humain, IA et outils déterministes. Le test critique ne vient pas toujours du même auteur que le code, et le critic-agent compte souvent plus qu'un writer-agent.
La première étape du workflow IA est la spécification. Cet article montre comment transformer une user story floue en spec exploitable par un humain et un agent, avec Gherkin, exemples typés et propriétés.
Une base de connaissance Markdown pensée pour durer plusieurs années, avec un agent IA et une recherche vectorielle. Sept choix de conception sont documentés avec leurs coûts.
La promesse implicite des assistants de code IA était que les tests deviendraient une corvée du passé. La réalité documentée par Kent Beck, ThoughtWorks et plusieurs études de 2025 est l'inverse : avec l'IA, les tests deviennent indispensables — mais le travail s'est déplacé.