Блог*
Ir al canal en Telegram
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
Mostrar más1 981
Suscriptores
-424 horas
-97 días
+530 días
Archivo de publicaciones
1 980
В поэзии есть два жанра с очень строгими ограничениями как на структуру стихотворения, так и на его содержание: лимерик и хайку.
Наполнение их кардинально отличается. Хайку (или хокку) стремится запечатлеть текущий момент — обязательно с указанием на время года — и сказать как можно больше, используя как можно меньше слов. В целом, хокку считается относительно возвышенным жанром.
Лимерик же, с другой стороны, вводит лирического героя в первой строке, рассказывает о его особенности или поступке во второй и описывает реакцию мира и окружающих и последствия в последующих трёх строках. Эдвард Лир, английский художник и поэт девятнадцатого века, популяризовал этот жанр своей "Книгой бессмыслиц" — целый том, битком набитый абсурдными зарисовками (в том числе и буквально — он лично иллюстрировал каждое стихотворение).
Тут напрашивается какой-то вывод или мораль, но его не будет.
1 980
#prog #article
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность.
1 980
#prog #article
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться.
1 980
#prog #rust #article
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора
1 980
#prog #article
When allocating unused memory boosts performance by 2x
Спойлер: гистерезис-подобное поведение аллокатора glibc касательно возврата аллоцированной памяти OS.
