Самый большой диван, который можно передвинуть за угол

https://www.quantamagazine.org/the-largest-sofa-you-can-move-around-a-corner-20250214/

Очень прикольная история!
В 1966 году математик Лео Мосер сформулировал задачу “moving sofa”:
Представим себе коридор шириной 1 ед с поворотом на 90° в конце.
Задача - найти максимально большой по площади двумерный диван, который можно продвинуть через угол.

Как оказалось, задача эта ни разу не тривиальная, и на ее решение ушло больше 50 лет.
Даже интереснее: в 1992 другой ученый по фамилии Гервер предложил супер нетривиальную форму дивана (на видео), при которой площадь достигает 2.2195 ед^2.
Но ни он, ни другие математики не могли формально доказать, что эта форма является оптимальной.

Пара интересных моментов:
- По сути, задача сводится к нахождению функции расчета площади произвольной двумерной фигуры.
Вот только в общем случае она не решается!
Простой пример: сравните формулу расчета площади круга и треугольника - ничего общего.

- Форма дивана Гервера состоит из 18 элементов сложной формы, и ее площадь не описывается ни в каких известных величинах (π и прочих).
Но, тем не менее, она является оптимальным решением задачи “двигающегося дивана”.

И вот в декабре 2024 молодой корейский математик Jineon Baek представил свое доказательство оптимальности дивана Гервера.
Он представил все допустимые варианты формы дивана в качестве точек бесконечно-мерного пространства, и создал такую фукнцию Q, которая удовлетворяла нескольким условиям:

- Для произвольной точки в пространстве диванов Q выдает значение, больше или равное площади дивана такой формы.
- Для точки, соответсвтующей дивану Гервера, значение Q = фактической площади дивана.
- Функция “ведет себя” похоже на параболу

Дальше ему оставалось доказать, что функция достигает максимума как раз в точке Q - тогда диван Гервера будет оптимальным решением задачи о перетаскивании дивана. Что он и сделал в своей 119-ти страничной работе.

Кстати, Герверу сейчас 75 и, с его слов, ему “повезло дожить до момента”, когда его решение наконец обосновали. Мощно!

Красивый и немного безумный мир математических задач, сформулировать которые может даже ребенок, а вот решать некоторые из них 30 лет, а потом еще 30 лет доказывать оптимальность решения)

#meme про девушек-программистов

Там целый канал подобных скриншотов

#psy #meme про нормальных

В CRI API есть метод GetContainerEvents, который возвращает стрим событий о контейнерах: создание, старт, остановка и удаление. Вопрос: почему у клиента напрочь отсутствует возможность задать при вызове фильтр, из-за чего фильтрацию по типам событий, меткам и прочему нужно выполнять клиенту, а контейнер-рантайму гонять лишние данные по сети? У ListContainers при этом задать фильтр при запросе можно.

#prog #бомбёжкипост

#prog #rust #article

Tokio + prctl = nasty bug

История дебага крайне странного бага, который сложился из двух дизайн-решений в HyperQueue и одного в tokio, каждое из которых по отдельности смотрится нормально (а ещё, на мой взгляд, из не очень полезного поведения линуксового API).

В СМЫСЛЕ УЖЕ МАРТ

#prog #rust #article

Rust Deep Dive: Borked Vtables and Barking Cats

Или о преступлениях по подмене таблиц виртуальных функций (miri не рад)

Наверное это самая продвинутая симуляция биологии что я видел на ютубе за всю его жизнь. Уже представляю что если к этому подключить эволюцию, то будут невероятные результаты.

Если кратко то в видео ТехноШаман сделал симуляцию развития организма из одной клетки с использованием белков/ферментов с определёнными алгоритмами действий. В отличие от императивной программы сборки существа такая комбинация способна к эволюции, как минимум потому что так это устроено в реальных живых существах. И мутация одного белка не ломает всю программу, а может вносить какое-то интересное изменение, или ломать/менять лишь одну часть тела. Или может вообще ничего не вносить, потому что в организме могут быть защитные механизмы.

В видео пока что весь геном программируется руками, эволюции ещё нет. И это правильно, потому что если ты руками не можешь что-то сделать, то вряд ли твоя симуляция эволюции сможет это изобрести вместо тебя. Пока таких open-ended симуляций ещё не придумали.

Щас смотрю лекции по эволюции от Маркова на ютубе, и как я понимаю, это видео очень вдохновлено этими лекциями)

https://youtu.be/1xo3Vbew59w

#prog (#bio?) #video

Особенно удивляет, как, с одной стороны, нужно много вариантов генов и ингибиторов генов для того, чтобы добиться устойчивого организма с оболочкой и регенерацией, а с другой стороны — как это поведение строится из довольно простых элементарных взаимодействий

#meme, разумеется, стырен

Когда кто-то мне в следующий раз скажет, что Джаваскрипт это нормальный язык и его незашкварно использовать в 2025 году, я покажу им это.

С другой стороны, его уже заревёрсили и можно даже самому расковырять свой в UEFI и посмотреть, что внутри.

Пользуясь случаем, выражаю респект железячникам - доводилось ковырять зашифрованную прошивку, это было что-то

Ставьте лайки на этот пост

Не ставьте лайки на этот пост