Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical finance un doctorat pour déterminer si l'IA peut convertir des millions de lignes de C en Rust
C'est un projet de recherche de trois ans, pas une vague de bots. La maison mère d'Ubuntu veut des preuves concrètes avant de toucher à son code.
4 min read
AI Security
Chrome corrige désormais les failles de sécurité deux fois par semaine, et l'IA en a détecté la plupart
Le navigateur de Google a livré plus de correctifs de sécurité en deux versions le mois dernier que lors des 23 versions précédentes combinées. Les outils d'IA qui analysent son propre code en sont la raison, et le rythme pourrait s'accélérer avant de ralentir.
3 min read
AI Security
Microsoft utilise des agents IA pour prouver mathématiquement que son code de chiffrement n'a aucun défaut
L'équipe derrière la bibliothèque de cryptographie de Windows et Azure fait quelque chose d'inhabituel : non seulement tester le code, mais prouver qu'il est correct, pour chaque entrée possible, en utilisant des preuves mathématiques formelles rédigées en partie par l'IA.
3 min read