Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical financia un doctorado para descubrir si la IA puede convertir millones de líneas de C en Rust
Es un proyecto de investigación de tres años, no un ataque de bots. La empresa matriz de Ubuntu quiere pruebas reales antes de tocar su base de código.
4 min read
AI Security
Chrome ahora corrige agujeros de seguridad dos veces por semana, e IA encontró la mayoría
El navegador de Google envió más correcciones de seguridad en dos lanzamientos el mes pasado que en los 23 anteriores combinados. Las herramientas de IA que escanean su propio código son la razón, y el ritmo puede acelerarse antes de desacelerarse.
3 min read
AI Security
Microsoft Usa Agentes de IA para Probar Matemáticamente que Su Código de Cifrado No Tiene Defectos
El equipo detrás de la biblioteca criptográfica de Windows y Azure está haciendo algo inusual: no solo probar el código, sino demostrarlo correcto para cada entrada posible, usando pruebas matemáticas formales escritas parcialmente por IA.
3 min read