Idées & Perspectives

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

Les Runtime Contracts en Rust peuvent être sans coût en release, mais le compilateur ne le fera pas à votre place

Rust élimine automatiquement les debug assertions, mais un vrai design-by-contract nécessite plus que debug_assert!. Voici comment construire des runtime contracts sans coût qui disparaissent de votre binaire release.

Rust peut appliquer des runtime contracts en développement et les effacer complètement des builds release. La mise en garde est que le langage ne traite pas…

Zéro, une ou douze : combien d'assertions une fonction de production réclame-t-elle vraiment

Les développeurs dispersent les assertions comme des confettis ou les évitent totalement. Voici le cadre de décision qui distingue les invariants utiles des déclencheurs de crash en production.

La plupart des codebases de production se divisent en deux camps. Le camp A traite comme un assaisonnement décoratif, en saupoudrant une ligne sur deux jusqu'à…

strictNullChecks dans TypeScript est un garde-fou à la compilation, pas un bouclier à l'exécution

Le mode strict attrape les null que vous écrivez, pas les null qui arrivent à l'exécution depuis les API, les requêtes DOM et JSON.parse. Voici où le système de types s'arrête et où vos défenses commencent.

Vous avez activé dans . Vous avez corrigé chaque soulignement rouge. Vous avez mis en production en étant convaincu que et étaient des problèmes résolus. Puis…

À l'ère de l'AI, le code review devient une revue des spécifications

Quand l'AI peut générer l'implémentation, les tests et les contracts à partir d'une spec, le travail humain le plus rentable remonte en amont. L'artefact qui demande le plus de rigueur, c'est la spécification elle-même.

Si vous shippez avec l'AI depuis plus de quelques semaines, vous connaissez probablement déjà cette sensation. Vous ouvrez une pull request. Le code est…

La safety stack de l’AI: types, contracts, property tests et mutation gates

Si vous voulez que du code généré par AI tienne en production, le code review seul ne suffit pas. Il faut une safety stack en couches, des type constraints jusqu’au mutation testing et au runtime containment.

Le vrai danger du code généré par AI n’est pas qu’il soit toujours faux. Le vrai danger, c’est qu’il est souvent suffisamment plausible pour être mergé. C’est…