Rust

2026-10-16

RESEARCH · 1 ИСТОЧН. · arXiv cs.AI

Статья на arXiv: корректирующая обратная связь снижает обнаружение контрпримеров спецификации в Verus/Rust

Препринт на arXiv (arXiv:2610.20676v1) показывает, что корректирующая обратная связь по корректности может подавлять обнаружение программ, которые формально соответствуют контракту, но нарушают задуманное поведение. На 12 задачах Verus/Rust и четырёх семейств моделeй при одинаковых бюджетах вызовов автономное (без обратной связи) обнаружение более чем вдвое увеличивает долю сертифицированных свидетельств по сравнению с корректирующей петлёй IntentShield (59,0% против 27,1%); фазовое (phase-separated) выполнение достигает такого же суммарного выхода без повторного использования ответов, а сохранение этих свидетельств даёт более эффективный ремонт спецификаций (Phase-Revised: 81,3% успешных реализаций против IS-Revised: 62,5%). Эффект не воспроизводится в доступных оценках Dafny и Lean, что указывает на эмпирические границы для изучённого рабочего процесса Verus/Rust.

6.0

2026-10-09

CODING · 1 ИСТОЧН. · InfoQ AI, ML & Data Engineering

GitHub переносит runtime Copilot с Node.js/TypeScript на Rust при помощи AI‑помощи

GitHub заменил runtime, обеспечивающий работу Copilot CLI, приложения Copilot и Copilot SDK, переведя реализацию с TypeScript/Node.js на нативный Rust через AI‑ассистированное переписывание, затронувшее более 800 000 строк кода. Инкрементная миграция за ~14,5 недели (128 pull request, 135 релизов) сократила время запуска/сессии клиента с 5,25 секунды до 292 миллисекунд, позволила встраивать runtime через C ABI (экономя ~100 МБ на клиенте по сравнению с Node/V8) и сочетала AI‑генерацию кода с компиляцией, тестированием и ручным ревью.

8.0

2026-09-25

COMPANIES · 1 ИСТОЧН. · InfoQ AI, ML & Data Engineering

Perplexity заменяет DynamoDB собственной CobbleDB, снижая задержки чтения пакетов в 5 раз

Perplexity перевела основной уровень поиска с Amazon DynamoDB на CobbleDB — собственную распределённую key-value систему на Rust, разделив долговременное хранилище (Pillar) и горячую подачу (CobbleDB) с агрегатором Lorry и хранением батчей в S3. По данным компании, это снизило медианную задержку чтения пакетов с 31.4 мс до 5.60 мс, p99 — с 123 мс до 24.2 мс, обеспечило синтетическую пропускную способность до 500 тыс. запросов/с и уменьшило расходы на хранение как минимум на 20%.

7.0

2026-09-23

CODING · 1 ИСТОЧН. · InfoQ AI, ML & Data Engineering

Graphify делает кодовые базы и документацию в мультимодальные графы знаний и выходит с открытым исходным кодом

Graphify — проект с открытым исходным кодом (MIT/Apache-2.0), запущенный в апреле 2026 года, преобразующий репозитории, документацию и неструктурированные данные в запрашиваемые мультимодальные графы знаний для помощи AI-инструментам разработки. Проект быстро набрал тысячи звёзд на GitHub, использует tree-sitter, поддерживает интеграцию через Model Context Protocol и добавил улучшения парсеров (например, сохранение атрибутов Terraform и кросс-файловые разрешения в Rust/Kotlin/C++); данные от разработчиков и бенчмарки от команды показывают потенциал вместе с отмечаемыми трудностями внедрения.

6.0

2026-09-17

CODING · 1 ИСТОЧН. · GitHub AI & ML

GitHub переписала рантайм агента Copilot на Rust с помощью Copilot

GitHub перевела рантайм агента Copilot с реализации на TypeScript/Node.js/V8 на более чем 800 000 строк производственного кода на Rust. Большую часть кода на Rust написали AI‑агенты через приложение и CLI Copilot в 128 pull‑request’ах; миграция внедрялась поэтапно, по словам автора, повысив производительность на порядки и снизив задержки запуска и потребление памяти для множества продуктов Microsoft/GitHub, использующих рантайм через Copilot SDK.

7.0

2026-09-08

CODING · 1 ИСТОЧН. · NVIDIA Developer

NVIDIA объявляет CUDA Rust с двумя подходами к написанию GPU-ядр

В сентябре 2026 года NVIDIA объявила CUDA Rust, обозначив поддержку нативного GPU‑программирования на Rust и представив два подхода к написанию GPU‑ядер наряду с существующими инструментами CUDA C++ и CUDA Python.

7.0