Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical finanziert eine Doktorarbeit, um herauszufinden, ob KI Millionen von C-Codezeilen in Rust umwandeln kann
Es ist ein dreijähriges Forschungsprojekt, keine KI-Invasion. Das Mutterunternehmen von Ubuntu möchte echte Beweise, bevor es seine Codebasis anpasst.
4 min read
AI Security
Chrome patcht nun zweimal pro Woche Sicherheitslücken, und KI hat die meisten gefunden
Googles Browser verteilt in zwei Versionen im Juni mehr Sicherheitspatches als in den vorherigen 23 zusammen. KI-Tools, die den eigenen Code durchsuchen, sind der Grund, und das Tempo könnte noch zunehmen.
3 min read
AI Security
Microsoft nutzt KI-Agenten, um mathematisch zu beweisen, dass sein Verschlüsselungscode keine Fehler hat
Das Team hinter der Kryptografie-Bibliothek von Windows und Azure tut etwas Ungewöhnliches: Es testet nicht nur den Code, sondern beweist seine Korrektheit für jeden möglichen Input durch formale mathematische Beweise, die teilweise von KI geschrieben werden.
3 min read