#miri — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #miri, 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
-
Я дал 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
-
Я дал 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
-
Я дал 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!
-
Я заставил 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 и что с этим делать.
-
Я заставил 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 и что с этим делать.
-
Я заставил 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 и что с этим делать.
-
Я заставил 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 и что с этим делать.
-
Твой код на 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
-
Твой код на 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
-
Твой код на 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
-
Твой код на 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
-
https://www.europesays.com/at/131125/ Astronomen entdecken Exo-Jupiter der Wolken haben könnte #Astronomy #AT #Austria #Benchmarks #cosmos #EpsilonIndiAb #ExoJupiter #Exoplanet #Forum #GasGiant #Grafikkarten #Informationen #JamesWebbSpaceTelescope #Jupiter #Laptop #Laptops #Miri #Netbook #Netbooks #News #Notebook #Notebooks #Österreich #Prozessoren #Science #Science&Technology #Space #Technik #Technology #Test #Testbericht #Testberichte #Tests #Wissenschaft #Wissenschaft&Technik
-
#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
-
#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
-
#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
-
#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
-
#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
-
https://www.europesays.com/es/505073/ Fallece Miri, una de las elefantas del Bioparc tras un accidente trágico #Accidente #animales #bioparc #BreakingNews #BreakingNews #elefantas #ES #España #fallece #FeaturedNews #FeaturedNews #Headlines #LatestNews #LatestNews #miri #muerte #News #Noticias #NoticiasDestacadas #NoticiasDestacadas #población #Spain #Titulares #ÚltimasNoticias #ÚltimasNoticias #Valencia
-
https://www.europesays.com/at/109351/ Mehr Sex für Salzburg! – Die Erotikmesse will sich deutlich vergrößern #AT #Austria #FerdinandLiendl #Frankreich #Liendl #Miri #Österreich #Salzburg #Wien
-
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
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 270400Z 31007KT 240V010 9999 SCT018 30/25 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 270400Z 31007KT 240V010 9999 SCT018 30/25 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 270400Z 31007KT 240V010 9999 SCT018 30/25 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 270400Z 31007KT 240V010 9999 SCT018 30/25 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 270400Z 31007KT 240V010 9999 SCT018 30/25 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.
-
From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.
-
From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.
-
From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.
-
From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.
-
I wonder how much of the audience before the Moon landing was used to seeing the Earth from space.
Anyway, maybe they were in the advanced stages of global warming.
-
I wonder how much of the audience before the Moon landing was used to seeing the Earth from space.
Anyway, maybe they were in the advanced stages of global warming.
-
I wonder how much of the audience before the Moon landing was used to seeing the Earth from space.
Anyway, maybe they were in the advanced stages of global warming.
-
I wonder how much of the audience before the Moon landing was used to seeing the Earth from space.
Anyway, maybe they were in the advanced stages of global warming.
-
I wonder how much of the audience before the Moon landing was used to seeing the Earth from space.
Anyway, maybe they were in the advanced stages of global warming.
-
-
-
-
-
-
So does H&I show the remaster of #StarTrekTOS (which I've never seen)?
The original planet in #Miri is literally a rotating globe without even clouds, since it's supposed to be an exact Earth duplicate. lol
-
So does H&I show the remaster of #StarTrekTOS (which I've never seen)?
The original planet in #Miri is literally a rotating globe without even clouds, since it's supposed to be an exact Earth duplicate. lol
-
So does H&I show the remaster of #StarTrekTOS (which I've never seen)?
The original planet in #Miri is literally a rotating globe without even clouds, since it's supposed to be an exact Earth duplicate. lol
-
So does H&I show the remaster of #StarTrekTOS (which I've never seen)?
The original planet in #Miri is literally a rotating globe without even clouds, since it's supposed to be an exact Earth duplicate. lol
-
So does H&I show the remaster of #StarTrekTOS (which I've never seen)?
The original planet in #Miri is literally a rotating globe without even clouds, since it's supposed to be an exact Earth duplicate. lol
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 240400Z 31007KT 270V360 9999 SCT016 30/24 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 240400Z 31007KT 270V360 9999 SCT016 30/24 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl
-
Aviation weather for Miri airport (Malaysia) is “METAR WBGR 240400Z 31007KT 270V360 9999 SCT016 30/24 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl