#miri — Public Fediverse posts

Твой код на 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

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

@lxskllr @startrek

From "Bread & Circuses." I think maybe the continents were not exactly duplicated in that one. Looks similar quality though.

#AllStarTrek #StarTrek #StarTrekTOS #Miri #BreadAndCircuses

@lxskllr @startrek

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.

#AllStarTrek #StarTrek #StarTrekTOS #Miri

@lxskllr @startrek

Pulled this right up.

#AllStarTrek #StarTrek #StarTrekTOS #Miri

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

@startrek

#AllStarTrek #StarTrek

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

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 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

Schüsse in Berlin Tegel und Kreuzberg: Mordkommission ermittelt | News

+++Sicherheitsvorfall! Keine Abflüge am Airport Köln/Bonn +++Sicherheitsvorfall! Keine Abflüge am Airport Köln/Bonn +++Sicherheitsvorfall! Keine Abflüge am Airport Köln/Bonn…
#Berlin #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #Autos #Eisen #Familienclans #Germany #Kreuzberg #Miri-Clan #Mord #Polizei #Schusswaffen #TeamFirst #Tegel
https://www.europesays.com/de/793879/

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

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

#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

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

https://www.europesays.com/uk/231113/ Super-Bright Galaxy Photo Shows How Webb Compares Against Hubble #hubble #Infrared #jameswebbspacetelescope #jwst #m82 #messier82 #midinfrared #miri #nircam #Science #Space #UK #UnitedKingdom #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

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

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

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

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

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

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

Webb meet grootte van de potentieel gevaarlijke asteroïde 2024 YR4

De vernietigende kracht van een inslaande asteroïde wordt voornamelijk geschat door kennis van de omvang ervan. Asteroïde 2024 YR4 die dicht bij de Aarde komt, bereikte een piek inslagwaarschijnlijkheid van 3,2% in 2032 wat de wens motiveerde om de omvang erva

https://www.kuuke.nl/webb-meet-grootte-van-de-potentieel-gevaarlijke-asteroide-2024-yr4/

#2024YR4 #aardscheerder #infrarood #miri #NIRCam #WebbSpaceTelescope

Observations de la naissance d'étoiles massives dans le Grand Nuage de Magellan
Par Éric Simon
https://www.ca-se-passe-la-haut.fr/
#astronomie #astrophysique #science #amas #étoiles #ALMA #Webb #YSO #MIRI #LMC #galaxie

#DerStandard:
"
Vielversprechendes System

Der erdähnliche Exoplanet Trappist-1 b könnte eine Atmosphäre besitzen

Neue Beobachtungen mit dem James-Webb-Weltraumteleskop liefern widersprüchliche Ergebnisse für einen faszinierenden Planeten in 40 Lichtjahren Entfernung
"
https://www.derstandard.at/story/3000000249556/der-erdaehnliche-exoplanet-trappist-1-b-koennte-eine-atmosphaere-besitzen

16.12.2024

#Astronomie #Exoplanet #JWST #MIRI #MPIA #RoterZwerg #Trappist1 #Trappist1b #Weltraumteleskop

Webb ziet zandlopervormige moleculaire wolk rond een protoster

Astronomen hebben met behulp van het MIRI-instrument van de Webb Space Telescope een opname gemaakt van de moleculaire wolk L1527.

https://www.kuuke.nl/webb-ziet-zandlopervormige-moleculaire-wolk-rond-een-protoster/

#IRAS #L1527 #miri #MoleculaireWolk #nevel #protoster #ster #taurus #webb

#LessWrong is a community blog focused on "refining the art of human #rationality." To this end, it focuses on identifying and overcoming bias, improving judgment and problem-solving, and speculating about the future. The blog is based on the ideas of Eliezer Yudkowsky, a research fellow for the Machine Intelligence Research Institute (MIRI; previously known as the Singularity Institute for Artificial Intelligence, and then the Singularity Institute). Many members of LessWrong share Yudkowsky's interests in #transhumanism, artificial intelligence (AI), the #Singularity, and #ai

#RationalWiki #miri #ai
https://rationalwiki.org/wiki/LessWrong

📍 Miri, Sarawak
📸 Nikon Coolpix P300

#Toyota #Corolla #photography #fotografie #urbangram #Nikon #CoolpixP300 #mundane #Malaysia #banal #urban #abandoned #backalley #kaput #Miri #Sarawak #Borneo

📍 Miri, Sarawak
📸 Nikon D7100

#photography #urbangram #Nikon #D7100 #Mercedes #mundane #Miri #Sarawak #Malaysia #banal #foundobject #superordinary #parkinglot #peculiar #urban #fotografie #kitlens #MyNikkor

Miri.
📸 Nikon P300

#photography #fotografie #urban #mundane #banal #urbangram #VSCOdaily #urbanspaces #Nikon #P300 #Miri #Malaysia

#mdr:

"Griff nach den Sternen

Weltraumstandort Jena: Wie Thüringer den Jupiter, den Klimawandel und die Quantenkommunikation erforschen"

https://www.mdr.de/wissen/photonics-days-jena-raumfahrt-am-mitteldeutschen-standort-jena-100.html

13.10.2023

#CO2M #FraunhoferIOF #IOF #Jena #JWST #JUICE #GALA #MIRI #Raumfahrt #Weltraum