#aliasing — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aliasing, aggregated by home.social.
-
Я дал 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 плакал
Полгода я давал 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 плакал
Полгода я давал 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 плакал
Полгода я давал 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
-
restrict в C: оптимизация на честном слове
Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C, скорее всего вы никогда не использовали ключевое слово restrict . А зря — этот квалификатор указателя может дать вашему коду неплохой прирост производительности. Правда, для этого придётся дать компилятору честное слово насчёт своих указателей.
https://habr.com/ru/companies/otus/articles/978524/
#C #указатели #память #aliasing #оптимизация_кода #lowlevel_программирование #компилятор
-
restrict в C: оптимизация на честном слове
Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C, скорее всего вы никогда не использовали ключевое слово restrict . А зря — этот квалификатор указателя может дать вашему коду неплохой прирост производительности. Правда, для этого придётся дать компилятору честное слово насчёт своих указателей.
https://habr.com/ru/companies/otus/articles/978524/
#C #указатели #память #aliasing #оптимизация_кода #lowlevel_программирование #компилятор
-
restrict в C: оптимизация на честном слове
Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C, скорее всего вы никогда не использовали ключевое слово restrict . А зря — этот квалификатор указателя может дать вашему коду неплохой прирост производительности. Правда, для этого придётся дать компилятору честное слово насчёт своих указателей.
https://habr.com/ru/companies/otus/articles/978524/
#C #указатели #память #aliasing #оптимизация_кода #lowlevel_программирование #компилятор
-
restrict в C: оптимизация на честном слове
Привет, Хабр! Сегодня поговорим про один из самых незаметных, но любопытных моментов языка C. Если вы пишете на C, скорее всего вы никогда не использовали ключевое слово restrict . А зря — этот квалификатор указателя может дать вашему коду неплохой прирост производительности. Правда, для этого придётся дать компилятору честное слово насчёт своих указателей.
https://habr.com/ru/companies/otus/articles/978524/
#C #указатели #память #aliasing #оптимизация_кода #lowlevel_программирование #компилятор
-
🤔 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 -
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
-
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
-
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
-
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
-
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
-
@wonderofscience What a great example of #aliasing.
-
Datamoshing identity.
identità immaterialità
Corpo, algoritmo: manipolazione
delle informazioni video.
Frames e video, 2025.Per il video, gli scatti e i testi,
www.roccioletti.com#datamoshing #aliasing #glitch #blurring #lowres #moiré #pixellation #flickering #simulacra #identity #body #corpo #contemporaryart #artecontemporanea #performanceart #performingart #art #arte #artiperformative #videoart #videoarte #postfotografia #postphotography
-
Datamoshing identity.
identità immaterialità
Corpo, algoritmo: manipolazione
delle informazioni video.
Frames e video, 2025.Per il video, gli scatti e i testi,
www.roccioletti.com#datamoshing #aliasing #glitch #blurring #lowres #moiré #pixellation #flickering #simulacra #identity #body #corpo #contemporaryart #artecontemporanea #performanceart #performingart #art #arte #artiperformative #videoart #videoarte #postfotografia #postphotography
-
Datamoshing identity.
identità immaterialità
Corpo, algoritmo: manipolazione
delle informazioni video.
Frames e video, 2025.Per il video, gli scatti e i testi,
www.roccioletti.com#datamoshing #aliasing #glitch #blurring #lowres #moiré #pixellation #flickering #simulacra #identity #body #corpo #contemporaryart #artecontemporanea #performanceart #performingart #art #arte #artiperformative #videoart #videoarte #postfotografia #postphotography
-
Datamoshing identity.
identità immaterialità
Corpo, algoritmo: manipolazione
delle informazioni video.
Frames e video, 2025.Per il video, gli scatti e i testi,
www.roccioletti.com#datamoshing #aliasing #glitch #blurring #lowres #moiré #pixellation #flickering #simulacra #identity #body #corpo #contemporaryart #artecontemporanea #performanceart #performingart #art #arte #artiperformative #videoart #videoarte #postfotografia #postphotography
-
Datamoshing identity.
identità immaterialità
Corpo, algoritmo: manipolazione
delle informazioni video.
Frames e video, 2025.Per il video, gli scatti e i testi,
www.roccioletti.com#datamoshing #aliasing #glitch #blurring #lowres #moiré #pixellation #flickering #simulacra #identity #body #corpo #contemporaryart #artecontemporanea #performanceart #performingart #art #arte #artiperformative #videoart #videoarte #postfotografia #postphotography
-
Here be dragons 😰:
“The Strict Aliasing Situation Is Pretty Bad” [2016], John Regehr (https://blog.regehr.org/archives/1307).
On HN: https://news.ycombinator.com/item?id=41757701 and https://news.ycombinator.com/item?id=11288665
#Programming #C #CPlusPlus #Optimization #Aliasing #StrictAliasing #Compilers
-
“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (https://xav.io/blog/rust-formal-verification/).
On Lobsters: https://lobste.rs/s/fekcju/visions_future_formal_verification_rust
#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing
-
Intriguing, but a little extreme IMO:
“References Are Like Jumps”, Saoirse Shipwreckt (https://without.boats/blog/references-are-like-jumps/).
On HN: https://news.ycombinator.com/item?id=40349124
On Lobsters: https://lobste.rs/s/eslpei/references_are_like_jumps
#Programming #Rust #Mojo #Hylo #PLDI #ProgrammingLanguages #References #Aliasing
-
If it's a rendering artefact that you never see throughout the huge range of styles represented by offline rendered CG but you see (or saw) it all the time in real-time rendering, what you're pointing at is a defect (due to the lack of time for completing a frame), not an artistic style/movement. #aliasing #JustSayNo
-
Laissez-faire Font Smoothing and Anti-aliasing
https://www.zachleat.com/web/font-smooth/
#articles #design #css #FontSmoothing #aliasing #subpixel #grayscale
-
I’ve done a couple of #AnimatedGifs of #sunsets before and the conditions seemed right today. The program I used was the #Unix commands #convert and #gifsicle to reduce the image size which produces no #aliasing artefacts that you can get with something like #Gimp. Still, you can see how the #Sun sets at an oblique angle at this #latitude.
-
I’ve done a couple of #AnimatedGifs of #sunsets before and the conditions seemed right today. The program I used was the #Unix commands #convert and #gifsicle to reduce the image size which produces no #aliasing artefacts that you can get with something like #Gimp. Still, you can see how the #Sun sets at an oblique angle at this #latitude.
