Tag
#Rust
3 stories taggedRust.
Science & Space
Canonical финансирует PhD-исследование для выяснения, может ли ИИ конвертировать миллионы строк C в Rust
Это трехлетний научный проект, а не нашествие ботов. Компания-владелец Ubuntu хочет получить реальные доказательства, прежде чем трогать свою кодовую базу.
4 min read
AI Security
Chrome теперь закрывает уязвимости дважды в неделю, и большинство из них нашел искусственный интеллект
Браузер Google выпустил больше исправлений безопасности в двух релизах в июне, чем в предыдущих 23 вместе взятых. Причина — инструменты ИИ, сканирующие собственный код компании, и темп может ускориться, прежде чем замедлиться.
3 min read
AI Security
Microsoft использует AI-агентов для математического доказательства отсутствия ошибок в коде шифрования
Команда, стоящая за криптографической библиотекой Windows и Azure, делает что-то необычное: не просто тестирует код, но доказывает его корректность для каждого возможного входа, используя формальные математические доказательства, частично написанные AI.
3 min read