У меня с HolyJS уже своя небольшая история — мы как-то приезжали на Холик со стендом нашего сообщества IT-хозяева. Фотопруф как раз прикладываю 🙂

А в этом году у HolyJS, кстати, юбилей — конференции исполняется 10 лет.

Посмотрел программу ближайшего Холика, и там ожидаемо много всего про AI и агентную разработку. Из того, что я себе отметил:

— Доклад Тёмы Сенюкова про то, как выжимать больше из агентов: skills, сабагенты, оркестрация и автономные задачи;

— Игорь Антонов про Spec-Driven Backend с Claude/Codex и OpenSpec. Мне эта тема особенно близка: разработка с агентами всё больше превращается не в «попросить модель написать код», а в нормально выстроенный процесс вокруг неё;

— Марат Зимнуров про TypeScript + AI и то, как заставить модель проверять собственный код через формальные ограничения и runtime verification. Особенно интересно, что там будут реальные метрики по итерациям, токенам, стоимости и корректности.

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

Так что в этот раз тоже планирую следить за Холиком. Ну и 10 лет всё-таки 🙂

И приятный бонус для подписчиков: по промокоду [STRDUB] можно взять Personal-билет со скидкой 15% на сайте конфы.

Если собирались — пользуйтесь.

Подробности и программа уже на сайте.

Нейронный Навье-Стоксгейт: НАКОНЕЦ-ТО РЕАЛЬНЫЙ ПИАР, ЧТОБЫ СОБРАТЬ КЛАССЫ!

Есть такая система уравнений Навье-Стокса, для которой доказательство существования определенного типа решений входит в число семи знаменитых «задач тысячелетия» (за решение которых полагается лям баксов и вечная слава). Не буду делать вид, что я хоть что-то понимаю в этом матане – для истории это не так критично (упомяну только, что сами уравнения описывают поведение жидкости).

Так вот, математики Тристан Бакмастер (похож на нёрднутого Варламова) и Левент Альпёге (этот из Anthropic) уже год работали над этим самым доказательством с помощью не самых популярных идей и с активным использованием AI (одновременно Claude от Антропика и ChatGPT через Codex). И вот в районе третьего сентября в Твиттере появляется слушок, что дескать «Антропик решил Навье-Стокса, скоро будет сенсационная публикация!».

Дальше, как ситуация развивалась со слов Тристана (тут надо понимать, что он может оказаться и ненадежным рассказчиком): он связывается с OpenAI и пишет им «да, мы тут действительно работаем над решением важных задач, которые являются предтечей для доказательства по Навье-Стоксу – скоро опубликуем, как всё подчистим аккуратно».

Через несколько дней OpenAI ему пишет обратно: «Братан, отличная работа, кстати, наша внутренняя новейшая модель как раз вот тоже решила Навье-Стокса…» Причем, оказывается, что использованный ими подход был подозрительно практически идентичен тому, над чем последний год работали Тристан и Левент.

Тристан, понятно, присел на измену и начал им задавать уточняющие вопросы. OpenAI в итоге пришлось признать, что промптить свою модель на «реши Навье-Стокса, make no mistakes» их внутренняя команда начала сразу после того, как до них дошел слух (то есть, буквально несколько дней назад).

Дальше Тристан спросил «слушайте, дак ведь мы всю работу загружали в ваш Codex – у вас там эта новая моделька случайно не тренировалась на пользовательских сессиях?». С тем подтекстом, что она могла просто подсмотреть их подход и «апроприировать» его себе. Но на этот вопрос OpenAI тактично решили не отвечать (сказали только, что уже непосредственно в процессе решения модель не подсматривала в пользовательские чаты).

В какой-то момент Бакмастеру предложили опубликовать решение Навье-Стокса первым как «мясному человеку, ближе всего подобравшемуся к решению проблемы», ну и миллион долларов себе забрать (у OpenAI таких и так полно, инвесторы новые не успевают подтаскивать). Но с одним условием: второго челика из Антропика надо из соавторов убрать – видимо, чтобы вышли красивые заголовки в стиле «именно AGI от OpenAI расколол задачу тысячелетия». А когда Тристан спросил, не охренели ли они, в ответ ему якобы мягко намекнули не портить себе карьеру, и вообще «не хочешь по-хорошему – можно и по-плохому»…

В общем, срач там сейчас только набирает обороты – понять, насколько все заявленные Бакмастером обвинения соответствуют действительности, пока сложновато. Но вот эта история как раз вся насквозь пропитана именно «пиаром ради лайков». Как будто, сами уравнения Навье-Стокса уже и не сильно тут важны – всех волнует только, кто сможет себе присвоить лавры «первого ИИ, решившего Millennium Problem» (так сказать, «Навье-Стоксы ради роста Стонксов», лол).

Но если обвинения в адрес OpenAI хоть немного подтвердятся – это, конечно, будет большой скандал и с точки зрения легализованного «корпоративного шпионажа». Это что же, получается, если вы разрабатываете что-то новаторское и в процессе активно используете ChatGPT – Сэм Альтман может в любой момент скормить ваши наработки своей внутренней нейросети и попросить ее сделать то же самое, только в сто раз быстрее (т.к. лимит компьюта у них немереный)? Зашибись, дайте две.

UPD: OpenAI выложили доказательство! Подробнее в версии статьи на Хабре: https://habr.com/ru/articles/1079940/

Меня уволили из Plata за Reels в инстаграме.

📅 Как это было
5 августа — выложил Reels-сравнение Banco Plata и T-Bank. Первые просмотры, первые подписчики.
6 августа — Олег Т. репостит его к себе в сторис с комментом о том, что свобода — это важно. Новый виток раскрутки рилса.
7 августа — «встреча» с одним из топов и HR. Три претензии:
Сделал сайт с формой для сбора тг-ников тех, кто хочет в Plata. Идея простая: компании — горячие лиды, мне — бонус как за рефералку. Оказалось, так нельзя. Удалил в тот же день, вопрос закрыт.
Манера общения в интернете. Да, я могу полить говном тех, кто поливает меня в комментах. Это мой стиль, притворяться лавандовым рафом не буду. Тут не сошлись.
Сливаешь внутренние данные. Не сливал и не собирался. Но с порога переговорки летели только обвинения — на контакт никто идти не пытался.
8 августа — выкладываю ещё два видео: этапы отбора в Plata (публичная инфа) и Мск vs Мехико.
13 августа — в обед прилетает встреча на 18:00. По участникам всё понятно. 18:03 — уволен за косяки в работе за публичную деятельность по решению топ-менеджмента. 18:10 — забрали ноутбук.
15 августа — улетаю в Стамбул делать ВНЖ Мексики (билеты были куплены заранее).

Лид после увольнения сказал мне примерно так:
Очень расстроен — у нас с тобой были огромные планы, и ты отлично справлялся.
То есть уволили не за работу. Компания просто испугалась микроблога, который не может контролировать.

💭 Зла не держу и благодарен каждому, с кем работал в Plata. Не понимаю только двуличность в компании, с одной стороны Олег Т. про свободу слова, с другой — увольняют человека, который ничего плохого и не сказал. У него просто появился голос.

🚀 Что дальше — и что будет здесь
— Я по-прежнему ахуенный специалист и уже несколько компаний вышли на меня, активно общаемся. Возможно, встретимся в новой стране (лучше, чем Мексика).
— Делаю курс для вас: как попасть в IT, стать продактом и пройти все интервью — качественно и на своём опыте.
— Пилю микро-SaaS. Покажу, когда будет коммерческий результат, не раньше.

Подписывайтесь сюда и в инст — дальше больше. Люблю и обнял каждого 🫶🏼

P.S. Уверен, Олег Т. не был в курсе этого решения. Верю, что Banco Plata станет лучшим банком Латама, и надеюсь, что крупицы моего труда в его фундаменте дадут плоды.
P.P.S. Если ты HR и твоя компания не боится публичности сотрудников или готова адекватно обсудить её рамки — пиши, я открыт.