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

Удельное количество использованных токенов на одну созданную/изменённую строку кода.

Вопрос только в том, считать ли его высокое значение хорошим или плохим? :)

В любом случае, если вы не платите за токены LLM, вы не сможете победить.

Филдсовский лауреат Теренс Тао ведёт на гитхабе страничку, где собраны многие сотни актуальных математических проблем (в основном из базы Эрдёша), которые пытаются решить с помощью 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-корпораций бюджеты в триллионы долларов, продавить такое законодательно вполне реально.