Idées & Perspectives · Page 2

Explorer le développement AI-first, les garde-fous de code et l'architecture de la jetabilité.

15 août 2026

Les LLM peuvent suggérer des metamorphic relations. Ils ne peuvent juste pas les garantir.

Les large language models sont de bons partenaires de brainstorming pour découvrir des test oracles, mais ils hallucinent des propriétés et manquent des contraintes métier. Voici comment les utiliser sans livrer des tests erronés.

14 août 2026

La plupart des metamorphic relations sont inutiles. Voici comment choisir les bonnes.

Toutes les metamorphic relations ne détectent pas de bugs. Les relations faibles donnent une fausse confiance tandis que les fortes trouvent de vraies fautes. Voici comment faire la différence et construire un ensemble de relations qui fonctionne réellement.

metamorphic-testing metamorphic-relations testing oracle-problem

13 août 2026

Comment tester du code quand je ne connais pas la bonne réponse ?

Le metamorphic testing permet de vérifier la correction du code sans connaître la sortie attendue exacte. Voici comment ça marche, quand ça atteint ses limites, et comment commencer à l'utiliser.

metamorphic-testing oracle-problem testing ml

12 août 2026

TypeScript ne vous laissera pas faire cet appel : encoder l'état du protocole dans le système de types

Comment utiliser les types fantômes et les paramètres `this` pour transformer les transitions de protocole illégales en erreurs de compilation au lieu de bugs à l'exécution.

session-types typescript protocol-state type-systems

11 août 2026

OpenAPI vous donne l'alphabet. Les session types ont besoin de la grammaire.

Les spécifications OpenAPI décrivent les schémas de requête et de réponse, mais elles ne spécifient pas les séquences de messages valides. Voici comment extraire ce qui est possible et où vous devez encore combler les lacunes.

session-types openapi protocol-specs api-design

10 août 2026

Les types de session fonctionnent. La plupart des langages ont simplement refusé de les implémenter.

Les types de session encodent les protocoles de communication dans le système de types, transformant les erreurs de protocole à l'exécution en erreurs à la compilation. Voici pourquoi ils ont passé trente ans dans des articles de recherche avant que le code de production puisse les utiliser.

session-types research adoption type-systems

9 août 2026

Comment les types de session transforment les deadlocks en erreurs de compilation

Les types de session encodent les protocoles de communication dans votre système de types, transformant les inadéquations de passage de messages en erreurs de compilation avant que votre code ne s'exécute.

session-types deadlocks compile-time protocols

8 août 2026

L'interprétation abstraite sonne comme un prérequisit de doctorat. Ce n'est plus le cas.

Comment exécuter une analyse statique formelle dans votre pipeline CI en utilisant Infer, avec des configurations fonctionnelles et des trade-offs réalistes.

abstract-interpretation ci-cd static-analysis infer

7 août 2026

Les LLM peuvent trier vos avertissements d'analyse statique. Ils ne peuvent simplement pas expliquer pourquoi.

Les large language models peuvent aider à trier les faux positifs de l'analyse statique, mais ils ne comprennent pas la sémantique des programmes comme le fait l'interprétation abstraite. Voici comment combiner les deux.

abstract-interpretation llm static-analysis false-positives

6 août 2026

Facebook a parallélisé Android avec l'interprétation abstraite. Voici comment ça marche.

Comment Facebook a utilisé l'interprétation abstraite et l'insoundness intentionnelle pour trouver des race conditions à l'échelle dans des millions de lignes de code Android.

abstract-interpretation concurrency android race-conditions