#maybeuninit — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #maybeuninit, aggregated by home.social.
-
Я дал LLM писать unsafe Rust полгода. Miri плакал
Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.
https://habr.com/ru/articles/1035914/
#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI