#miri — Public Fediverse posts

Я дал 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 писать 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

#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

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 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 “WBGR 180200Z 06006KT 020V110 9999 FEW016 29/24 Q1013” : 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 “WBGR 180200Z 06006KT 020V110 9999 FEW016 29/24 Q1013” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl

Thiel funds MIRI. Yarvin shapes Vance. Sanders flies to Berkeley. Green films two videos. The extinction frame is a class project. Follow the money.

#AI #FollowTheMoney #MIRI #Longtermism

http://cherokeeschill.com/2026/03/17/the-network-behind-the-moderate-miri-thiel-yarvin-and-the-ai-extinction-myth/?utm_source=mastodon&utm_medium=jetpack_social

Thiel funds MIRI. Yarvin shapes Vance. Sanders flies to Berkeley. Green films two videos. The extinction frame is a class project. Follow the money.

#AI #FollowTheMoney #MIRI #Longtermism

http://cherokeeschill.com/2026/03/17/the-network-behind-the-moderate-miri-thiel-yarvin-and-the-ai-extinction-myth/?utm_source=mastodon&utm_medium=jetpack_social

https://www.europesays.com/ie/361258/ Detection Of CO2 Ice In The Planetary Nebula NGC 6302 #AstroPhGA #Éire #Https://astrobiologyCom/2026/02/astrochemistry #Ice #IE #interstellar #Ireland #jwst #Miri #NGC6302 #OrganicChemistry #PlanetaryNebula #Science

Aviation weather for Miri airport (Malaysia) is “WBGR 250300Z 20008KT 160V240 9999 FEW016 29/23 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 “WBGR 250300Z 20008KT 160V240 9999 FEW016 29/23 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 “WBGR 220100Z VRB03KT 9999 SCT016 25/24 Q1007” : 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 “WBGR 220100Z VRB03KT 9999 SCT016 25/24 Q1007” : 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 “WBGR 150400Z VRB05KT 9999 SCT016 30/26 Q1008” : 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 “WBGR 150400Z VRB05KT 9999 SCT016 30/26 Q1008” : 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 “WBGR 070100Z VRB02KT 9999 FEW016 27/24 Q1013” : 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 “WBGR 070100Z VRB02KT 9999 FEW016 27/24 Q1013” : 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 “WBGR 210100Z 00000KT 9999 FEW016 27/23 Q1011” : 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 “WBGR 210100Z 00000KT 9999 FEW016 27/23 Q1011” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miriairport #airport #miri #malaysia #wbgr #myy #metar #aviation #aviationweather #avgeek vl

https://www.europesays.com/ee/64444/ Dokfilm sellest, kuidas Iisraeli erukindral oma poja peret päästma sööstab #amir #BarryAvrich #EE #Eesti #EestiKeel #Entertainment #Estonia #Estonian #gali #HamasiSissetung #Iisrael #meelelahutus #miri #NoamTibon #päästeoperatsioon #SeitsmesOktoober #terrorism

#japaneseIdol #miri flexing her long legs

Gentari x SEB turns on two DC Chargers, up to 180kW in Miri #ev #evcharger #gentari #miri #news #sarawak #seb

https://soyacincau.com/2025/11/26/gentari-x-seb-180kw-ev-dc-charger-boulevard-miri-sarawak/

📸 GX85 📍Miri, Sarawak

#sidewalk #Miri #Sarawak #urbangram #urbanspace #urbano #foundasseen #fotografie #ITAP #PoTD #mundane #banal #photography #fotografie #Lumix #GX85 #MFT #M43 #M43photography

📝 Broken 🦄
📸 GX85 📍Miri, Sarawak

#sidewalk #Miri #Sarawak #urbangram #urbanspace #abandoned #broken #urbano #foundasseen #fotografie #ITAP #PoTD #mundane #banal #photography #fotografie #Lumix #GX85 #MFT #M43

Aviation weather for Miri airport (Malaysia) is “WBGR 230400Z VRB04KT 9999 SCT016 30/26 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

Coffee shop.

#suburb #urbanphotography #urbanspace #urbangram #mundane #banal #Miri #Sarawak #Malaysia #morninglight #photography #fotografie #ITAP #PhotooftheDay #D7100 #Nikon #kitlens #yellow

Coffee shop.

#suburb #urbanphotography #urbanspace #urbangram #mundane #banal #Miri #Sarawak #Malaysia #morninglight #photography #fotografie #ITAP #PhotooftheDay #D7100 #Nikon #kitlens #yellow

Coffee shop.

#suburb #urbanphotography #urbanspace #urbangram #mundane #banal #Miri #Sarawak #Malaysia #morninglight #photography #fotografie #ITAP #PhotooftheDay #D7100 #Nikon #kitlens #yellow

Coffee shop.

#suburb #urbanphotography #urbanspace #urbangram #mundane #banal #Miri #Sarawak #Malaysia #morninglight #photography #fotografie #ITAP #PhotooftheDay #D7100 #Nikon #kitlens #yellow

Captured this when exploring back alley.

#urbanphotography #urbanspace #urbangram #mundane #banal #backalley #Miri #Sarawak #Malaysia #morninglight #photography #fotografie #ITAP #PhotooftheDay #D7100 #Nikon #kitlens

Aviation weather for Miri airport (Malaysia) is “WBGR 050000Z 15005KT 9999 FEW008 SCT014 24/23 Q1014” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miri #malaysia #miriairport #wbgr #myy #metar #aviation #aviationweather #avgeek #airport vii3

Aviation weather for Miri airport (Malaysia) is “WBGR 050000Z 15005KT 9999 FEW008 SCT014 24/23 Q1014” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miri #malaysia #miriairport #wbgr #myy #metar #aviation #aviationweather #avgeek #airport vl

Aviation weather for Miri airport (Malaysia) is “WBGR 280200Z VRB02KT 9999 TS FEW015CB SCT016 27/24 Q1009” : See what it means on https://www.bigorre.org/aero/meteo/wbgr/en #miri #malaysia #miriairport #wbgr #myy #metar #aviation #aviationweather #avgeek #airport vl

Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble https://petapixel.com/2025/07/01/super-bright-galaxy-photo-shows-how-webb-compares-against-hubble/ #jameswebbspacetelescope #midinfrared #messier82 #infrared #hubble #nircam #Space #News #jwst #miri #webb #m82

Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble https://petapixel.com/2025/07/01/super-bright-galaxy-photo-shows-how-webb-compares-against-hubble/ #jameswebbspacetelescope #midinfrared #messier82 #infrared #hubble #nircam #Space #News #jwst #miri #webb #m82

Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble https://petapixel.com/2025/07/01/super-bright-galaxy-photo-shows-how-webb-compares-against-hubble/ #jameswebbspacetelescope #midinfrared #messier82 #infrared #hubble #nircam #Space #News #jwst #miri #webb #m82

Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble https://petapixel.com/2025/07/01/super-bright-galaxy-photo-shows-how-webb-compares-against-hubble/ #jameswebbspacetelescope #midinfrared #messier82 #infrared #hubble #nircam #Space #News #jwst #miri #webb #m82

Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble https://petapixel.com/2025/07/01/super-bright-galaxy-photo-shows-how-webb-compares-against-hubble/ #jameswebbspacetelescope #midinfrared #messier82 #infrared #hubble #nircam #Space #News #jwst #miri #webb #m82

#DerStandard:
"
Rätselhafte Gashülle
Pluto ist noch exotischer als bisher gedacht
"
"Forschende untersuchten den Zwergplaneten mit dem James-Webb-Weltraumteleskop. Die überraschenden Ergebnisse offenbarten eine einzigartige Atmosphäre"

https://www.derstandard.at/story/3000000273364/pluto-ist-noch-exotischer-als-bisher-gedacht

11.6.2025

#Astronomie #Atmosphäre #Charon #Eis #Gas #JWST #Kohlenmonoxid #Methan #MIRI #ObservatoireDeParis #Planetologie #Pluto #Stickstoff #Weltraumteleskop

#DerStandard:
"
Rätselhafte Gashülle
Pluto ist noch exotischer als bisher gedacht
"
"Forschende untersuchten den Zwergplaneten mit dem James-Webb-Weltraumteleskop. Die überraschenden Ergebnisse offenbarten eine einzigartige Atmosphäre"

https://www.derstandard.at/story/3000000273364/pluto-ist-noch-exotischer-als-bisher-gedacht

11.6.2025

#Astronomie #Atmosphäre #Charon #Eis #Gas #JWST #Kohlenmonoxid #Methan #MIRI #ObservatoireDeParis #Planetologie #Pluto #Stickstoff #Weltraumteleskop

Webb vindt bewijs voor een zwart gat in Messier 83

Sterk geïoniseerd neon gas dat door de Webb Space Telescope in het centrum van Messier 83 is gevonden zou een teken kunnen zijn van een supermassieve zwart gat.

Deze opname van de Hubble Space Telescope toont het nabije spir

https://www.kuuke.nl/webb-vindt-bewijs-voor-een-zwart-gat-in-messier-83/

#ActieveGalactischeKern #AGN #hydra #Messier83 #miri #NGC5236 #waterslang #WebbSpaceTelescope #ZuidelijkWindmolenstelsel #ZwartGat

#Spektrum:
"
Biomoleküle auf fernem Exoplaneten entdeckt

Auf dem 120 Lichtjahre entfernten Exoplaneten K2-18 b wurden Moleküle gefunden, wie sie von irdischem Phytoplankton hergestellt werden.
"
https://www.spektrum.de/news/exoplanet-zeigt-schwefelhaltige-biosignaturen/2263047

17.4.2025

#Astronomie #Dimethyldisulfid #Dimethylsulfid #DMDS #DMS #Exoplanet #HabitableZone #HyceanPlanet #JWST #Leben #Minineptun #MIRI #Planetologie #Transmissionsmethode #Weltraumteleskop