Boris Burkov

КРАЖА НАВЬЕ - СТОКСА

Похоже, на 2 решенные проблемы тысячелетия у нас пока 2 кражи приоритета.

В первый раз приоритет у Григория Перельмана пытался украсть Яу Шинтан. Яу Шинтан был видным математиком в 1980-ые, а к концу 1990-ых стал большим администратором науки в Китае. Чтобы утвердиться в статусе Главгеометра всея Поднебесной в конкуренции со своими же бывшими учениками за китайские академические административные посты, ему требовались новые горячие научные результаты. Видимо, так он пришел к стратегии начать "брить" российских математиков руками своих новых учеников.

Яу отличался способностью писать очень человекочитаемые тексты (в нищей китайской юности он зарабатывал на жизнь репетиторством, а его лекции славятся большой понятностью) и руками своих миньонов начал переводить хайповые результаты с крайне тяжелого языка советской математической традиции на гораздо более читаемый американский английский. И все бы ничего, но при этом стал претендовать на научную новизну и соавторство в результатах.

За несколько лет до ситуации с Перельманом аналогичным образом его ученики "перевели" работы Александра Гивенталя, попутно заявив претензии на участие в авторстве открытия. В той ситуации за Гивенталя вступился Владимир Арнольд и НЕ вступился из политических соображений Сергей Петрович Новиков, хотя должен был (сделай он это тогда, велика вероятность, что и ситуация с Перельманом бы не возникла). Насколько понимаю, подобная же история произошла с Перельманом, который написал свои статьи традиционно тяжелым советским математическим языком, ученики Яу объявили, что нескольким шагам в структуре доказательства недостает строгости, расписали их поподробнее и поаккуратнее и на основании этого стали претендовать на соавторство, прикрываемые административным весом своего шефа.

В случае с OpenAI, как я понял, около года математики Тристан Бакмастер из академии и Левент Альпёге из Anthropic работали с помощью нейросетей над программой исследования Навье - Стокса, сформулированной Луисом Мартинесом-Зороа и Диего Кордоба, и в середине августа поняли, что они для подмножества задачи нашли контрпример. В этот момент в сообществе пошли слухи, что результат близко, и к Тристану и Левенту начали обращаться желающие приобщиться к их успеху. Люди из OpenAI в этот момент, видимо, подглядели в их промпты на своих серверах (значительная часть исследований велась через Codex), ввалили в задачу кучу вычислительных ресурсов и натравили на нее внутренние модели, гораздо более мощные, чем публичная Astra, и доказали на основе их частного случая более общий случай. А потом пришли к Бакмастеру с джентльменским предложеннием: "Будешь в групповушку: ты, я и твоя жена? Нет? Тебя вычеркиваем". Сотрудник OpenAI предложил Бакмастеру выкинуть из соавторов Альпеге как сотрудника конкурирующей Anthropic; получив решительный отказ, он отправился к Альпеге, предложив тому выкинуть из соавторов Бакмастера. В ходе переписки пошли завуалированные угрозы выкинуть обоих. Бакмастер и Альпеге, вычитывавшие и выправлявшие в это время свой манускрипт, вынуждены были молча дописать его тяп-ляп и опубликовать, чтобы не потерять приоритет открытия. И тут же вышли красочные презентации от OpenAI с самопиаром.

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

ЭСКАЛАЦИЯ

Новости последней недели заставляют думать, что вот-вот произойдет новая эскалация.

Факты

• Принятие целого вороха законопроектов про мобилизацию ([1], [2], [3]).
• Приезд директора ЦРУ в Москву и последующий военный совет с Хегсеттом и Трампом немедленно по возвращении.
• Необъявленные учения НАТО с участием новейшего самолета РЭБ под Калининградом ([1], [2]). Встречные необъявленные учения с “Хабаровском” и “Посейдонами”. Резкий рост ставок на столкновение России и НАТО на Polymarket.
• “Жужжалка” УВБ-76 ([1], [2]).
• Штатные плохие бояре в диапазоне от Пескова до Картаполова (и даже экспортный вариант в виде Небензи) дружно заявили, что мобилизации не будет, твердо и четко. Притом, чаще - с хитрыми оговорками, типа, всеобщей не будет (то есть будет частичная?) или интересными вводными предложениями про “И чем больше будет Киев наносить удары по гражданским объектам, тем больше людей придут в наши военкоматы. И быстрее настанет Победа”.
• Обвал IMOEX и рубля, бегство рублевого капитала в Грузию, бьющий рекорды Верхний Ларс.
• Встречи лидеров: Лукашенко в Москве, саммит ШОС с Си в Киргизии.
• Интенсификация артподготовки по Украине, развал логистики в Киеве, блокада Одессы.

Интерпретация

Думаю, приезд Рэтклиффа в РФ имел цель предотвратить неконтролируемую эскалацию до уровня ядерной войны, еще раз подтвердить приверженность использованию каналов экстренной коммуникации разведок для этого и уточнить рамки предстоящей эскалации. Предполагаю, что разведка США заметила многочисленные сигналы, указывающие на подготовку скорой мобилизации в РФ и попыталась уточнить контекст этой мобилизации: подразумевает ли она поход на Киев или удар по восточному флангу НАТО типа Прибалтики. Рэтклифф, являясь шефом ЦРУ, во-многом координирует прокси-войну США против РФ руками 404 и нанесение ударов по РФ “Хламинго”, дронами и т.д.. Стало быть, есть вероятность, что он как всегда привез набор кнутов и пряников - невнятных посулов сотрудничества в случае капитуляции РФ и угроз типа возможного включения Старлинка на территории старой РФ в случае непокорности.

Учения НАТО и РФ перед эскалацией - это традиционное напоминание каждой стороной предполагаемому противнику, что не стоит считать, что вы полностью просчитали все варианты в случае эскалации. Каждая сторона напоминает, что у нее заготовлены тузы в рукаве в виде новых типов вооружений, с которыми противник никогда не сталкивался и не учел их в рассчетах, поэтому нужно бояться неизведанного и не выходить за рамки.

Встречи лидеров вроде срочного приезда Лукашенко в Москву или ожидающейся встречи Си и Путина на саммите ШОС в Бишкеке 31 августа - 1 сентября я интерпретирую так, что в преддверии эскалации те формируют ожидания и сбивают позицию.

В рамках эскалации со стороны США можно ожидать включения Старлинков на части территории старой РФ, ударов по Москве или/и военно-политическому руководству РФ, активации ЦРУ всех имеющихся заготовок террористических операций. Со стороны РФ я ожидаю мобилизации, которая в глазах военно-политического руководства РФ служит для завершающего похода на Киев (как оно будет на деле - покажет время). Все последнее время артподготовка для нее активно ведется, интенсивность ударов по инфраструктуре Украины резко возросла, блокада портов длится уже достаточное время, и РФ отказывается снимать ее даже под дипломатическим нажимом Турции и т.п.. Руководству РФ частично развязывают руки эскалация напряженности между Израилем и Турцией, неспособность США выйти из иранского конфликта с сохранением лица и обострение долгового кризиса во всех странах коллективного Запада.

ДНЕВНИК ЭНТОНИ ФАУЧИ

Цепной главврач Энтони Фаучи вел цифровой дневник на государственном сервере, и поскольку сервер был государственный, то и доступ к дневнику - государственный.

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

"Press conference with Azar – multiple media reporting with several clips of me; Lou Dobbs FOX; Marc Siegal FOX; CBS This Morning;" - January 28, 2020

“Nice Profiles of me in Politico and NY Times today… For better or worse, I am becoming an international celebrity. Calls from all over the world” - March 8, 2020

"Big front page article about me appeared in the Washington Post. Very flattering. The situation with my national and international fame is explosive and really unimaginable. It is not hyperbole to say that today I am the most famous and talked about person in the country and one of the most recognizable person in the world." - March 21, 2020

"WH press conference picked up by many outlets. Many print profiles and features on me. Ridiculous – too numeous [sic] to count! ... Press is going wild with me. - March 22, 2020

"Intense publicity about me continues with stories of grandmothers who have crushes on me. Petitions to vote me 'Sexiest Man Alive.' Major stories about my basketball career at Regis." - April 6, 2020

"She was absolutely fabulous. She embarrassed me somewhat when I sat down in the chair and appeared on the screen through Zoom, she put her hands in front of her mouth and said 'Oh my God. It's Dr. Fauci, he is here.' Then she went on to say that I was her personal hero..." - on meeting with Julia Roberts in Zoom, May 13, 2020

“Major, Major show of support for me for multiple and varied sectors,” he writes. “Most peo[p]le expressing outrage that the trump administration woud [sic] be so bumbling and incompetent to try to discredit the most credible scientist in the world.” - July 13, 2020

Вот что заботило нарциссического ублюдка на пике пандемии.

А мы на Онищенко в свое время грешили...

О 40 ДНЯХ ЗЕЛЕНСКОГО

Статистика говорит, что самым частым сценарием свержения диктаторских/монархических режимов является дворцовый переворот.

Именно этим руководствуются уважаемые партнеры, выбирая цели для deep strike’ов по РФ.

Исходный их план состоял в том, чтобы, нанося удары по НПЗ, увеличить недовольство населения, продемонстрировать слабость и неадекватность властей, обрушить уровень их поддержки ширнармассами, что должно было вылиться в поражение ЕдРа на выборах и послужить сигналом элитам, что король-то голый и надо что-то решать.

Эта затея во-первых провалилась, а во-вторых срикошетила в лучших традициях теоремы Тарана по самим авторам так, что инфляция и доходности по госдолгу в странах OECD улетели в космос, а стареющее население ЕС сейчас сидит без кондеев во время ежегодной “аномальной жары" и ловит инсульты с инфарктами.

Следующим вектором атаки они выбрали Вайлдберриз, которые должны были стать яблоком раздора между его бенефициарами - Антоном Вайно/Алексеем Громовым из АП, Сулейманом Керимовым/братьями Мирзоянами из Russ и Андреем Костиным из ВТБ (злые языки поговаривают, что сама Татьяна Ким на данный момент уже является скорее публичным спикером и операционным директором компании, чем лицом, принимающим стратегические решения).

Данному триумвирату уважаемых людей, приватизировавших прибыли WB, сейчас предстоит решать, в какой пропорции они будут национализировать убытки. Поскольку ситуация угрожает банковскому сектору РФ как минимум по двум направлениям - через ВТБ и WB банк - то было бы логично, чтобы проблема решилась как обычно - убытки национализировало бы население через эмиссию ЦБ ~$10-20B рублями (с сопутствующим ускоренным ростом денежной массы/инфляции) и раздачу их в какой-то пропорции уважаемым людям в формате докапитализации ВТБ и WB банка.

Заметьте, что аналогичных ударов по Озону пока нет, возможно, потому что в этом меньше военно-политической целесообразности. Тот на 32% принадлежит АФК “Системе” Владимира Евтушенкова (у которой, вроде бы, намечались пробемы с рефинансированием долга, который набирал Озон в процессе роста, и в в мае обсуждалась возможность продажи их доли Сберу), на 28% - Baring Vostok’у (если правильно понимаю, эти доли отошли Александру Чачаве, но кто знает, какие там договоренности под столом в т.ч. с уважаемыми западными партнерами) и 40% - free float, который, позодреваю, тоже частично был выкуплен западными инвестфондами.

Вот эти необъяснимые полеты Мосбиржи последних месяцев под дивидендную отсечку Сбера, продажи депозитарных расписок Морганами с околодефолтными дисконтами, о которых мы опять слышим в последние дни, и переписывание долей в компаниях с нерезидентов на резидентов задним числом депозитариями брокеров могут иметь отношение к векторам ударов, поскольку доли Магнита принадлежат ВТБ и партнеру TCG Capital в РФ компании Марафон зятя министра иностранных дел РФ Сергея Лаврова Александра Винокурова, МТС - это АФК “Система” (т.е. по Озону еще может полететь?), а через Новороссийский морской порт, насколько понимаю, ходит казахская нефть.

RUST В LINUX: FLAWLESS VICTORY!

Помните, полтора года назад была битва при dma_alloc_coherent() за то, быть или не быть Расту в ядре линукса, ибо сишные газогенераторы такие газогенераторы и не хотели учиться?

Интрига разрешилась с блеском: теперь вопрос стоит не “будет ли в ядре Раст?”, а “будет ли в ядре С?”. На связи - правая рука Линуса Торвальдса, Грег Кроа-Хартманн:

"A number of years ago, when a friend of mine said, 'Ah, you got to try this new language. It's called Rust.' I was like, 'What? No, C is great.' His friend continued, "'No, no, no! It makes programming fun again.' I'm like, 'Nah, programming is fun in C.' He was right. I should have done it then. Rust is actually fun. It makes programming fun. It takes a lot of stuff away from having to worry about the compiler, which can fix a lot of your problems for you, and it makes code a little bit better."

“New drivers for some subsystems are only going to be accepted in Rust. Look at the graphics subsystem, the most complex drivers out there that it is today; those guys are going to be in Rust only," Binder, the Android IPC mechanism at the heart of billions of devices, now has parallel C and Rust implementations in the kernel. The C version "will go away soon," leaving the Rust version "as the bedrock of all Android devices going forward."

"This experiment is now no longer an experiment. The kernel community maintainers came together last year … and we said the Rust experiment is over. It's real. We're going to accept this thing going forward."

"Here is my statement, totally unscientific. I've seen every CVE the kernel has done in the past 25 years. I think 80% would be gone, just because they would be caught by Rust. Rust will still crash just fine. You can do really foolish things in Rust, but all the tiny, stupid, trivial things Rust will handle for us.”

"We have the guards, the scoped reference counting, to C because Rust showed us we could. We added a lot more memory safety stuff to the kernel and other APIs because we realized Rust showed us we could do that, and we made the C code more reliable and better. So if Rust were to disappear tomorrow, the kernel's better off for it.”

“Rust also gives us the ability to define our in-kernel APIs in ways that make them almost impossible to get wrong when using them. We have way too many difficult/tricky APIs that require way too much maintainer review to 'ensure that you got this right,' that is a combination of both how our APIs have evolved over the years (how many different ways can you use a 'struct cdev' in a safe way?) and how C doesn't allow us to express APIs in a way that makes them easier/safer to use. Forcing maintainers of these APIs to rethink them is a GOOD thing, as it is causing us to clean them up for EVERYONE, C users included already, making Linux better overall.”

Гейм, сет и матч. Можете выкидывать плюсы из всех учебных программ, через 10 лет их место будет рядом с коболом, perl’ом и actionscript’ом.

Остается добавить, что TIOBE index, который я не очень люблю, только что отметил 25-летие, и Rust только что впервые вошел в его top-10 (Python, естественно, первый с колоссальным отрывом).

Rust - новый Python.