Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

Optimisation du compilateur LLVM assistée par l'IA : une histoire de sérialisation ASN.1

2025-07-01

Lors de la maintenance d'une bibliothèque Rust pour la sérialisation ASN.1 DER, l'auteur a découvert du code inefficace dans le calcul de la longueur des entiers. Il a expérimenté avec Claude IA pour optimiser le code et a utilisé l'outil de vérification formelle Alive2 pour valider les résultats. Étonnamment, Claude IA a même aidé à générer un correctif pour une optimisation du compilateur LLVM, qui a passé la revue de code et a finalement été soumis au projet LLVM. Cela démontre l'immense potentiel de l'IA dans le développement de logiciels, en particulier dans l'optimisation des compilateurs, tout en soulignant l'importance de la revue manuelle lors de l'utilisation d'outils d'IA.

Lire plus
(alexgaynor.net)
Développement

La loi de Postel : une impasse dans l'évolution du logiciel open source

2025-03-27

La loi de Postel, qui prône « soyez conservateur dans ce que vous faites, libéral dans ce que vous acceptez », a paradoxalement conduit à une impasse dans l'évolution du logiciel open source. Parce que les producteurs de logiciels propriétaires violent souvent les spécifications, les consommateurs de logiciels open source sont forcés de faire constamment des compromis, conduisant à des spécifications dénuées de sens, entravant les nouveaux projets et réduisant la compétitivité. L'auteur encourage les mainteneurs de logiciels open source à respecter rigoureusement les spécifications, à rejeter les retours utilisateurs abusifs et à adresser les problèmes aux fournisseurs de logiciels propriétaires fautifs, évitant ainsi le « cirque à trois pistes » et maintenant l'intégrité des spécifications.

Lire plus
(alexgaynor.net)
Développement Loi de Postel Spécifications logicielles