home.social

#miri — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #miri, aggregated by home.social.

  1. Твой код на Rust компилируется, проходит тесты и является UB. Ты просто об этом не знаешь

    Если взять случайный крейт с crates.io и поставить его под Miri, шанс увидеть undefined behavior где-то в зависимостях стремится к единице. Разбираемся, почему: pointer provenance, Stacked Borrows, Tree Borrows и почему noalias в LLVM выключали три раза.

    habr.com/ru/articles/1033328/

    #rust #unsafe #miri #stacked_borrows #tree_borrows #provenance #llvm #noalias #undefined_behavior

  2. #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 .."

    mpia.de/aktuelles/wissenschaft

    22.4.2026

    #Astronomie #EpsilonIndiAb #Exojupiter #Exoplanet #JWST #MIRI #Planetologie #Wasser #Weltraumteleskop

  3. @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

  4. @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

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

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

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

    habr.com/ru/companies/beget/ar

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

  7. 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
    europesays.com/de/793879/

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

    ralfj.de/blog/2025/12/22/miri.

    #rustlang #miri

  9. #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."

    mpifr-bonn.mpg.de/pressemeldun

    25.11.2025

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

  10. #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"

    derstandard.at/story/300000027

    11.6.2025

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

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

    kuuke.nl/webb-meet-grootte-van

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

  12. #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
    "
    derstandard.at/story/300000024

    16.12.2024

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

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

    kuuke.nl/webb-ziet-zandlopervo

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

  14. #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
    rationalwiki.org/wiki/LessWron