#miri — Public Fediverse posts

The effects of the blemishes fading are pretty good, but remember that this is the remastered version. The original was a more primitive effect.
#tos #startrek #allstartrek #MIRI

Sorry, but Kirk’s treatment on Miri in this episode is cringe-worthy.

Even if the writer wanted to set up this jealousy conflict.
#allstartrek #startrek #tos #miri @startrek

Sorry, but Kirk’s treatment on Miri in this episode is cringe-worthy.

Even if the writer wanted to set up this jealousy conflict.
#allstartrek #startrek #tos #miri @startrek

I forgot how messed up the #Miri story line is. 😂

#AllStarTrek

I forgot how messed up the #Miri story line is. 😂

#AllStarTrek

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

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/

#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

Miri ловит то, что пропускает компилятор

Привет! Сегодня рассмотрим инструмент, который поможет вам с низкоуровневым кодом на Rust. Если вы пишете на Rust только безопасный код, возможно, никогда о нём не слышали. А вот тем, кто периодически заглядывает в тёмные уголки unsafe , этот инструмент сэкономит нервишки.

https://habr.com/ru/companies/beget/articles/994556/

#Rust #miri #FFI #зависимости #библиотеки_rust

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

Miri: Practical Undefined Behavior Detection for Rust [pdf]

https://research.ralfj.de/papers/2026-popl-miri.pdf

#HackerNews #Miri #Undefined #Behavior #Rust #Detection #Research #PDF

Miri: Practical Undefined Behavior Detection for Rust [pdf]

https://research.ralfj.de/papers/2026-popl-miri.pdf

#HackerNews #Miri #Undefined #Behavior #Rust #Detection #Research #PDF

Ralf Jung wrote a new blog post: What's "new" in Miri (and also, there's a Miri paper!)

There was a lot of progress in helping find Undefined Behavior (UB) in Rust programs, making it easier to write and check unsafe parts. Do check it out.

https://www.ralfj.de/blog/2025/12/22/miri.html

#rustlang #miri

Ralf Jung wrote a new blog post: What's "new" in Miri (and also, there's a Miri paper!)

There was a lot of progress in helping find Undefined Behavior (UB) in Rust programs, making it easier to write and check unsafe parts. Do check it out.

https://www.ralfj.de/blog/2025/12/22/miri.html

#rustlang #miri

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

#MPIfR:
"
Rätselhafte ultraviolette Strahlung in den Geburtsstätten von Sternen

Beobachtungen von fünf jungen Sternen in der Ophiuchus-Region mit dem James Webb Space Telescope
"
"Die Ergebnisse .. zeigen, dass die Produktion von UV-Strahlung in den Modellen zur Beschreibung der Sternentstehung berücksichtigt werden muss."

https://www.mpifr-bonn.mpg.de/pressemeldungen/2025/7?c=8727

25.11.2025

#Astronomie #Astrophysik #JWST #MIRI #Ophiuchus #Protostern #Sternentstehung #UV #Wasserstoff #Weltraumteleskop

#MPIfR:
"
Rätselhafte ultraviolette Strahlung in den Geburtsstätten von Sternen

Beobachtungen von fünf jungen Sternen in der Ophiuchus-Region mit dem James Webb Space Telescope
"
"Die Ergebnisse .. zeigen, dass die Produktion von UV-Strahlung in den Modellen zur Beschreibung der Sternentstehung berücksichtigt werden muss."

https://www.mpifr-bonn.mpg.de/pressemeldungen/2025/7?c=8727

25.11.2025

#Astronomie #Astrophysik #JWST #MIRI #Ophiuchus #Protostern #Sternentstehung #UV #Wasserstoff #Weltraumteleskop

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