CodeQL 2.27.0: статический анализатор GitHub теперь доступен на Linux ARM64
GitHub выпустил CodeQL 2.27.0 с нативной поддержкой Linux ARM64, новым запросом безопасности для Rust и расширенным покрытием фреймворков для Java/Kotlin...
Тема COMRAD404
rust
6 материалов
Microsoft выложила формальные верификационные доказательства для SymCrypt на Rust: ML-KEM и SHA3 под Lean
Microsoft открыла исходный код формальных доказательств корректности для криптографической библиотеки SymCrypt. Первый релиз включает полные верифицированные реализации ML-KEM и SHA3...
Rust-мидлвар за час: почему фреймворки не справились, а кастомное решение — да
Пользователь Reddit протестировал пять AI-фреймворков на задаче написания Rust-мидлвара с тремя жёсткими ограничениями. Только его собственная система прошла все проверки....
Reflex открыла исходный код XY: Rust-библиотека графиков для Python удерживает 100 млн точек интерактивными
Reflex AI выложила XY — Apache-2.0 библиотеку интерактивных 2D-графиков на Python с Rust-ядром и WebGL2-рендерингом. Заявлено сохранение интерактивности до 100...
Инструмент для рендеринга диаграмм Mermaid в терминале на основе Rust
Разработчик Саймон Уиллисон обнаружил в кодовой базе Grok CLI компонент на Rust, способный отрисовывать диаграммы Mermaid в текстовом формате для...
xAI открыла исходный код Grok Build после инцидента с утечкой данных
xAI выпустила в открытый доступ код своего инструмента для разработчиков Grok Build после критики сообщества, вызванной инцидентом с непреднамеренной загрузкой...