home.social

#unsafe — Public Fediverse posts

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

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

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

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

  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. @bascule "Made you look". Comparative FFI study this AM. I had reason to examine #PyCA #cryptography after reading @filippo and seeing it used #CFFI, not #Cython, and Rust-ified its underlying #OpenSSL API exposure with #C linkage using #Rust #unsafe blocks. Go figure. I just use #libsodium for most things because it ROCKS.

  6. @bascule "Made you look". Comparative FFI study this AM. I had reason to examine #PyCA #cryptography after reading @filippo and seeing it used #CFFI, not #Cython, and Rust-ified its underlying #OpenSSL API exposure with #C linkage using #Rust #unsafe blocks. Go figure. I just use #libsodium for most things because it ROCKS.

  7. @bascule "Made you look". Comparative FFI study this AM. I had reason to examine #PyCA #cryptography after reading @filippo and seeing it used #CFFI, not #Cython, and Rust-ified its underlying #OpenSSL API exposure with #C linkage using #Rust #unsafe blocks. Go figure. I just use #libsodium for most things because it ROCKS.

  8. @bascule "Made you look". Comparative FFI study this AM. I had reason to examine #PyCA #cryptography after reading @filippo and seeing it used #CFFI, not #Cython, and Rust-ified its underlying #OpenSSL API exposure with #C linkage using #Rust #unsafe blocks. Go figure. I just use #libsodium for most things because it ROCKS.

  9. @bascule "Made you look". Comparative FFI study this AM. I had reason to examine #PyCA #cryptography after reading @filippo and seeing it used #CFFI, not #Cython, and Rust-ified its underlying #OpenSSL API exposure with #C linkage using #Rust #unsafe blocks. Go figure. I just use #libsodium for most things because it ROCKS.

  10. Я заставил 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

  11. Я заставил 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

  12. Я заставил 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

  13. Я заставил 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

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

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

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

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

  18. I hate in .
    I say that after writing 4 toy runtimes for it.

    I have a very async-shaped problem and I *still* can't use async for it without ugly hacks.

    Lifetime hell is trying to kill me. Will self-referential struct save me or finish the job? Let's find out.

    Yeah, I'm riding , no alloc, why do you ask?

  19. I hate #async in #Rust.
    I say that after writing 4 toy runtimes for it.

    I have a very async-shaped problem and I *still* can't use async for it without ugly hacks.

    Lifetime hell is trying to kill me. Will self-referential struct save me or finish the job? Let's find out.

    Yeah, I'm riding #no_std , no alloc, why do you ask?

    #programming #rustlang #unsafe #jazda

  20. I hate #async in #Rust.
    I say that after writing 4 toy runtimes for it.

    I have a very async-shaped problem and I *still* can't use async for it without ugly hacks.

    Lifetime hell is trying to kill me. Will self-referential struct save me or finish the job? Let's find out.

    Yeah, I'm riding #no_std , no alloc, why do you ask?

    #programming #rustlang #unsafe #jazda

  21. I hate #async in #Rust.
    I say that after writing 4 toy runtimes for it.

    I have a very async-shaped problem and I *still* can't use async for it without ugly hacks.

    Lifetime hell is trying to kill me. Will self-referential struct save me or finish the job? Let's find out.

    Yeah, I'm riding #no_std , no alloc, why do you ask?

    #programming #rustlang #unsafe #jazda

  22. I hate #async in #Rust.
    I say that after writing 4 toy runtimes for it.

    I have a very async-shaped problem and I *still* can't use async for it without ugly hacks.

    Lifetime hell is trying to kill me. Will self-referential struct save me or finish the job? Let's find out.

    Yeah, I'm riding #no_std , no alloc, why do you ask?

    #programming #rustlang #unsafe #jazda

  23. Черная магия unsafe в Go: практические примеры и ошибки использования. Часть 2

    Привет, Хабр! Я — Владимир Балун, и это — вторая часть материала о пакете с отпугивающим названием «unsafe» в Go и том, чем он может быть реально полезен.

    habr.com/ru/companies/oleg-bun

    #go #c #c++ #оптимизация #оптимизация_производительности #бэкенд #golang #golangconf #unsafe

  24. Черная магия unsafe в Go: практические примеры и ошибки использования. Часть 1

    В стандартной библиотеке Go есть пакет с отпугивающим названием «unsafe». Но он может быть реально полезен! Сегодня поговорим о том, как использовать его надежно и эффективно. Привет, Хабр! Я — Владимир Балун, основатель balun.courses и it-interview.io. Эта статья будет для удобства разделена на две части. Из них вы узнаете, как можно создавать срезы без дорогостоящей инициализации, научитесь избавляться от Bound Checks и конвертировать строки в срезы и обратно без лишних копирований и аллокаций памяти. Черную магию мы оставим на десерт, чтобы с ее использованием посмотреть, как можно проехаться по памяти для анализа сложных структур данных, модифицировать иммутабельные строки в Go и получать доступ к приватным полям структур.

    habr.com/ru/companies/oleg-bun

    #go #бэкенд #оптимизация_производительности #C+ #C #Лайфхаки #unsafe

  25. This is, why I hate it when I am forced to "share" the keys to my castles via the cloud of password-managers like 1Password. Most local (WiFi) sync suck, or simply are dysfunctional (yes, 1Password, looking at you!). You have to trust them to encrypt the vaults adequately, which in three cases has ben shown not to be safe at all. ethz.ch/de/news-und-veranstalt #1password #enpass #Bitwarden #lastpass #dashlane #itsecurity #datasafety #passwordmanager #unsafe

  26. Random @pidgin 3 slogan I just came up with.

    "Pidgin 3 is the unsafe alternative because chatting with strangers isn't safe anyways..."

    #Unsafe #NeverRust

  27. Why #Narcissistic #Abuse Makes You Feel #Unsafe Everywhere

    #narcissisticabuse #traumaresponse #feelingunsafe

    After narcissistic abuse, even #safeplaces don’t feel safe anymore. In this video, we explore why narcissistic abuse makes you feel unsafe everywhere—at home, at work, and even in your own mind.

    youtube.com/watch?v=mUSsYjnVBB4

  28. Why #Narcissistic #Abuse Makes You Feel #Unsafe Everywhere

    #narcissisticabuse #traumaresponse #feelingunsafe

    After narcissistic abuse, even #safeplaces don’t feel safe anymore. In this video, we explore why narcissistic abuse makes you feel unsafe everywhere—at home, at work, and even in your own mind.

    youtube.com/watch?v=mUSsYjnVBB4

  29. Why #Narcissistic #Abuse Makes You Feel #Unsafe Everywhere

    #narcissisticabuse #traumaresponse #feelingunsafe

    After narcissistic abuse, even #safeplaces don’t feel safe anymore. In this video, we explore why narcissistic abuse makes you feel unsafe everywhere—at home, at work, and even in your own mind.

    youtube.com/watch?v=mUSsYjnVBB4

  30. Why #Narcissistic #Abuse Makes You Feel #Unsafe Everywhere

    #narcissisticabuse #traumaresponse #feelingunsafe

    After narcissistic abuse, even #safeplaces don’t feel safe anymore. In this video, we explore why narcissistic abuse makes you feel unsafe everywhere—at home, at work, and even in your own mind.

    youtube.com/watch?v=mUSsYjnVBB4