Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical financia un doctorado para determinar si la IA puede convertir millones de líneas de C en Rust
Es un proyecto de investigación de tres años, no una invasión de bots. La empresa matriz de Ubuntu quiere evidencia real 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 lanzó más correcciones de seguridad en dos versiones el mes pasado que en las 23 anteriores combinadas. Las herramientas de IA que escanean su propio código son la razón, y el ritmo podría acelerarse antes de ralentizarse.
3 min read
AI Security
Microsoft está usando agentes de IA para demostrar matemáticamente que su código de encriptación no tiene defectos
El equipo detrás de la biblioteca criptográfica de Windows y Azure no solo está probando el código. Lo están demostrando como correcto, para cada posible entrada, utilizando pruebas matemáticas formales escritas parcialmente por IA.
3 min read