Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical finanzia un dottorato per scoprire se l'AI può convertire milioni di righe di C in Rust
È un progetto di ricerca di tre anni, non un'invasione di bot. La società madre di Ubuntu vuole prove concrete prima di toccare il suo codice.
4 min read
AI Security
Chrome sta ora correggendo i buchi di sicurezza due volte a settimana, e l'AI ne ha trovati la maggior parte
Il browser di Google ha distribuito più correzioni di sicurezza in due rilasci lo scorso mese che nei precedenti 23 combinati. Gli strumenti di AI che scansionano il suo codice sono il motivo, e il ritmo potrebbe accelerare prima di rallentare.
3 min read
AI Security
Microsoft sta utilizzando agenti AI per provare matematicamente che il suo codice di crittografia non ha difetti
Il team dietro la libreria di crittografia di Windows e Azure sta facendo qualcosa di inusuale: non solo testare il codice, ma provarne la correttezza, per ogni possibile input, utilizzando prove matematiche formali scritte in parte da AI.
3 min read