#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

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

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

#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

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

#Podcast recommendation!

I'm listening to a month-old interview with Nate Soares (MIRI) about #AISafety by the London Futurists podcast.

I'm not familiar with their work, but this conversation is very interesting. Definitely worth the 50min listen.

Good insights into #AI safety topics, and I guess a useful preparation for the https://ifanyonebuildsit.com/ book launch in September? I think so.

https://www.youtube.com/watch?v=XGmArWSmRUk

#AGI #ASI #MIRI

Hackaday Links: July 20, 2025 https://hackaday.com/2025/07/20/hackaday-links-july-20-2025/ #planetarydefense #HackadayColumns #Hackadaylinks #hackadaylinks #gamification #exoplanet #asteroid #android #coding #morse #TWA7b #dart #jwst #MIRI #webb

Hackaday Links: July 20, 2025 - In the relatively short time that the James Webb Space Telescope has been operatio... - https://hackaday.com/2025/07/20/hackaday-links-july-20-2025/ #planetarydefense #hackadaycolumns #hackadaylinks #gamification #exoplanet #asteroid #android #coding #morse #twa7b #dart #jwst #miri #webb

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

Der interaktive Wegweiser zu den Sternen: Die größte Weltraumkarte für alle zugänglich
Die Erforschung des Weltalls fasziniert Menschen weltweit. Die jüngsten Entwicklungen bieten nun eine großar
https://www.apfeltalk.de/magazin/news/der-interaktive-wegweiser-zu-den-sternen-die-groesste-weltraumkarte-fuer-alle-zugaenglich/
#News #Tellerrand #Caltech #CosmicEvolutionSurvey #Datenverarbeitung #FITSDateiformat #Galaxien #InteraktiveKarte #JamesWebbSpaceTelescope #MIRI #NIRCam #Universum

#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

#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