На днях 150 топовых математиков опубликовали Лейденскую декларацию, протестующую против маркетинговой практики техногигантов рассказывать сказки о том, как AI успешно решает сложные математические задачи без профессиональных консультаций с академическим сообществом и его оценок.

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

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

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

Гарри Поттер и Методы Математического Мышления

Книга 1. Гарри Поттер и Неорганический Интеллект.

Глава 11. Контракт с реальностью

— Хорошо, — сказала Гермиона, поднимая голову. — Допустим. Как это применить к реальной магии? У нас нет λ-исчисления в чистом виде. У нас есть палочка, намерение и примитивы: человек, свет, тьма, замок, объект...

Драко взял мел и написал на доске:
S (S (K (S (K S) K)) (S (K (S (K (S K)) K)) I)) (S (K (S (K S) K)) (S (K (S (K S)) I)))
Гарри присвистнул.
— Это работает, — сказал он, изучая строку...

Это безумие, — сказал Невилл. — Нельзя в бою конструировать заклинания с нуля...

...Неорганические не поймут. У них нет тела, нет интуиции, нет чувства эквивалентности. Они видят только последовательности символов. А мы строим структуру.

.

Облако драгоценностей за неделю.

Приватный клуб.

Почему топовый консультант из экс-архитекторов FAANF не рекомендует своим клиентам переходить на PostgreSQL, да и вообще мигрировать на что-то "новенькое".

Для донов-начинающих:

База по карьере, серия 28.
...Однако в какой-то момент ваши положительные впечатления от текущей ситуации могут легко испортиться. И когда это произойдёт, вам придётся вернуться в режим анализа и выяснить, что именно, в частности, вызывает беспокойство.

Какая твоя самая большая слабость?
Этот вопрос на собеседовании часто вселяет страх и ужас в сердца кандидатов на работу: что, если они спросят о моей самой большой слабости?! Что я скажу? Надо ли будет врать? ЧТО мне ДЕЛАТЬ???
Это однозначно один из самых глупых вопросов на собеседованиях, и именно поэтому кадровики так любят его задавать :)
Дело в том, что он выводит вас из себя и заставляет делать одну из трех ошибочных вещей...

Для донов-неначинающих:

Самая лучшая техническая база в System Design не сильно поможет, если вы пропустите первый шаг...

92. Функциональная архитектура - что это?
Давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?..

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

null

(играл в готику немного отвлёкся на геймдев :) вывод за всю мою карьеру на тысячах часов впустую потраченного времени с универсальными движками/мейкерами остаётся прежним: хочешь сделать что-то хорошо, пили под нишу/жанр свой движок с околонуля, максимально комфортный под себя)

=

"Функциональные архитектуры" 121(+3) топик

Продолжаю разбор мета-спецификаций, на DSL с какой структурой и семантикой продуктивнее всего делать спеки для AI, и почему тут крайне слабо работают Gherkin, DDD и skills/agent md.

=

"ЛаМПовое":

Дзен и искусство ухода за Arch Linux (10)
...Однако оставляя консольный доступ, вы создаёте обходной путь мимо вашей строгой SSH-политики (ключи + IP). Если этот путь защищён слабо, все ваши усилия по SSH теряют смысл.

"Гарри Поттер и Методы Математического Мышления".
Глава 11. Контракт с реальностью

=

Лаборатория идёт со скоростью самых лучших ментатов 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)

=

- Эти ментаты, скажу я тебе, - фыркнула Марти. - Цена им десять центов за дюжину, вот что!
"Капитул Дюны"

Западная профессиональная финансовая пресса почти единодушно предсказывает взрыв пузыря искусственного интеллекта в ближайшем будущем, но мнения о его долгосрочных последствиях расходятся. От "мировой крах всё пропало" до "останется много полезняшек", как собственно после краха пузыря доткомов осталось мощная оптоволоконная инфраструктура.

Тем временем в программной инженерии накопилась обширная статистика, показывающая, что искусственный интеллект не только (и не столько) создаёт новые проблемы, сколько усугубляет те, которые уже давно существуют. Если в проекте был бардак, то внедрением AI он станет лишь сильно хуже :)

"В их алгоритмах правды на один из ста
Слежу за ловкостью рук, моя работа проста" (с)

Фишка от мудрецов: Как же в 2026-м резко повысить продуктивность твоей команды?

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

Сто лет звал Ной к себе людей, а пришли одни скоты.
Прп. Нектарий Оптинский

Просили пояснить за инди-хакерство: а какой "saas" делать-то?
Хорошо, дам несколько идей.

Сейчас например тысячи онлайн-сервисов, обучающих работе с AI, в самых разных областях. Я рекомендую конкретно что-то в духе "как в ваш говнопроэкт срочно впендюрить аишку и получить x10...x100", но в целом область может быть любой, в которой вы условный эксперт. Например "как математичке выйти на содержание 500 тыс/мес за 23 дня" :)

Сермяга в том что 98.98% всех этих сервисов неотличимы друг от друга даже по своим силлабусам: одни и те же приёмы, одни и те же переработанные промпты, одна и та же унылая реклама "10 инструментов ИИ, которые изменят твою жизнь".

Вашим уникальным конкурентным предложением должен быть не доступ к секретным технологиям, которыми владеете только вы (так то, если человек рассказывает, что учит подобному силовиков, это пizдобол 100%:),

вашим уникальным преимуществом должна стать фильтрация.

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

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

Ты реально понимаешь, в чём на самом деле заключаются трудности для твоих пользователей, не обладающих техническими знаниями (или обладающих, но не самыми современными и продвинутыми). Это и есть хороший экспертный вкус.

"Я считаю, что не надо роптать, потому что давайте поставим на чашу весов: ты не смог зайти в интернет или спасенные жизни людей."

Ну вот лично мне жизненно важно другое (или я чем-то хуже "других", что на мою жизнь можно наплевать?): ежемесячно покупать дорогие лекарства и дорогие медицинские процедуры и консультации, вот это для меня абсолютная тема безопасности, и если я не смогу зайти в интернет, то не заработаю деньги (или например не смогу оплатить онлайн) и быстро умру, буквально. Вот это будет в таком случае точно 100%.

Впрочем, это я просто к слову; никаких улучшений давно уже не жду, совсем, на этой жизни точно, и дальше - судя по всему, на десятилетия - будет только хуже.

А выборы? Да вообще пофиг, абсолютно, за кого там голосовать. Во-первых, это математический факт, что конкретно твой голос никак не повлияет на результат. Во-вторых, ну когда взрослые люди с серьёзным видом ставят галочки в списках... детский сад какой-то.

Поэтому, дорогие, упражнения с гирями и аэробная выносливость, суставная гимнастика и закаливание, осознанность и дыхательные практики -- это всё должна быть базовая подготовка к растущей жизненной турбулентности.

Хотя первична, конечно же, Душа. Не "я тело, у меня есть душа", а "я душа, у меня есть тело".

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

Между врачами и менторами есть интересная аналогия.

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

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

Точно так же когда приходишь такой к ментору с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, посоветуют волшебные курсы и гайды, ты их пройдёшь и после этого сразу тебя засыплют оферами на 300k, стоит тебе просто выложить резюме на хх без малейших усилий, и карьера сразу наладится сама собой!

А когда ментор начинает говорить про важность базовых знаний и АСД, про глубокое понимание своего стека и новое множество скилов в контексте AI, а также необходимость длительной работы над процессом поиска более-менее нормальной работы, у менти возникает сильное раздражение :)

Наш учебный сервер хостится у одного из крупнейших российских провайдеров (десятки тысяч сайтов), и где-то с мая впервые за 20 лет начались регулярные сбои доступа к нему. Протестировал, собрал статистику, отправил хостеру, вот его ответ:

На основе предоставленной информации и анализе работы сервера можем отметить, что проблема с доступностью сайта вызвана скорее всего блокировками на стороне РКН и работой ТСПУ. Эта проблема сейчас носит массовый характер.
Подробней об этом Вы можете прочитать, например, на странице:

К сожалению, напрямую повлиять на решение этой проблемы мы не можем. В данном случае необходимо ждать, когда будет налажена работа ТСПУ.

А она разве будет когда-нибудь налажена? Уверен на 98%, что дальше будет только хуже.

Смотрю, мало того что русские хостинги с десятками тысяч сайтов стали работать с постоянными сбоями, так сегодня ещё и гитхаб raw тоже стал сбоить.

Посмотрю, может учебный сервер переведу на http :)

Так понимаю, ТСПУ просто протухают под нагрузкой и тупо шлют RST пакеты, и надо ждать сколько-то минут, пока их кэш сбросится, а нешифрованный трафик РКН как правило не трогает.

=

Сегодня в 12:00 13:30 напомню, стрим
Когда Spec-Driven Development хуже вайб-кодинга? Иван Закутный и Родион Мостовой

Всем быть 🤓

Нужна ли программисту математика?
 
Ну, попробуйте написать код на 20-30 строк, не зная арифметику :)
В частности, арифметику булевого типа.
 
Для миддлов сеньоров будет странно, если они например не знают арифметику функций или множеств. В таком случае это будут просто технически хорошо прокаченные джуны, и не более :)
 
Кто говорит, что "программисту математика не нужна", сам не владеет базовой математической логикой (что естественное следствие такой посылки :), потому что очевидно, что есть разница между
"все программисты могут извлечь выгоду из изучения математики" и
"все программисты должны изучать математику".
 
Совершенно точно, каждому сеньору можно подобрать по крайней мере одну область математики, изучение которой принесёт ему пользу в контексте его прямой работы (теория типов, например).
 
Другое дело, что если собрать 100 случайных программистов и заставить их изучать матан, вряд ли он будет полезен более чем 2-3%. Однако если их обучать регуляркам (алгебра Клини), то это будет полезно, ну, минимум 50%. И т.д.
 
=
 
Я в этом плане принудительно экспериментирую над ментатами :) например через теорию типов до HoTT, и пока отзывы были очень положительные, хотя в целом результат выражается в первую очередь в мощной думательной тайп-машинке, что по критерию объективной пользы измеряется довольно слабо.
 
Поэтому думаю, на чём сделать акцент дальше именно в плане чистой математики (так-то прикладные формальные темки разбираем на Функциональных архитектурах), но с потенциальной привязкой к AI.
 
Примерных  направлений тут два: во-первых, теория категорий - суперпрокачка в свёртке и декомпозиции сложнейших понятий, хотя возможно чрезмерно абстрактная (а может быть это как раз и хорошо).
 
и во-вторых, теория моделей (FOL, логика предикатов). Описываем свой домен формально - как класс моделей (семантика), после чего пытаемся определить, а какая теория у этого класса (синтаксис), какие аксиомы, какая алгебра (например, Линденбаума).
 
Проблема что такая теория будет скорее всего неразрешимой, если класс содержит хотя бы арифметику :) Ну и так-то, вычисление теории по классу задачка - о-го-го (множество всех логических следствий из аксиом)...
 
Хотя с другой стороны любой программист этим по сути и занимается, пытаясь фактически реализовать теорию для своего домена говнокодом на коленке :) просто не имея ни малейшего представления о том, что он по сути занимается сложной математической темкой; в этом собственно и прячется сложность, с которой разработчик ведёт постоянную борьбу, и чаще всего безуспешно.
 
...И хорошо бы такую теорию как-то выразить формально, SAT-солвер не потянет (только пропозициональные переменные), SMT? Ну возможно, через DPLL(T)...
 
А если в теорем-пруверах вроде Lean? Тут мы сразу работаем внутри исчисления, а тактики прувера будут исследовать структуру нашей кастомной алгебры, выводя разные следствия. Но это слишком трудоёмко.
 
...В итоге мы попадаем в ту самую область, где именно по этому золотому стандарту и верифицируют чипы, и софт для критических инфраструктур :)
 
Да, но ведь любой математик скажет, что FOL захлебнётся в кванторах уже на сотне сущностей, а как тогда формально верифицируют чипы на тысячи регистров, софт с тысячами классов?
 
(продолжение будет для ментатов на Функциональных архитектурах, остальные могут проконсультироваться у ЖПТ :)