#Rust

И инструменты ·16 июл 2026

SpaceXAI открыла код Grok Build — Rust-движок AI-агента для работы с кодом через терминал

SpaceXAI опубликовала исходники Grok Build под Apache 2.0 — это полноценный AI-агент для программирования, работающий через терминал. В релиз вошли harness (каркас агента), TUI-интерфейс, инструменты для работы с кодом и система расширений. Главная фишка: можно собрать и запустить локально с любой моделью через config.toml, без привязки к облаку xAI.

0 197
Б безопасность ·13 июл 2026

Microsoft формально верифицирует крипто-код на Rust с помощью Lean и AI-агентов

Microsoft внедряет формальную верификацию криптографических алгоритмов в SymCrypt: код пишут на Rust, доказывают корректность в Lean через инструмент Aeneas, а AI-агенты помогают масштабировать процесс написания доказательств. Уже верифицированы SHA-3 и ML-KEM для постквантовой криптографии, код используется в Windows.

0 82