Rust

🦀 Как доказать, что Rust-код работает правильно: Amazon рассказывает о Verus Rust предотвращает многие ошибки работы с памятью, но программа всё ещё может вернуть неверный результат. Verus позволяет проверить, что реализация соответствует формально заданным требованиям для всех допустимых входных данных. Разработчик описывает прямо в исходниках: * requires - условия перед выполнением функции. * ensures — свойства…

❌ В IT сейчас кризис джунов, но только не в кибербезе. ❗️ Рынку не хватает 50 000 специалистов. В информационной безопасности - аномальный кадровый голод. Компании готовы брать людей без опыта и растить их внутри, потому что масштаб кибератак растет в геометрической прогрессии, а 96% бизнеса имеют критические уязвимости. Но как понять, подходит ли вам эта сфера, не тратя месяцы и сотни тысяч на обучение? ✅ Начните с…

Rust без аллокатора: `fff` снизил пиковое потребление памяти через `mmap` Во время тестирования fff обнаружилось, что при создании большого Vec<u64> процесс потребляет заметно больше оперативной памяти, чем требуется для индекса. Причиной оказался аллокатор, который мог резервировать лишнюю память при работе с крупными буферами. Теперь на Unix-системах fff выделяет память напрямую через mmap : * рассчитывает точный…

Zero cost

🦀 NVIDIA официально идёт в native GPU programming на Rust Теперь CUDA Rust позволяет писать GPU kernels прямо на Rust и компилировать их в PTX - без необходимости держать kernel-код на C++ или другом языке. NVIDIA развивает сразу два подхода: SIMT через `cuda-oxide` - привычная CUDA-модель: один thread → одна операция - полный контроль над потоками и памятью - custom rustc backend → MIR → LLVM → PTX - memory safety…

yagni

🦀 Rust Pinning без магии: `Pin`, `Unpin` и `Future::poll` Одна из самых сложных тем в Rust - зачем вообще нужен Pin и почему некоторые значения нельзя просто перемещать в памяти. Хороший разбор строит механизм буквально с нуля и связывает его с тем, что реально встречается в async Rust: - как работает Pin - что означает Unpin - почему self-referential структуры опасны - при чём здесь Future - почему Future::poll…