Google의 AI 지원 C/C++ 의존성 재작성: 메모리 안전성 확장
В последнем посте в блоге Google "Scaling Memory Safety: AI-Assisted Rewrites of C/C++ Dependencies to Rust" рассказывается, как технологический гигант использует ИИ для автоматизации перевода кода C/C++ в безопасный с точки зрения памяти Rust. Пост, опубликованный в блоге Google Bug Hunters, обсуждает системный подход к снижению уязвимостей в критически важных зависимостях.
Почему Rust?
Мотивация проста: проблемы с безопасностью памяти (переполнение буфера, использование после освобождения) являются основным источником уязвимостей безопасности в коде C и C++. Rust с его моделью владения устраняет эти классы ошибок на этапе компиляции. Цель Google — постепенно переписывать высокорисковые зависимости без полного переписывания целых приложений.
Процесс переписывания с помощью ИИ
Подход Google использует модели ИИ для перевода функций C/C++ в Rust. Хотя в блоге мало деталей реализации, основная идея — использовать ИИ для механических частей преобразования, освобождая инженеров для решения сложных архитектурных задач. Процесс, вероятно, включает:
- Анализ зависимостей C/C++: выявление модулей с высоким риском или частыми исправлениями безопасности.
- Сгенерированный ИИ код на Rust: использование языковых моделей для создания эквивалентных реализаций на Rust.
- Проверка человеком: эксперты-разработчики рецензируют и тестируют сгенерированный код для обеспечения корректности.
Известные проблемы
Переписывание C/C++ на Rust нетривиально. В блоге признаются такие проблемы, как обработка unsafe-блоков, границ FFI (интерфейс внешних функций) и сохранение производительности. ИИ-помощь предназначена для ускорения процесса, но экспертиза человека остается необходимой.
Что это значит для индустрии
Это значимый сигнал от Google. По мере развития инструментов ИИ для написания кода они могут снизить стоимость миграции устаревших кодовых баз на более безопасные языки. Разработчикам, работающим с системами C/C++, стоит следить за этой областью — перевод с помощью ИИ может стать стандартным инструментом для укрепления инфраструктуры.
📖 Читать полный источник: HN AI Agents
👀 Смотрите также
В посте на Reddit обсуждаются внутренние циклы ремонта для креативного ИИ без кодирования.
В посте на Reddit утверждается, что no-code креативные системы ИИ нуждаются во внутренних механизмах исправления для обработки ошибок здравого смысла, таких как невозможные механические структуры или искажённая анатомия, вместо того чтобы заставлять пользователей отлаживать выводы.
Sarvam AI выпускает открытые языковые модели на 30 и 105 миллиардов параметров, созданные на индийской инфраструктуре для обучения.
Sarvam AI открыла исходный код Sarvam 30B и Sarvam 105B — двух моделей логического вывода, обученных с нуля в Индии на вычислительных мощностях, предоставленных в рамках миссии IndiaAI. Обе модели используют архитектуру Mixture-of-Experts с разреженной маршрутизацией экспертов и оптимизированы для эффективного развертывания на оборудовании — от GPU до ноутбуков.
Клод-Код v2.1.32: Усовершенствование автоматизации и точности кодирования
Последний релиз Claude-Code, версия 2.1.32, приносит важные улучшения в области AI программирования и автоматизации. Узнайте ключевые функции и влияние на сообщество этого обновления, теперь доступного на GitHub.
Согласно отчету, искусственный интеллект Palantir будет интегрирован по всей военной системе США.
Согласно отчёту, вооружённые силы США планируют внедрить технологии искусственного интеллекта компании Palantir во все свои подразделения. Статья была опубликована на Hacker News, где набрала 37 баллов и вызвала 24 комментария.