#rust #meme

Source

#rustforlinux

Дальнейшие события:

Линус 19 февраля в треде с обсуждением политики ядра насчёт кода на Rust ответил на комментарий Кристофа и указал на неадекватное поведение:

I find it distressing that you are complaining about new users of your code, and then you keep bringing up these kinds of complete garbage arguments.

<...>

So this email is not about some "Rust policy". This email is about a much bigger issue: as a maintainer you are in charge of your code, sure - but you are not in charge of who uses the end result and how.

<...>

You can't have it both ways. You can't say "I want to have nothing to do with Rust", and then in the very next sentence say "And that means that the Rust code that I will ignore cannot use the C interfaces I maintain".

<...>

But that "wall of protection" basically goes both ways. If you don't want to deal with the Rust code, you get no *say* on the Rust code.

Put another way: the "nobody is forced to deal with Rust" does not imply "everybody is allowed to veto any Rust code".

See?

24 февраля Andreas Hindborg послал серию патчей, которые добавляли Rust-интерфейс для configfs. В числе получателей был указан и Кристоф Хэллвиг, который поддерживает в том числе и эту подсистему.

Ответа от него в этом треде не было: в тот же день он удалил себя из списка сопровождающих dma-mapping и configfs. При этом совсем из разработки ядра он не уходит: он всё ещё остаётся сопровождающим нескольких других подсистем.

Детский сад, ей-богу.

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

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, разумеется, стырен