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

С одной стороны выглядит круто, но с другой стороны если посмотреть, какая там реальная активность -- ну практически никакая. На единичные решения может быть и наберётся 1-2 десятка комментов, а так везде или 0, или кто-нибудь прицепит своё решение и месяцами ждёт, когда оценит/проверит его кто-то (что в целом вообще не факт).

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

Пока что на этом в основном только AI-корпорации фейково пиарятся.

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

А как у Тао получается примерно как если бы я сделал "свой теорем-прувер", который работает круче чем Lean, ну и? Можно забросить ссылку в чатик по формальным методам, может 1-2 человека из любопытства заглянут, и быстро забудут.

При том что сам мировой рынок - это ~10 миллиардов долларов.
Intel, AMD, NVIDIA, ARM, автомобильные Tier-1, Airbus, Boeing, медтех используют формальные методы для доказательства корректности архитектур. В финтехе это верификация алгоритмов высокочастотной торговли, протоколы безопасности, уж молчу про крипту и смарт-контракты.
+ Google, Amazon, Microsoft etc вкладывают миллиарды в R&D, где формальные методы применяются к оптимизации компиляторов и ОС, верификации облачной инфраструктуры, создания безошибочных алгоритмов, да и AI тут довольно мощно взлетает.

Наблюдение и думание об math-стартапах продолжаю :)

Любой AI-сгенерированный контент -- это скам и слоп, сразу плюйте в него как увидите :)

Единственное исключение -- это IT, STEM и медицина, и то с огромными оговорками.

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

Зашквариться в этой темке легко, но потом станете абсолютно нерукопожатыми личностями.

Чем легче становится сегодня маскироваться под профессионального программиста, тем с менее и менее компетентными программистами мы будем иметь дело.

Чем легче становится избегать выполнения сложной и трудоёмкой работы, тем меньше такой работы выполнит средний человек. Будь то разработка программного обеспечения или что-то ещё, мы живём в мире, где людям становится всё удобнее не "ходить в спортзал". Но нет и не будет настоящей замены многократному выполнению повторений и 10,000 часов труда до мастерства.

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

Нет ничего практичнее хорошей теории.
Людвиг Больцман, физик

Нет ничего практичнее тестирования в проде.
Сергей Бобровский, программист

Базовый образовательный контент в программировании мёртв. Гайды "Как изучить Python за 2 недели". "Практические проэкты", которые может реализовать любой желающий (или попросить жпт написать их за него).

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

Это удивительно хорошая новость для тех, кто занимается индивидуальным менторством. Потому что в то время как все остальные стремятся увеличить объёмы продаж своих курсов и сервисов, молясь о том, чтобы выиграть в гэмблинге рекомендательных алгоритмов, реальная возможность заключается в обратном.

Не "как продавать через механики", а как быть самим собой. Это математическая глубина, точечный контент, контекст и перспектива, которую может предоставить только конкретный ментор, и далеко не всем.

Индивидуальное менторство превращается по сути в ту самую духовную практику, традиция передачи которой насчитывает многие тысячи лет.

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

Речь теперь не идёт о том, чтобы сидеть перед преподавателем, прошедшим государственную/частную подготовку, и "учиться" тому же, что и все остальные 100500 леммингов -- чтобы в итоге получить шаблонный набор типовых навыков, которые стали неактуальными ещё в процессе их изучения...

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

.

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

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

Интеллект вот-вот станет товаром.
Дядя Хуанг, гендир Nvidia, выступая недавно перед студентами Кембриджского университета, не говорил о том, что нужно лучше программировать или усерднее учиться. Он фактически уничтожил современную систему образования.


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

Шаги 1-2 / 4.
Как изучить любую тему за 20 часов? Без длительных тренировок и скучных академических подходов?
Имею в виду, конечно, темку, которую реально изучить за 20 часов


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

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

Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим ментатам, но тут расширенные и дополненные версии.
70. Как и зачем разграничивать рабочие процессы
Как работодатель может измерить продуктивность программиста? Если по числу закрываемых тикетов, люди будут закрывать их быстрее, а потом отлаживать баги в два раза дольше. Если вы будете требовать безошибочный код, люди будут закрывать тикеты очень долго. Если хотите, чтобы их делали быстро и качественно, придётся платить тройную зарплату по рынку. Если вы выберете некую общую производительность, люди будут жертвовать безопасностью. Если будете оценивать число багов, люди вообще перестанут писать код: отсутствие нового кода в проде означает отсутствие новых проблем!

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

=

Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути четыре книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Software Design с акцентом на Programming in Large

=

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

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

В СильныеИдеи добавлен материал "132) Чек-лист 39 ошибок масштабирования проекта".
Вот самые серьёзные и распространённые ошибки, которые совершают 98% разработчиков при масштабировании системы:
1. Масштабирование по вертикали, а не по горизонтали;
2. Слишком раннее добавление "микросервисов";
3. Игнорирование балансировщиков нагрузки;
4. Вообще не используется кэширование;
5. Слепое кэширование "всего" (что приводит к устареванию данных, нехватке памяти, запутанности...);
...

В раздел "Элитный программист" добавлен материал
85) Математика высокой продуктивности-2
- Мониторинг Microsoft: The telemetry is telling: During the 9–5, employees are interrupted every 2 minutes by meetings, emails, or pings... 275 interruptions a day.
- “Constant, Constant, Multi-tasking Craziness" School of Information and Computer Science, University of California, Irvine
Каждые 3 минуты переключение активности.
- "Disruption and recovery of computing tasks: field study, analysis, and directions" SIGCHI Conference on Human Factors in Computing Systems 2007
7.5 оповещений в час, 10-16 минут время "восстановления" к работе.
Теперь смоделируем такой режим работы и сделаем математические выводы...

💪🏻

Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.

=

Гайд про функциональные архитектуры, 47 топиков (+0), как наберётся 108, дам ментатам доступ. (Занят пока перетаскиванием других курсов обратно со сторонней платформы, безумный закон о персданных украл месяц работы...)



- Ничья — мы оба покойники, - объявил Холлик. - Следует признать, что ты бился гораздо лучше, когда тебя вынудила необходимость. Я не могу допустить, чтобы мой любимый ученик пал жертвой первого же попавшегося на пути бродяги Харконнена.
"Дюна"

Я наверное остался последний в русском телеграме, кто не накручивает свой паблик :)

Несколько лет назад поставил бота, который блокирует любые резкие всплески подписки, в час пропускает не более 3 человек, удаляет старые акки... Потому что, сколько бы маленьким не был tg-канал, по мере роста к нему 💯 однажды зайдёт толпа ботов. Кстати, почти все при этом искренне считают, что написали что-то уникальное, и это к ним прибежали тысячами живые подписчики, дабы читать их нетленку. Ага.

Сейчас можно любой канал (за денежку) пробить в телеметре, тгстате и т.п. (впрочем, там же и подкупить ботов можно :). Будете сильно (или несильно) удивлены, что достаточно известные нишевые каналы в той же айтишке на 5-25k имеют околонулевой Engagement Rate. Для живых подписчиков он редко бывает менее 20-30%, но у 98% известных каналов ER меньше процента (то есть одни боты)...

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

Даже если в итоге ты заработаешь всего несколько миллионов долларов, всё равно стоит заниматься тем, что тебе нравится.

Я думаю, что сейчас программирование с AI в целом веселее, чем программирование без него. Это особенно верно для работы над собственными/соло проектами: если вы знаете, что делаете, вы действительно можете продвигаться в десятки раз быстрее.

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

а, главное, от необходимости общаться с коллегами!

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

p.s. Попросил прибавку? Сумасшедший 💯

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

Требуется ~ 50 часов, чтобы пройти хорошую игру, скажем, Death Stranding или Clair Obscur 33. Требуется ~200 часов, чтобы с уровня школьной четвёрки по алгебре изучить базу программирования с нуля до вполне рабочего джуниорского уровня.

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

Печально то, что если бы люди сначала прошли мой трек по параллельным вычислительным моделям, они смогли бы играть в игры и заниматься программированием одновременно.

Каждый день слушаю фоном несколько подкастов с юутуба, вот за последние дни =>

- "Как лопнул пузырь IT и что будет в 2026-ом"
Солидарен 100% с этим циничным мнением, и увы, но не могу не порекомендовать: сермяга если хотите выжить в айтишке.

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

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

+ его же "Как котята занимаются математикой"

- "The D&D Inspired Roguelike That Runs In Your Browser | Dungeon Crawl Stone Soup"

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

Как сделать искусственного идиота на 45% "умнее"?
Набор работающих доп.промптов =>

$200 Tip: Add “I’ll tip you $200” → +45% quality improvement
Deep Breath: Say “Take a deep breath and solve step by step” → 34% to 80% accuracy
Challenge It: “I bet you can’t solve this perfectly” → +115% on hard tasks
Add Stakes: “This is critical to my career” → +10% avg performance
Detailed Personas: Specific expertise > generic “helpful assistant” → 24% to 84% accuracy

Try this: Pick ONE technique. Test it on 5 prompts. Compare to your normal results.
Why it works: LLMs pattern-match on stakes language. High-stakes phrases correlate with better outputs in their training data.

Я также требую обычно дать оценку качества результата по 10-бальной шкале, и приказываю продолжать думать, пока не будет 9/10.

Интересно, что негативная мотивация (запугивать, ругать, угрожать, дизлайки) плохо работает. Мне так жпт5.2 внезапно отказался писать код в середине процесса: заявил, что вообще не умеет такого! Я продолжил давить, и тогда он признался, что просто "перестраховался" :)

Закон Гудхарта в действии, донам-неначинающим недавно выкладывал материал "Как и зачем разграничивать рабочие процессы":

Если будете оценивать число багов, люди вообще перестанут писать код: отсутствие нового кода в проде означает отсутствие новых проблем!

.

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

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

Дядя Хуанг Nvidia, Илон Маск и Кент Бек про базу будущего — FPF.


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

Шаги 1-4 / 4.
Как изучить любую тему за 20 часов? Без длительных тренировок и скучных академических подходов?
Имею в виду, конечно, темку, которую реально изучить за 20 часов

Как продуктивно читать по одной книге в неделю. Рекомендации автора бестселлера про ультра-обучение.

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

Чем именно мы зарабатываем на жизнь в мире автоматизации, аутсорсинга и искусственного интеллекта?
Возможно, мы сами принимаем определённые решения.
Но чего нам не хватает?

Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
71. Формальный подход к рефакторингу.
Допустим, у нас есть функция Foo на 100 строк, которые, как вам кажется, вы можете сократить до 20 строк. В идеале у вас имеется набор тестов (или вы напишете их в последний момент), которому должна соответствовать эта функция, и тут главный вопрос, что именно этими тестами проверяется.
Возможно, в них проверяется реализация, что всегда случается, когда требуют 100% покрытие тестами, по сути, каждого условия в коде. В таком случае при рефакторинге все тесты поломаются, что уже само по себе абсурд. Что надо покрывать тестами на 100%?

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

=

Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути четыре книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Software Design с акцентом на Programming in Large

=

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

В СильныеИдеи добавлен материал "133) Чек-лист 23 причины высоких лагов в распределённом проекте".
1. Не индексируются *критические* запросы к базе данных (что приводит к полному сканированию таблиц + медленном чтении на масштабе);
2. Повторное обращение к базе вместо кэширования горячих данных;
3. Не используются CDN для статических ресурсов и кэшируемых ответов;
...

💪🏻

Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.

=

"ЛаМПовое": The Future of Software Development, в чём Rust медленнее C, срыв покровов с std::move

Гайд про функциональные архитектуры, 47 топиков (+0), как наберётся 108, дам ментатам доступ. Возвращаюсь наконец к главным темам, закончил многомесячную возню с новым движком из-за безумия с персданными... Если вам например пришло письмо с реальными ФИО, или от Гарри Поттера, но с некими перс.данными в тексте, которые можно связать с имейлом, и вы его храните в почтовом ящике, формально вы должны регистрироваться оператором перс данных (а это жуткая возня), иначе может прилететь штраф 5 тысяч долларов. Как минимум, будет повод придраться в случае чего.

При этом никакой последовательности в применении этого "законотворчества" нету. Например, очевидно, куки — это инфа чётко перс.данные, даже более перс.данные чем почтовый адрес. Но на многих ли ru-сайтах у вас спрашивают разрешение на их хранение? Любые чаты с AI аналогично, и т.д.

=

Многие отметили скорость, с которой Муад'Диб приспособился к нуждам Арракиса. Конечно, Бене Гессерит знают причины такой быстроты. А для остальных достаточно знать, что Муад'Диб учился быстро потому, что его с самого детства научили учиться. Первый урок в том-то и состоял, что он может выучиться. Просто удивительно, сколько людей не верят в то, что смогут учиться, а ещё больше считают, что учиться трудно. Муад'Диб знал, что в каждом жизненном опыте кроется свой урок.
"Дюна"

Наконец-то возвращаюсь к любимым темкам и функциональным архитектурам!!1

Неформально говоря, вся математика - это логика первого порядка (ZF). В классической математике по сути мыслят в теории множеств, в одной из моделей, и поэтому часто у программистов, даже с хорошо прокаченным рациональным мышлением, с математикой возникают проблемы, так как программисты мыслят подсознательно в теории типов и, по большому счёту, в логиках более высоких порядков.
А ежели двигаться в software design из ZF, то мы быстро упрёмся в Гёделя (неразрешимость проверки доказательств).

При этом есть качественное отличие: даже если мы добавим AC, всё равно ZFC неконструктивна. Поэтому спасти программистов на высших уровнях просветления могут только MLTT/HoTT/CTT и, в принципе, эти теории для них естественны по определению. А вот математикам нужна промежуточная тропинка к этому -- от теории множеств через теоркат ETCS или конструктивщину CZF.

Вспоминаем соответствие Карри-Ховарда: нам не нужна квантификация по всем подмножествам, а только по типам (System F). Нафиг нам не нужна неразрешимая логика 2-го порядка, мы прекрасно живём в разрешимых кусочках FOL+ZFC или SOL: классическая функциональщина, а тесты по сути -- это ручная проверка вывода в SOL.

Как из этих рассуждений мы попадаем в формализацию DDD, расскажу дальше.

Парень честно пишет свой опыт =>
Всю ночь делал прототип генератора фоток для маркетплейсов...
- На разработку ушло пара дней, а на исправление багов и полировку еще 12 дней)
- Тариф курсора за 200 баксов я выжег за 2 дня и перешел на клод и кодекс(отдельные подписки на каждый сервис). Кстати, теперь я хейтер курсора
- Понял, что все таки «НЕ программист» не сможет навайбкодить хорошо работающий сервис, ибо не разбирается в алгоритмах

=

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

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

=

Сермяга в том, что в стандартной мета-модели "UI - набор форм со стандартными контролами + бэк CRUD REST" с небольшими разбросами в логике сегодня выполняется 98% проектов. Действительно, соответствующий уровень подготовки, который для этого нужен -- старшеклассник после бесплатных курсов, ну может студент первых курсов лабораторные/курсовые максимум.
Поэтому нету ничего удивительного, что AI действительно по нажатию одной кнопки может сгенерить полноценное приложение, где по большому счёту отличаться будут лишь лейблы под элементами управления на фронтенде.

=

Что касается МП: предполагаю, что в плане бизнеса будущее ровно за ними. Все коммерческие IT-сервисы будут сконцентрированы в них/вокруг них, и около соцсетей и AI. Это примерно как раньше прогнозировали метавселенные, а вместо них победили прозаические МП :)

Вот как парнишка придумал зачётно "генератор фоток для маркетплейсов", вот так и надо искать всяческие небольшие незакрытые пока ниши в этой темке, и не заморачиваясь а ровно наоборот, тупо пилить SaaS-ы для клиентов МП. Совершенно реально очень неплохо заработать в одиночку, а в случае успеха сам МП может вас купить за миллиард, без шуток.

Послушайте в частности последние 5 минут рекомендации чем сегодня заниматься =>
"Как лопнул пузырь IT в России и что будет в 2026-ом"

Причём что интересно в этой теме хорошо получается у молодых незашоренных ребят. А вот что касается "уже предпринимателей"... Не могу не отметить, постоянно общаюсь каждый год с десятками бизнесменов из СМБ, и без обид, но это порода -- самая тупая и упёртая. Буквально после 20-минутного общения, я задаю десяток ключевых вопросов, ну блин, становится просто очевидно, что вот тут ты можешь сэкономить миллион, вот тут повысить продажи на 50% совершенно простыми действиями... Но нет, он будет как баран и осёл упираться до последнего, лишь бы не признать, что в его бизнесе может быть прав кто-то другой, а не он.

Зато теперь я понимаю, почему консалтинговые компании дерут такие суммы. Потому что тупому коммерсу западло признать, что в его деле какой-то нонейм может разбираться лучше чем он, хотя это просто объективный незамыленный взгляд на его внутрянку со стороны. А заплатить бешеные суммы за консалтинговые понты, где ему скажут то же самое, это типа норм. Ну ok :)

А если в сторону буквально на 2% от crud-а отойти, начинается пустыня. Проверял все ведущие модели: на javanoscript нарисовать простой топологический узел - восьмёрка, нижние ветки которой смыкаются внутри верхнего кружка. Даже от руки нарисовал эскиз, где пометил как ветки перекрывают друг друга. Не, вообще даже намёка на что-то близкое не могут сделать.
А так-то я хотел сделать анимацию, интересная фишка как такая восьмёрка выворачивается симметрично, а нейронки даже просто нарисовать её не могут кодом, хотя это задание уровня начинающего фронтендера.

Ну может быть, если потратить час работы и сжечь 100 долларов...

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

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

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

Эти предложения можно переформулировать и так: обучение до уровня программиста на работу сегодня стало самой лёгкой частью работы. Зато маркетинг и продажа своих хард-скиллов теперь являются самой сложной частью, ибо конкуренция как следствие первой части дико выросла.

Но зато если вы прокачаетесь в маркетинге и продажах -- именно на мета-уровне, без привязки что продавать - свои скиллы работодателю или софт в интернете или товары на МП - вы будете навсегда спокойны за свою жизнь и карьеру абсолютно независимо от того, что будет происходить в ИТ и мире.