Я дал LLM писать unsafe Rust полгода. Miri плакал Полгода я давал LLM писать unsafe Rust в боевых проектах и …
Я дал LLM писать unsafe Rust полгода. Miri плакал Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом. https://clck.ru/3TizSQ
Автор: Habr все новости об IT