Verified Rust for low-level systems code
https://github.com/verus-lang/verus
@rust_code
Post #561
3.13K
- Oct 2, 2026🦀 Rust 1.99 научился определять C-совместимые variadic-функции Теперь в стабильном Rust м…
- Sep 30, 2026ИИ-агенты могут разгонять Rust-код быстрее SOTA-библиотек Макс Вулф провёл серию экспериме…
- Sep 28, 2026🦀 Qt открывает Rust полноценный путь к кроссплатформенному UI Qt представила Qt Bridge fo…
- Sep 26, 2026Как создать пустой vector по-гениальному
- Sep 24, 2026🦀 Как доказать, что Rust-код работает правильно: Amazon рассказывает о Verus Rust предотв…
- Sep 24, 2026❌В IT сейчас кризис джунов, но только не в кибербезе. ❗️Рынку не хватает 50 000 специалист…