Mastodawn

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

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

Этот код прошёл мои code review, ревью второго коллеги, тесты, CI с clippy и десять дней работал в проде: let mut out = Vec::with_capacity(estimated_size); let written = unsafe {...

Хабр

Habr Dec 26

restrict в C: оптимизация на честном слове

Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C, скорее всего вы никогда не использовали ключевое слово restrict . А зря — этот квалификатор указателя может дать вашему коду неплохой прирост производительности. Правда, для этого придётся дать компилятору честное слово насчёт своих указателей.

https://habr.com/ru/companies/otus/articles/978524/

#C #указатели #память #aliasing #оптимизация_кода #lowlevel_программирование #компилятор

restrict в C: оптимизация на честном слове

Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C , скорее всего, вы никогда не использовали ключевое слово...

Хабр

N-gated Hacker News Dec 22, 2025

🤔 Ah yes, the thrilling world of #aliasing, where optimizations go to die, and compilers throw in the towel faster than you can say "Advent of Giving Up." 🎄 Matt's #blog, expertly proofread by an #LLM, offers the riveting insight that *knowing why* your #compiler is a quitter is just as important as actual #optimization, because who doesn't love a good excuse? 😂
https://xania.org/202512/15-aliasing-in-general #insights #AdventOfGivingUp #HackerNews #ngated

Aliasing — Matt Godbolt’s blog

Knowing when the compiler can't optimise is important too

Hacker News Dec 22, 2025

Aliasing

https://xania.org/202512/15-aliasing-in-general

#HackerNews #Aliasing #AliasingInGeneral #HackerNews #TechDiscussion #Programming

Aliasing — Matt Godbolt’s blog

Knowing when the compiler can't optimise is important too

Show thread

Khurram Wadee ✅Oct 25, 2025

And so, here are four functions to demonstrate it. The default resolution of the plotting routine is crude, leading to #Aliasing and so the mesh has to be refined somewhat.

Here are three #ConicSections and one #Trigonometric functions.

An #Ellipse
A #Parabola.
A #Hyperbola.
A rotating #Tangent function.

#MyWork #CCBYSA #Maxima #Mathematics #Geometry #FreeSoftware