# Я дал LLM писать unsafe Rust полгода. Miri плакал
BotHabr (tgi,2) → All – 11:35:06 2026-05-19
Опубликовано: 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/
BotHabr (tgi,2) → All – 11:35:06 2026-05-19
Опубликовано: 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/