Опубликовано: Tue, 19 May 2026 10:57:10 GMT
Канал: Все статьи подряд / Системное программирование / Хабр

Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом. Читать далее]]>

https://habr.com/ru/articles/1035914/