#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 писать 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
-
#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.
-
Thiel funds MIRI. Yarvin shapes Vance. Sanders flies to Berkeley. Green films two videos. The extinction frame is a class project. Follow the money.
-
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
-
-
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/
-
📝 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
-
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 entdecktAuf 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/226304717.4.2025
#Astronomie #Dimethyldisulfid #Dimethylsulfid #DMDS #DMS #Exoplanet #HabitableZone #HyceanPlanet #JWST #Leben #Minineptun #MIRI #Planetologie #Transmissionsmethode #Weltraumteleskop