Я дал 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

The RustWeek posters are back! I'll post them as I have the time! Here is Hail Miri!

#Miri #RustLang #RustWeek #RustWeek2026

Я заставил LLM писать Rust полгода. Вот что они стабильно ломают

Полгода использовал Claude, GPT и Cursor как полноценного второго разработчика на Rust в проде. Собрал семь категорий ошибок, которые модели стабильно делают и которые проходят cargo build, cargo test, иногда cargo clippy и при этом являются UB или скрытыми архитектурными ловушками. Lifetime laundering, std::sync::Mutex через .await, Drop у транзакций, unaligned read, async cancellation, orphan rule и массивы на стеке. Разбираю, почему именно Rust ломает LLM и что с этим делать.

https://habr.com/ru/articles/1035712/?utm_source=habrahabr&utm_medium=rss&utm_campaign=1035712

#Rust #LLM #unsafe #async #tokio #miri #AI

Я заставил LLM писать Rust полгода. Вот что они стабильно ломают

Полгода использовал Claude, GPT и Cursor как полноценного второго разработчика на Rust в проде. Собрал семь категорий ошибок, которые модели стабильно делают и которые проходят cargo build, cargo test, иногда cargo clippy и при этом являются UB или скрытыми архитектурными ловушками. Lifetime laundering, std::sync::Mutex через .await, Drop у транзакций, unaligned read, async cancellation, orphan rule и массивы на стеке. Разбираю, почему именно Rust ломает LLM и что с этим делать.

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

#Rust #LLM #unsafe #async #tokio #miri #AI

Твой код на Rust компилируется, проходит тесты и является UB. Ты просто об этом не знаешь

Если взять случайный крейт с crates.io и поставить его под Miri, шанс увидеть undefined behavior где-то в зависимостях стремится к единице. Разбираемся, почему: pointer provenance, Stacked Borrows, Tree Borrows и почему noalias в LLVM выключали три раза.

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

#rust #unsafe #miri #stacked_borrows #tree_borrows #provenance #llvm #noalias #undefined_behavior

#MPIA:
"
Astronomen entdecken einen Exo-Jupiter, der offenbar Wolken besitzt
"
".. mithilfe des James-Webb-Weltraumteleskops die Atmosphäre eines massereichen Jupiter-Analogons untersucht. .. deuten die Beobachtungen auf das Vorhandensein von Wassereiswolken hin .."

https://www.mpia.de/aktuelles/wissenschaft/2026-02-exo-jupiter

22.4.2026

#Astronomie #EpsilonIndiAb #Exojupiter #Exoplanet #JWST #MIRI #Planetologie #Wasser #Weltraumteleskop

Not just a transit city—Miri has a lot to offer! 🇲🇾🌴

Read more: https://flip.it/DfCz6Z

#travel #southeastasia #asean #aseantravel #malaysia #borneo #sarawak #miri #wanderlust