home.social

#miri — Public Fediverse posts

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

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

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

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

  4. Я дал LLM писать unsafe Rust полгода. Miri плакал

    Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.

    habr.com/ru/articles/1035914/

    #Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI

  5. The RustWeek posters are back! I'll post them as I have the time! Here is Hail Miri!

    #Miri #RustLang #RustWeek #RustWeek2026

  6. The RustWeek posters are back! I'll post them as I have the time! Here is Hail Miri!

    #Miri #RustLang #RustWeek #RustWeek2026

  7. Я заставил 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 и что с этим делать.

    habr.com/ru/articles/1035712/

    #Rust #LLM #unsafe #async #tokio #miri #AI

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

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

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

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

  12. #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

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

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

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

    habr.com/ru/companies/beget/ar

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

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

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

  17. #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

  18. #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