#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
Forwarded from летучие рыбы
прикиньте люди щас меняют год рождения на 2005 год на всяких сайтах типо они совершеннолетние
🤣29🤯5👍1🌚1
#prog
lists.busybox.net/pipermail/busybox/2010-December/074114.html
О том, откуда растут ноги у деления на (s)bin и usr/(s)bin в Unix. Спойлер: это артефакт системы хранения первой машины, на которой производилась разработка.
lists.busybox.net/pipermail/busybox/2010-December/074114.html
О том, откуда растут ноги у деления на (s)bin и usr/(s)bin в Unix. Спойлер: это артефакт системы хранения первой машины, на которой производилась разработка.
❤5😁3👍1🔥1
Вы хоть знаете, насколько это тяжело — усердно трудиться в поте лица?
Вот и я не знаю
Вот и я не знаю
😁8💩2🤔1
#science #video
На протяжении многих лет среди физиков стоял вопрос (который почему-то получил имя Фейнмана): что будет, если поместить вращающийся разбрызгиватель в жидкость и начать втягивать жидкость через трубки вместо того, чтобы через них выливать? В какую сторону будет вращаться конструкция, и будет ли вращаться вообще? Разумные аргументы звучали с обеих сторон, и лишь недавно это смогли проверить в эксперименте, в котором максимально снизили посторонние факторы.
youtube.com/watch?v=EM-VWNb5Trk
На протяжении многих лет среди физиков стоял вопрос (который почему-то получил имя Фейнмана): что будет, если поместить вращающийся разбрызгиватель в жидкость и начать втягивать жидкость через трубки вместо того, чтобы через них выливать? В какую сторону будет вращаться конструкция, и будет ли вращаться вообще? Разумные аргументы звучали с обеих сторон, и лишь недавно это смогли проверить в эксперименте, в котором максимально снизили посторонние факторы.
youtube.com/watch?v=EM-VWNb5Trk
YouTube
How Physicists FINALLY Solved the Feynman Sprinkler Problem - Explained
A 140 year-old physics problem may have just been solved...Can a sprinkler work and spin in reverse? Comment your answer below as I take a look into this breakthrough research experiment that claims to solve the mystery, once and for all...
Read the paper…
Read the paper…
🌚6👍4❤1
Блог*
#music "Doom is a game where you have a boss music" youtu.be/watch?v=kpnW68Q8ltc
YouTube
DOOM: The Dark Ages | Official Trailer 1 (4K) | Coming 2025
Launching May 15, 2025. Wishlist on Xbox GamePass, Xbox Series X|S, PC or PlayStation 5.
Announcing DOOM: The Dark Ages, the prequel to the critically acclaimed DOOM (2016) and DOOM Eternal and the third installment of the modern DOOM series. Developed by…
Announcing DOOM: The Dark Ages, the prequel to the critically acclaimed DOOM (2016) and DOOM Eternal and the third installment of the modern DOOM series. Developed by…
🔥3💩2👍1