#prog #article
When allocating unused memory boosts performance by 2x
During performance testing, I stumbled upon a weird performance effect. The throughput of a function increased by 2x when I added a dataset but didn't use it anywhere. Such fluctuations are not unheard of and could be caused by a myriad of things. But this time the code was so unrelated that I had to investigate further, especially since the effect was consistent and not a fluke.
Спойлер:гистерезис-подобное поведение аллокатора glibc касательно возврата аллоцированной памяти операционной системе.
When allocating unused memory boosts performance by 2x
During performance testing, I stumbled upon a weird performance effect. The throughput of a function increased by 2x when I added a dataset but didn't use it anywhere. Such fluctuations are not unheard of and could be caused by a myriad of things. But this time the code was so unrelated that I had to investigate further, especially since the effect was consistent and not a fluke.
Спойлер:
😱4🔥2🤔1
💞Gay Mems🔥 | Гей мемы 💪
Вы не поверите, но в России потребовали заблокировать Duolingo. Активисты нашли в приложении фразы, которые сочли пропагандой «нетрадиционных отношений». Например: Бен и Питер любят друг друга. Они геи Клара встретила свою жену Марию в гей-баре Они думают…
Парни ПЛЮС
«Duolingo» удаляет ЛГБТ-контент по требованию Роскомнадзора - Парни ПЛЮС
Компания «Duolingo» официально сообщила Роскомнадзору об удалении из своего сервиса контента, который пользователи могут принять за...
🤡14👍9😁4🎉2
#prog #rust #article
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора
👍4
#prog #algo #article
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться.
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться.
🔥6👍3❤2
#prog #article
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность.
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность.
Ron Pressler
Why Writing Correct Software Is Hard
We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete understanding…
👍1
Место женщины — на кухне.
Место мужчины и детей — тоже на кухне. На кухне есть еда.
Место мужчины и детей — тоже на кухне. На кухне есть еда.
😁18💯9🤡3👍2
В поэзии есть два жанра с очень строгими ограничениями как на структуру стихотворения, так и на его содержание: лимерик и хайку.
Наполнение их кардинально отличается. Хайку (или хокку) стремится запечатлеть текущий момент — обязательно с указанием на время года — и сказать как можно больше, используя как можно меньше слов. В целом, хокку считается относительно возвышенным жанром.
Лимерик же, с другой стороны, вводит лирического героя в первой строке, рассказывает о его особенности или поступке во второй и описывает реакцию мира и окружающих и последствия в последующих трёх строках. Эдвард Лир, английский художник и поэт девятнадцатого века, популяризовал этот жанр своей "Книгой бессмыслиц" — целый том, битком набитый абсурдными зарисовками (в том числе и буквально — он лично иллюстрировал каждое стихотворение).
Тут напрашивается какой-то вывод или мораль, но его не будет.
Наполнение их кардинально отличается. Хайку (или хокку) стремится запечатлеть текущий момент — обязательно с указанием на время года — и сказать как можно больше, используя как можно меньше слов. В целом, хокку считается относительно возвышенным жанром.
Лимерик же, с другой стороны, вводит лирического героя в первой строке, рассказывает о его особенности или поступке во второй и описывает реакцию мира и окружающих и последствия в последующих трёх строках. Эдвард Лир, английский художник и поэт девятнадцатого века, популяризовал этот жанр своей "Книгой бессмыслиц" — целый том, битком набитый абсурдными зарисовками (в том числе и буквально — он лично иллюстрировал каждое стихотворение).
Тут напрашивается какой-то вывод или мораль, но его не будет.
👍3🤔1
Forwarded from воспоминания математиков
Однажды Сидзуо Какутани давал урок в Йельском университете. Он написал на доске лемму и объявил, что доказательство очевидно. Но один студент робко поднял руку и сказал, что ему вовсе не очевидна заявленная теорема и попросил Какутани ее объяснить.
После недолгого размышления, Какутани пришел к выводу, что и у него самого не выходит на месте придумать доказательство. Он извинился и обязался изложить доказательство леммы на следующем занятии.
После семинара Какутани стремительно направился в свой кабинет. Он боролся с леммой довольно долгое время, пока, наконец, не сдался. Обеденное время он провел в библиотеке, разыскивая происхождение этого утверждения, и, наконец-таки, ему удалось найти статью, в которой описывается злополучная лемма.
На месте ее доказательства автор статьи написал: «Оставляется в качестве упражнения».
А автором статьи был сам Какутани.
из книги «Mathematical Apocrypha», Steven Krantz
После недолгого размышления, Какутани пришел к выводу, что и у него самого не выходит на месте придумать доказательство. Он извинился и обязался изложить доказательство леммы на следующем занятии.
После семинара Какутани стремительно направился в свой кабинет. Он боролся с леммой довольно долгое время, пока, наконец, не сдался. Обеденное время он провел в библиотеке, разыскивая происхождение этого утверждения, и, наконец-таки, ему удалось найти статью, в которой описывается злополучная лемма.
На месте ее доказательства автор статьи написал: «Оставляется в качестве упражнения».
А автором статьи был сам Какутани.
из книги «Mathematical Apocrypha», Steven Krantz
😁19🤣7🤯4🌚2❤1
#prog #article
What is PID 0?
Спойлер: в интернете все остальные неправы насчёт ответа на этот вопрос (или правы не полностью).
What is PID 0?
Спойлер: в интернете все остальные неправы насчёт ответа на этот вопрос (или правы не полностью).
👍2