Лаборатория Математики и Программирования Сергея Бобровского
Ir al canal en Telegram
1 403
Suscriptores
-124 horas
-27 días
+730 días
Carga de datos en curso...
Canales Similares
Nube de Etiquetas
Menciones Entrantes y Salientes
---
---
---
---
---
---
Atraer Suscriptores
julio '26
julio '26
+22
en 1 canales
junio '26
+29
en 1 canales
Get PRO
mayo '26
+43
en 1 canales
Get PRO
abril '26
+24
en 0 canales
Get PRO
marzo '26
+54
en 1 canales
Get PRO
febrero '26
+35
en 0 canales
Get PRO
enero '26
+30
en 0 canales
Get PRO
diciembre '25
+21
en 0 canales
Get PRO
noviembre '25
+20
en 0 canales
Get PRO
octubre '25
+20
en 0 canales
Get PRO
septiembre '25
+35
en 1 canales
Get PRO
agosto '25
+58
en 0 canales
Get PRO
julio '25
+29
en 0 canales
Get PRO
junio '25
+20
en 0 canales
Get PRO
mayo '25
+17
en 0 canales
Get PRO
abril '25
+26
en 0 canales
Get PRO
marzo '25
+16
en 2 canales
Get PRO
febrero '25
+23
en 0 canales
Get PRO
enero '25
+18
en 0 canales
Get PRO
diciembre '24
+33
en 0 canales
Get PRO
noviembre '24
+33
en 2 canales
Get PRO
octubre '24
+25
en 0 canales
Get PRO
septiembre '24
+40
en 0 canales
Get PRO
agosto '24
+27
en 1 canales
Get PRO
julio '24
+60
en 0 canales
Get PRO
junio '24
+38
en 0 canales
Get PRO
mayo '24
+43
en 1 canales
Get PRO
abril '24
+98
en 1 canales
Get PRO
marzo '24
+33
en 1 canales
Get PRO
febrero '24
+27
en 0 canales
Get PRO
enero '24
+2 026
en 0 canales
Get PRO
diciembre '23
+36
en 0 canales
Get PRO
noviembre '23
+39
en 0 canales
Get PRO
octubre '23
+14
en 0 canales
Get PRO
septiembre '23
+25
en 0 canales
Get PRO
agosto '23
+16
en 0 canales
Get PRO
julio '23
+24
en 0 canales
Get PRO
junio '23
+12
en 0 canales
Get PRO
mayo '23
+19
en 0 canales
Get PRO
abril '23
+24
en 0 canales
Get PRO
marzo '23
+10
en 0 canales
Get PRO
febrero '23
+12
en 0 canales
Get PRO
enero '23
+23
en 0 canales
Get PRO
diciembre '22
+86
en 0 canales
Get PRO
noviembre '22
+27
en 0 canales
Get PRO
octubre '22
+44
en 0 canales
Get PRO
septiembre '22
+12
en 0 canales
Get PRO
agosto '22
+33
en 0 canales
Get PRO
julio '22
+19
en 0 canales
Get PRO
junio '22
+38
en 0 canales
Get PRO
mayo '22
+42
en 0 canales
Get PRO
abril '22
+21
en 0 canales
Get PRO
marzo '22
+79
en 0 canales
Get PRO
febrero '22
+13
en 0 canales
Get PRO
enero '22
+26
en 0 canales
Get PRO
diciembre '21
+58
en 0 canales
Get PRO
noviembre '21
+10
en 0 canales
Get PRO
octubre '21
+42
en 0 canales
Get PRO
septiembre '21
+25
en 0 canales
Get PRO
agosto '21
+444
en 0 canales
| Fecha | Crecimiento de Suscriptores | Menciones | Canales | |
| 29 julio | 0 | |||
| 28 julio | 0 | |||
| 27 julio | +1 | |||
| 26 julio | +2 | |||
| 25 julio | 0 | |||
| 24 julio | +1 | |||
| 23 julio | 0 | |||
| 22 julio | 0 | |||
| 21 julio | +2 | |||
| 20 julio | +1 | |||
| 19 julio | 0 | |||
| 18 julio | 0 | |||
| 17 julio | 0 | |||
| 16 julio | 0 | |||
| 15 julio | +1 | |||
| 14 julio | +6 | |||
| 13 julio | 0 | |||
| 12 julio | 0 | |||
| 11 julio | 0 | |||
| 10 julio | 0 | |||
| 09 julio | +1 | |||
| 08 julio | +1 | |||
| 07 julio | +1 | |||
| 06 julio | +2 | |||
| 05 julio | 0 | |||
| 04 julio | 0 | |||
| 03 julio | +1 | |||
| 02 julio | +2 | |||
| 01 julio | 0 |
Publicaciones del Canal
В (уже совсем недалеком) будущем профессионально важными в ИТ останутся только два скила: умение делать качественный текстовый контент без нейронок, и умение делать качественный софт с нейронками.
Если вы разработчик, вы просто обязаны вести текстовый блог, только таким способом вы сможете обеспечить стабильность своей карьеры. Но 98% людей никогда этого не делают (что соответственно даёт вам большие преимущества), потому что боятся того, что о них подумают другие.
Преодоление этого страха невероятно освобождает и на самом деле очень просто. Всё, что вам нужно сделать -- это опубликовать один фрагмент контента, который вызывает у вас дискомфорт.
Опубликуйте что-нибудь сегодня на любой платформе: это может быть например ВК или Бусти, Дзен или LinkedIn, на ютубе кстати можно вести текстовые блоги, которые рекомендательные алгоритмы неплохо цепляют. Проще всего это сделать в телеграме, так как его уже скоро всё равно окончательно закроют, а всех у кого платные аккаунты, посадят в тюрьму за экстримизм и будут пытать до конца быстро кончающейся жизни (оценочное личное суждение :).
Важно: только не надо никаких понтов! Вы боитесь, потому что самооценка низкая, вот с неё и надо начинать. Как? Вот просто пишите постоянно, как вы мощно развиваетесь (вы же мощно развиваетесь? :), только вы должны быть уверены в таких своих скиллах на 100%, для чего их надо реально прокачивать.
Боже то поможi,
Да и сам мужик не лежи!
Aмвросий Oптинский
| 2 | Пришло время снова поиграть в мою любимую программистскую игру:
я что, снова совсем всё сломал?
Привык, что в mysql например end можно использовать (если не ansi-режим) в качестве названия столбца, влепил новым столбцом except, и ппц.
INSERT INTO pomo (start, end, flag, target, prod, today_prod, except)
VALUES (1785311306, 1785312869, 1, 2, 20, 100, 16);
Даже подсветка для малышей намекает, какие слова зарезервированы ) но это по-постгресовски видимо, start (trans) только в нём кмк.
16 - это количество моих переключений между разными программами/вкладками/... в течение одной помидорки, ужос...
а prod = 20% - это моя "продуктивность" за эту помидорку 🙈
Правильно так:
INSERT INTO pomo (start, [end], flag, target, prod, today_prod, [except]) ...
Признавайся, тоже используешь Order или User как названия полей в таблице базы? ))) | 220 |
| 3 | Просили пояснить за генеративщину =>
"А когда вы просто закидываете ТЗ, нейронка переходит из режима верификации в генеративщину: она просто подбирает правдоподобно выглядящее решение, которое внутри как правило ужасающе криво архитектурно."
Что, правда что-ли это так устроено??
Ага. Думающие модели обучены генерировать (многими шагами) промежуточные токены перед окончательным ответом: именно это и позволяет им решать сложные задачи из математики и программирования. Так устроены и жпт, и клоды, и кими, и глм...
Но едва модель видит, что заказчик лох (не способен дать чёткую структуризацию задачи) и ему можно загнать генеративную туфту, она не включает внутренние рассуждения, а сразу начинает жечь побольше токенов. | 306 |
| 4 | Продолжаю работу с ментатами 🤓
А если архитектура четко задана и реализована, то я не увидел большой разницы между жпт 5.6 и дипсиком 4. От проектирования не уйти в любом случае...
В целом, пока для агентов самую подходящая задача у нас - код ревью, для этого специального агента уже сделали...
Само по себе это хорошо, но концептуально противоречит базовому подходу, когда агент пишет код, а человек а его читает и контролирует :)
Коллеги в микросервисном мире решили жить по DRY и, чтобы в нескольких сервисах не повторять буквально 2 (!) строчки кода (была проверка на if), они выделили эту функцию в отдельной библиотеке, которую использовала другая библиотека, которую использовало 3 или 4 сервиса.
Как итог, чтобы минимально скорректировать этот if, приходилось править его не в одном месте, а в шести, так как шла правка одной библиотеки, затем обновление другой и поднятие версий библиотек в каждом из сервисов...
Требования не расписывал, промпт был достаточно «сухой». Trae справился. Результат рабочий (хотя одну ошибку я сразу нашел – не было защиты для случая, когда файл не выбран). Но в общем, для «непродакшена» хорошо – даже с промптом возиться не пришлось (так и в конец можно облениться :)
Я настроил агента, дал ему Рид онли доступ на все сервера и базы данных, также у него есть вся документация и сохраняется история каждой нашей сделанной задачи. Время сократилось практически до 10% в день, если не меньше...
Очень большой проблемой является мое отвлечение на телефон во время работы, особенно когда агент что-то думает и у меня свободные 2-3 минуты, стал замечать, что в сумме это съедает по несколько часов в день. Начал читать ваши заметки про deep work и трек слитный программист.
Я сам в принципе никогда не считал полчаса малым промежутком времени, а сейчас и несколько минут сгодятся )
И в целом сейчас такая мода "перекусы упражнениями": есть буквально 2-3 минуты, можно извлечь пользу => Feeling stuck? Try ‘productivity snacking’
Мысли про увеличение времени помидорки были, но пока не готов. Иногда бывает сильное нежеление работать, я смотрю на таймер, вижу что там осталось минут 15 и мне становится проще...
Всё думаю, дать ли ментатам мой личный инструмент SelfHack (тайм-менеджемент, личная продуктивность и всё такое). Скорее всего, надо.
Есть ощущение, что некоторые моменты я так до конца и не понял, либо понял, но не совсем правильно. К пятому прочтению часть вопросов ушла, но часть из них до сих пор осталась...
услышав, что пол атрейдес император вселенной в трейлере дюны 3 ИЗВИНЯЕТСЯ за то, что он наделал, я был очень расстроен…
"— У меня нет союзников, - ответил Император, - только слуги, ученики и враги."
На работе переводил докер-образы наших сервисов с centos на red os. По ходу дела познакомился с этой ОС. Подключил туда наши репозитории, чуть лучше стал понимать как всё устроено у нас в плане пакетов и репозиториев. Red os показался менее удобным, чем centos, так как из коробки там отсутствует ряд привычных утилит...
Так-то по идее centos была просто обрезанная ред хат, странно что в ней что-то отсутствует, а наоборот не присутствует ))) Хотя и ред ос это видимо не ред хат.
Заметил, что после курса ООАП3 стал иначе смотреть на архитектуру приложения. Возникало такое ощущение, что я немного возвысился над кодом и стал думать более абстрактными вещами и концепциями. Видеть, что некоторые вещи, по сути, реализуют одно и то же. Наверное я просто дошёл до очередной ступени развития, благодаря вашим курсам и занятиям с формата HardWork. Даже впервые поучаствовал в архитектурном споре :)
Получить список всех отрядов и количество гномов в каждом отряде. Также включите в выдачу отряды без гномов.
Рефлексия: Женя, практикуй алиасы=)
Для каждого типа предметов узнать средний возраст гномов, владеющих этими предметами.
Рефлексия: Женя, все таки практикуй алиасы=)
Раньше я думал, что создавать интерфейс на каждый класс - это признак хорошего тона и залог тестируемости. Но теперь я понял, что это была иллюзия: интерфейс 1:1 с реализацией - это не абстракция, а просто дублирование кода. Такие интерфейсы не скрывают сложность, а добавляют её, заставляя всех клиентов тащить методы, которые им не нужны. Я понял, что хороший интерфейс - это не список методов класса, а точное и минимальное обещание клиенту, которое легко понять, легко реализовать и легко заменить...
Можно также упомянуть известную критику NULL, связанную с Тони Хоаром. Он называл введение null reference своей "ошибкой на миллиард долларов". Смысл этой формулировки в том, что специальное “пустое” значение оказалось источником огромного числа ошибок и сбоев. В контексте задания эта мысль хорошо подчеркивает главный вывод: NULL удобен локально, но при чрезмерном использовании делает систему менее надежной и менее выразительной...
В команде из людей обучение и слаживание происходят "естественным" образом, есть огромный пласт неписанных правил и неформальных договоренностей. С нежитью так не работает, надо все максимально бюрократизировать. По крайней мере я сейчас так это вижу.
В качестве сайд-эффекта от экспериментов открыл много новых для себя вещей. Язык OWL, стандарт C4, Structurizr DSL
Спасибо что дали живительного пинка, сам бы еще долго в это не полез... | 289 |
| 5 |  Моя Лаборатория всегда будет непопулярной, потому что то я пишу -- это негатив в духе "что же представляет мэйнстрим в контексте взрослого университетского топового программирования, computer science и math": даже многие синьоры тут абсолютный нуль:) При том, что это по сути ортогонально теме "зоработать в айтишке".
Можешь быть очень умным и ничего не зарабатывать, а можешь быть тупым и успешно работать айтишником в трёх цветных банках одновременно.
Никакого баланса "как всю эту теорию приспособить к моей работе" у меня нету принципиально (а за "что это мне даст на практике" сразу бан :). Мы занимаемся тем что приспосабливаем свою работу (и жизнь по большому счёту) к требованиям Лаборатории.
Тут моё отношение абсолютно противоположно всем этим онлайн-школам менторам карьерным коучам и т.д., которые будут за тобой долго бегать и заманивать к себе сказочными плюшками, дескать это всё не так и сложно. Нет, взрослое программирование крайне сложно и по силам далеко не всем, даже мехматовцы сбегают :)
Поэтому я фильтрую везде занимающихся по максимуму: если вижу, что человек хотя бы на 2% не подходит к моим, лютым:) требованиям, быстро его исключаю. Продолжаю бесконечное ужесточение правил занятий.
Самые большие награды в жизни находятся в конце самых длинных путей.
Куда и как правильно например (пацанам респекты!) =>
Теория категорий: открытый онлайн-курс
29 июля, среда 20:00 MSK
Онлайн, вход свободный | 327 |
| 6 |  Гарри Поттер и Методы Математического Мышления
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 17 (и все предыдущие). Где спит Хогвартс
- Я не говорил, что Хогвартс — это и есть рекурсия. Я думал, что Хогвартс — это комбинатор. Оказалось, что комбинатор — это только интерфейс. Сам замок — это неподвижная точка.
— Комбинатор Мерлина, — сказал Гарри. — Ядро Хогвартса. Машина, которая комбинирует примитивы в заклинания, комнаты, правила. Но это не просто комбинатор. Это функтор, который отображает категорию «магия» в категорию «реальность».
Драко сделал шаг вперёд.
— Люциус говорил о нём. Он сказал: «Когда коснёшься ядра, ты сможешь управлять всеми комбинациями. Ты станешь тем, кто решает, какие заклинания существуют».
— Люциус ошибался, — сказал Гарри. | 334 |
| 7 | Вы до сих пор думаете, что Kubernetes - это решение? Поздравляю. Ваша платформенная команда уже выросла до семи человек, а разработчики проходят 12-шаговый квест, чтобы задеплоить простую хрень. Но главный вопрос: когда этот инструмент стал врагом народа? Ответ тихо вползает на сервера, и это не ещё один оператор в Helm.
Что не так с K8s:
Он жрёт ресурсы, время и души инженеров.
Ваши контейнеры весят по 100 мегабайт и стартуют как уставшие таксисты.
Абстракции текут, как старый кран, а новые разработчики учатся месяцами, прежде чем понять, почему под не завёлся.
Спаситель (барабанная дробь): WebAssembly. Помните мой сериал про него в Клубе несколько лет назад?
Да-да, тот самый, из браузера. Только теперь он на сервере, весит 5 килобайт и стартует за миллисекунду. Без контейнеров, без ядра, без боли.
Проект WASI делает его кроссплатформнным, а Docker-папа ещё в 2019-м году сказал: "Был бы Wasm, Docker бы не родился". Но все сделали вид, что не расслышали. Ну штош.
Почему все молчат: потому что вложились в k8s по самые помидоры и сейчас пилят внутренние порталы, а не думают о будущем. Да, те, кто в 2017-м сел в поезд Kubernetes, сейчас пока в дамках. Но Wasm это тот же поезд, только экспресс, и он уже на перроне.
Что делать (чтобы не опоздать):
Дать двум миддлам неделю поиграться со Spin или WasmEdge.
Посмотреть на свои API и подумать: "А точно ли им нужен контейнер??"
Следить за CNCF: если там зашевелились, за считанные годы это станет стандартом.
Итог: Kubernetes никто пока не закапывает. Но если вы прямо сейчас не начнёте коситься в сторону Wasm, то через пару лет будете объяснять CFO, почему ваши биллинги за облако в 10 раз выше, чем у конкурентов.
А если ты тайком заглянешь через плечо твоего продвинутого коллеги, то увидишь на экране, что он втихомолку вовсю изучает Wasm. Он уже на год впереди тебя. | 354 |
| 8 |  .
Облако драгоценностей за неделю.
7-й гайд "Programming in Large" (по материалам СильныхИдей для ментатов), основной акцент на избавлении от зависимости от зависимостей.
Приватный клуб.
Вы застреваете в бесконечной доработке кода недели на две, и ничего не деплоится. Нечёткие запросы на доработку получают десятки комментариев, требуется много обратной связи, и база, на которой вы работаете в рамках данного проекта, постоянно меняется.
Для донов-начинающих:
(лонгрид) Прежде чем приступить к какому-либо проекту по программированию...
Продолжаю набор (эксклюзивно для донов) на занятия для начинающих с полного/около нуля, 2 места закончились за 11 минут.
Почему большинство онлайн-школ по программированию — просто красивая ложь?
Эта показная лёгкость. Эти "За полгода в ИТ средняя зарплата 170,000 рублей". Это "Доступно каждому ". Это "Гарантия трудоустройства".
Эти шаблонные лендинги и рекламные тексты от нейросетей про успешный успех в айтишке.
Я не против обучения программированию. Я против вранья...
Для донов-неначинающих:
Чтение книг помогает. Курсы помогают. Видео помогают. AI помогает. Но создание проекта — это то, что заставляет абстрактные идеи воплощаться в жизнь. В тот момент, когда вы пытаетесь спроектировать даже "простую" систему самостоятельно, вы перестаёте думать ярлыками, и начинаете мыслить ограничениями.
На первый взгляд, это кажется простым: разрешить 100 запросов в минуту, и блокировать остальные. Но как только вы попытаетесь это сделать, появятся настоящие вопросы...
99. Как и зачем отказываться от хранения логических значений в базе
Как вам такая идея, как отказ от хранения логических значений в базе? Что-то, конечно, вместо них всё равно надо хранить, но что?
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
null
=
"Функциональные архитектуры" 150(+3) топиков
Полиморфная консистентность, (тестовое) равенство сущностей в DDD как identity type.
После 150 материалов цена гайда (для новых) вырастет.
Last Principles Framework: готовы 21(+2) задач, закрыты 12(+2) тем из ~20 первого уровня. Вы же понимаете например, почему паттерн Builder и IoC / Callback - конструктивный отстой в сравнении с сопряжением теорката как идеальной архитектурой "API - Очередь - Воркер"? А когда формируете JOIN, это отнюдь не сборка результата, а наоборот стрелки из него исходящие (greatest lower bound)? Тотальная математическая контринтуитивщина уничтожит последние ваши мэйнстримовские иллюзии )))
=
"ЛаМПовое":
7-й гайд "Programming in Large"
=
Лаборатория идёт со скоростью самых лучших ментатов 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)
=
Мыслящие машины - это зло, которое должно быть уничтожено до того, как человечество начнёт срывать плоды своей высшей награды.
Бене Гессерит, "Песчаные черви Дюны" | 313 |
| 9 |  4/4
Потенциально скилл техлида нужен ещё больше, потому что без него никто не замечает проблем, пока не рвануло. Кризис по Gartner назначен на 2028-й, а до тех пор так массово и будет продолжаться - пока дешевле/проще - "просто закинуть ТЗ ещё раз" и бесконечные уточнения как в лотерее (шанс есть т.к. недетерминированность), чем платить профи за взрослую работу с AI.
При этом конечно рутинная часть архитектурщины будет автоматизироваться и дальше, и крупные компании продолжат пофигистично жечь токены, но стартапы например наверняка начнут снова платить белковым за спецификации, декомпозицию ТЗ итд. Скорее всего, роль "архитектор промптов/спецификаций/оркестрации агентов" станет отдельной профессией ("AI systems accountability lead"? :), но при этом такому спецу придётся следить не только за техническими аспектами, но и за бюджетом по токенам.
(сейчас собственно такое достаточно чётко и наблюдается в немалом числе стартапов, где денежки очень даже считают)
Но даже если за счёт инференса и железа токены станут бесплатны, всё равно, как говорил, кто-то всегда должен будет нести ответственность за инциденты в проде и понимать систему поглубже, чем нейронка. Этот слой спроса на архитектурный скилл не исчезнет ни при каком раскладе с токенами! При этом, в вакансиях будет например явно требоваться - как сегодня "знание веб-фреймворка" - условный скилл "резать косты токенов через спеки".
Потому что, ну смотрите - есть принципиальная - концептуальная! - разница между "закинуть ТЗ" и "сделать контролируемый пайплан для реализации ТЗ".
Когда есть чёткие спецификации, когда есть набор тестов, когда есть ясный критерий правильности, нейронки работают принципиально по-другому! Такой формальный - в идеале математический (разбираем это в частности на Функциональных архитектурах) - подход заставляет нейронку тщательно проверять каждый шаг перед ответом, контролировать всю логическую цепочку, видеть противоречия, возвращаться обратно -- это closed-loop, это мощь пошаговой самопроверки в замкнутой системе, которые сегодня в LLM активно встраиваются.
И чем больше тут будет математики (и чем она будет сильнее), тем экономнее и продуктивнее (на многие порядки!) нейронка будет работать!
А когда вы просто закидываете ТЗ, нейронка переходит из режима верификации в генеративщину: она просто подбирает правдоподобно выглядящее решение, которое внутри как правило ужасающе криво архитектурно. А при наличии взрослого подхода такая подмена через похожесть при проверке шагов сразу же вылезет.
Поэтому нейронки и работают на уровне золотых медалистов в алгоритмических задачках и филдсевских лауреатов в математике, и показывают такие слабенькие результаты в промышленном программировании.
Проблема не в нейронке -- проблема в уровне подготовки ленивых человечков :) | 353 |
| 10 | 3/N
Какой сегодня уровень автономного проэкта для нейронок реален?
Вот сегодня, ментат пишет:
Как юзер еще раз попробовал MCP Figma, и то ли платная версия, то ли просто он стал лучше - результат очень хороший, с учетом того, что я в целом понимаю в react/typescript - мой фронтэндер официально мне не нужен)
Ну да, фронт уже почти умер, реально ) потому что в целом задача попроще и главное достаточно автономная. Не одно десятилетие внимательно слежу за геймдевом, сейчас за большое количество токенов можно, разбираясь в теме на уровне PO, без знания программирования за несколько дней запилить игру средней сложности, это где-то 3-5 тысяч строк кода условной логики (нейронка нахерачит конечно раз в 10 больше).
Правда смысл эта движуха фактически потеряла: когда на янд-игры каждый месяц заходит десяточка (тысяч) нейрослоповых игр... Там игроков уже меньше, чем игр :) Не надо этим вообще заниматься, я говорил что лучше: делайте фейкового ai-джуниора. | 359 |
| 11 | 2/N
Какие же скиллы будут актуальны в перспективе?
"просто закидываешь нормальное техническое задание в жпт просол, и получаешь некоторый готовый сервис" - да, это работает, но только типовых и хорошо описанных доменов. А если высокая связность требований, конкурирующие ограничения, интеграция с легаси, сразу в прах.
Но даже и для чёткого домена, написать ТЗ норм (то есть перевести бизнес-хотелку в спецификацию, где нейронка не должна угадывать) - это архитек уровень.
А "готовый сервис на выходе" - на каком? Его ведь надо задеплоить для начала.
А точнее сперва кто-то должен взять ответственность "этот сервис реально можно в прод", и бежать разбираться, когда на живых юзверах прилетит инцидент в 2 ночи, и "просто перезакинуть ТЗ ещё раз" или "пофикси где-то там хз где" не сработает :)
То есть даже у простого SaaS-а есть точка входа (спека) и точка ответственности - кто подписался за базар (регуляторка, кибербез, эпикфейлы), и обе точки может закрыть только человек с архитектурным+devops опытом. И тут буквально 50/50 будут ли требоваться такие люди в разы меньше или в разы больше. | 360 |
| 12 |  Но конечно пытаться предсказать "насколько вероятен тот или иной сценарий", смысла особого нету. Хвосты распределения и через 2-3 года будут такими здоровыми, что например ты в одиночку с помощью последних нейронок и топовых харнесов фигачишь тикеты как слепой крот с помощью какого-нибудь функционального DSL, а буквально за стеной толпа отупевших мидлов делает в пять раз меньше в каком-нибудь стеке жава7/11. Хотя зарплата твоя от ихних отличается от силы на +50%.
Причём ситуация с искусственным идиотом пока что лишь быстро ухудшается: сегодня впервые за семь лет мой мобильный клиент одного из крупнейших цветных банков дал вот такой сбой ))) Понимаю что навайбкодили (и нафиг вообще скулайт на клиенте прикручивать?? чем плайн файлики-то провинились), но как минимум просто версию проверить и выдать ссылочку на apk если устарела, кому-то не хватило соображалки. И дальше будет только хуже (и для нас это очень хорошо, понятно почему:).
Это я намекаю на то множество скиллов, которое с развитием AI создаёт непреодолимую пропасть между элиткой и всеми остальными. Думайте ) | 379 |
| 13 | Ладно, давайте по-взрослому. Сермяга вот в чём: если решения в компаниях особо не чувствительны ни к деньгам, ни к скорости, то экономических оснований для спроса на скилл архитектора/техлида в его нынешнем виде действительно не остаётся (не говоря уже про все остальных разработчиков).
Kelsey Hightower (principal engineer Google), KubeCon 26: "Everyone is a junior engineer when it comes to AI".
+ Типа, AI создаёт новые риски безопасности именно потому, что инженеры перестают глубоко понимать, что происходит под капотом. Но на это менеджерам вообще пофиг, security -- самая трудно продающаяся темка в ит, никого не колышет.
Карпатый: "Раньше ограничивающим ресурсом были flops, теперь токены. Какой у тебя token throughput? Долгосрочное будущее этого туманно... это работа для экономистов, а не для меня."
McKinsey ежемесячно сжигает ~5 триллионов токенов.
etc
И вот институциональное подтверждение растущего пофигизма от Gartner с грядущим взрывом. Организации быстро переходят от экспериментов с AI к масштабному развёртыванию агентов, но многие недооценивают финансовое влияние роста потребления токенов. И сам взрыв Gartner назначила на 2028й:
В 2028-м расходы на AI-кодинг превысят среднюю зарплату разработчика из-за роста token consumption и перехода на consumption-based pricing вместо seat-based лицензий.
июнь'26
и даже дешевеющий токен не спасает от роста трат, потому что потребление растёт быстрее падения цены: агенты будут работать параллельно автономно дольше (Карпатый прямо называет это нормой).
Это именно тот момент, когда пофигизм кончается не от мифического поумнения манагеров, а чисто из бухгалтерии; CFO физически не может это больше игнорировать :) Причём первыми этот сдвиг на своей шкурке жостко прочувствуют небольшие компании.
Кстати сегодняшний кейс, как в компании 500 разработчиков вышло $340k/год на токены, и финансисты слегка офигели.
А что из этого получится к 2030-му, никто не знает. Главный вопрос как долго автономные агенты смогут приносить выручку, которая перекрывает рост расходов на токены и инфру, и насколько это сравнимо с отдачей от живых разработчиков, уровень которых продолжит стремительно падать.
Но что можно на 100% сказать про тот год, так это "everyone is a junior engineer when it comes to AI" + останется примерно на порядок уменьшившаяся в сравнении с сегодняшними техлидами прослойка элитных спецов с выросшими в десятки раз зарплатами. Какими именно характеристиками будут характеризоваться они, по секретику расскажу вам, дорогие, завтра 🤓 | 453 |
| 14 | Сейчас например есть реальные примеры немало, когда просто закидываешь нормальное техническое задание в жпт просол, и получаешь некоторый готовый сервис,
и когда декомпозируешь это ТЗ в набор достаточно автономных задач, продумываешь качественные спецификации архитектуру паттерны (в том числе паттерны взаимодействия агентов) харнесы лупы и всё такое,
закидываешь в агентский фреймворк, следишь за процессом реализации, тестами, что-то разумно правишь
- ну как хорошему сеньору и положено -
и получаешь примерно такой же готовый сервис,
но есть нюанс-1: экономия в расходе токенов составляет примерно два порядка (миллионы vs десятки тысяч).
И есть нюанс-2: всем пофиг :)
Потому что токены сжигаешь корпоративные.
Соответственно даже скилл архитекторства/техлидcтва совсем скоро перестанет пользоваться спросом.
Возражения на это совершенно шаблонные и унылейшие: типа, а как же технический долг (сильная нейронка вполне его удержит), негибкая архитектура (да и плевать всем, главное сегодня выкатить фичу), главное в разработке это длительное сопровождение (сильная нейронка вполне его удержит-2), такая экономия токенов стимулируется рынком (ахаха:) наёмным менеджерам вообще плевать) и т.д.
Пока конечно вышеописанный техлид-подход актуален, но в основном потому что для бесчеловечного подхода пока всё же токенов требуется многовато, и не всё у нейронок получается норм. Но где-то в ближайшие пару лет всё то что я выше описал белковое превратится в типовой неорганический скилл, встроенный в каждой llm-ке. | 393 |
| 15 |  Читаю разборки топовых американских математиков, как они друг друга хейтят "у тебя давно деменция" )))
Но в целом они сейчас реально объединяются категорически против AI, очень многие подписали Лейденскую декларацию:
"Компании, занимающиеся AI, и особенно MathInc ("Dedicated to verified superintelligence via autoformalization. Solve math, solve everything."), действительно подвергнут математику тщательной бомбардировке, чтобы превратить её в гигантскую радиоактивную пустошь, на которой больше никогда не сможет существовать жизнь, поэтому мы никогда не получим ожидаемых преимуществ от формализации математики."
На днях в военном агентстве передовых исследований DARPA прошёл семинар в рамках проекта expMath
"The goal of Exponentiating Mathematics is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions."
где присутствовал ряд этих академиков, и вот их итоговое мнение по обсуждению данной темки:
"это не было хорошо для военных; это не было хорошо для математики; это не было хорошо ни для кого."
"Математики больше не смогут участвовать в коллективных исследованиях, потому что любой открытый проект будет быстро завершён AI-агентами из конкурирующих компаний"
Но конечно нашлись и профессоры-гастарбайтеры, MathInc-наймиты, которые ради вкусных госконтрактов обзывали коллег луддитами и заявили, что "шикарные бюджеты эти обсуждения лишь укрепили нашу решимость использовать искусственный интеллект для формализации всей математики", к чему участники отнеслись крайне негативно.
Ну а мы продолжаем заниматься формализацией всего программирования с целью его скорейшего превращения в "гигантскую радиоактивную пустошь, на которой больше никогда не сможет существовать жизнь" 🤓
на картинке: 216 символов, опровергнувшие гипотезу Римана (ai нашёл таки контрпример, реально иголку в стоге) | 436 |
| 16 |  -2021: делать работу самому
-2024: сказать компьютеру, чтобы он делал твою работу
-2026: сказать компьютеру, чтобы он делал твою работу (но быть in a loop)
-2027+: безработный
буки казики как вариант:)
"Я в воскресение стану миллионером))) все деньги, мамин дом, поставил на стролла!!!"
(из сегодняшего чятика раскатки Формулы 1 в Бельгии; лэнс там уже заднюю подвеску ухитрился сломать :) | 483 |
| 17 | Продолжаю работу с ментатами 🤓
Почти ничего не делал именно в плане карьерного развития — основное внимание сосредоточил на успешном релизе приложения в продакшен...
HR очень сильно давила чтобы я принял оффер...
Очень много потратил времени просто на то, чтобы тесты запустились, так как был конфликт версий докера и библиотеки test-containers...
На самом деле ваши два последних поста в вк были настолько в тему, что я аж удивился. Может быть вы и в правду гильд навигатор...
Просто я реально неделю сидел с тикетом, пока тимлид отдыхал, где половина не указана, а замещающий его тоже ни бэ ни мэ...
Посетил внутренний вебинар по харнесу, ничего нового не узнал,
...многие в целом ничего не читают, даже посты в внутреннем комьюнити, а интересны всем более прикаладные вещи
C одной стороны сегодня можно всё что угодно узнать у нейронки, причём с обратной связью, с другой стороны этим пользуется от силы 2% :) Поэтому у элиты (с блогами) (но и только у неё) всегда всё будет хорошо, особенно на фоне, что теория интересна от силы 2% от этих 2%.
Рекурсивные типы - это мощь. Оказывается, я их интуитивно уже использовал в одной из корпоративных задач. В целом, у меня в голове произошёл глобальный сдвиг к концепции "поведение как данные", и я уже практикуюсь на реальных проектах именно мысля в этом ключе...
Так-то мы многое подобное используем интуитивно и часто криво ("в каждой тыще строк твоего кода есть хотя бы одна монада"), цель Лаборатории как раз чтобы вытащить эти функциональные паттерны в сознание и получить кратный профит в кодинге. Только никакие книжки в этом не помогут, нужна оч. тесная теория+практика.
Если бы не была ясна идея и подводка к использованию ФП, я бы всерьёз задумался для чего это нам нужно, если задача действительно быстрее и проще решается классическим способом)
Конечно хотелось бы применять это в своих проектах на работе, но пока сложно подстроить мышление в функциональном стиле под темп задач, да и думаю лучше дождаться прохождения функциональной архитектуры.
ФП применяйте сперва в рабочих задачах снизу: пишите чистые функции и комбинируйте их, и не смешивайте бизнес-логику с инфраструктурой для начала.
С ноутбуками знаком, со времён работы с МЛщиками, обычно их рабочие репозитории представляли собой огромные слабо-структурированные портянки)
Благодарю. Было крайне познавательно и интересно. Получил огромное удовольствие от структуризации полученных знаний (и приобретения новых :). Приобрел больше полезного опыта, чем за год работы до.
Очень благодарен за предоставляемые возможности для системного и глубокого образования. Такая редкость, что даже верится с трудом. С нетерпением жду, что дальше. Спасибо большое!
❤️ | 458 |
| 18 | В рамках работы над Last Principles Framework познакомился с "-оидизацией": это когда мы допускаем существование некоторой фиговины во множественном числе как сущности первого класса. Например у тебя есть моноид (монада - это моноид...), и таким превращением его (как целостной структуры) в моноидоид получаем моноидальную категорию (hom-множество само категория, а нафига это понимать программисту, разбираем на примерах в LPF: это каррирование в частности). Собственно, это ФП и есть: множество типов как объекты и функции как стрелки.
Далее, продолжая оидизацию, имеем моноидальный моноидоидоид :)
Ну, это всё естественные преобразования теорката как функциональные паттерны:
трансформеры монад, линзы, оптики, разбираем их на первом курсе ФП (хотя в этом на самом деле от силы 2% функциональщиков/хаскелистов разбираются: они ещё более ленивые, чем мэйнстримщики:). Зато в работе с искусственным идиотом это всё дает мощные прорывы при составлении формальных спецификаций.
Но мы конечно пойдём дальше :)
Надеюсь вы заметили что на самом деле любую операцию можно обобщить: сначала на множество типов, потом на стрелки между стрелками, и таким образом мы можем проектировать бесконечно композируемые мета-абстракции.
Так, следующим шагом становится моноидальный моноидальный (не тафтология; подумайте, почему) моноидоидоидоид :)
Получаем преобразования между естественными преобразованиями (в продвинутых библиотеках эффектов, для формальной верификации...), но на самом деле мне это всё очень нравится прежде всего в том плане, что супер прокачивает "мышление (мета-)спецификациями" прежде всего.
Фишка же в том, что мета-паттерн
"когда у тебя есть тип данных, всегда можно сделать его параметрическим (обобщив до полиморфного типа или до тайпкласса например), надстроив новый уровень стрелок"
можно применять на всех уровнях!
А ФП - это всего лишь про обобщение максимум до 3-категории: через функторы монады естественные преобразования трансформеры оптики... | 465 |
| 19 |  Дёшево писать код == дорого сопровождать и развивать код.
Разница в дополнительную тысячу строк нейрокода, которая технически допустима, но в которой никто не хочет разбираться, дорогого стоит. Это ощутимые отложенные расходы. Вы передали счёт тому, кто унаследует это новое и никому не ведомое поведение (очень вероятно кстати, самому себе через пару месяцев:).
Внесение изменений в такой код обходится недёшево ровно потому, что сам код был прост в создании. Он будет дёшев только в том случае, если человек полноценно эээ овладеет этим кодом :)
Таким образом, разделительная линия -- это не "может ли агент это написать ". Это "можете ли вы в этом разобраться, и одобрить". Соответствует ли это вашим ожиданиям. Можно ли это протестировать. Хотите ли вы в будущем это развивать.
Но эту базу в мэйнстриме никто не понимает/все игнорируют и пропускают мимо ушей, и в итоге имеем стремительно растущие груды ужасаюего нейрокода, массовые увольнения разработчиков и прочую прелесть, стремительно приближающую полный крах айтишки. Дальше в мэйнстриме будет сильно хуже, выживет только элита.
Гораздо больше людей добились бы успеха, если бы умели мыслить в долгосрочной перспективе. | 474 |
| 20 | Выцепил сегодня у Кента Бека классную фишку: когда делаешь code review или pr-обзор, не тыкай прямо в ошибку, если такая есть. Подскажи, какой тут тест пропущен. Кодер не должен тупо фиксить тикеты, он должен думать прежде всего, быть хотя бы немножечко в контексте проекта.
Я так-то уже лет пять на моих курсах по АСД интуитивно ровно так и делаю: если человек не проходит своим решением тесты на учебном сервере и не понимает где у него ошибка, я даю тест какой надо сделать на его ошибку ("красный"). При этом "просто спросить" не разрешается, сперва в любом случае надо сделать тесты на свой вроде бы работающий код (условный "зёлёный"), так как хотя тесты и требуются, но их
особо никто не пишет (правда, в этом году я и наличие тестов теперь проверяю обязательно). И даже когда пишешь свой "зелёный", в 90% проблема обнаруживается "сама собой" :)
Но, да, здесь существует контринтуитивный разрыв между абсолютной стратегически пользой TDD, и непониманием этой пользы в повседневной практике. Например, мало того что вы автоматически получаете регрессионные тесты, вы также получаете минимум двух клиентов для вашего API (подумайте, почему), а между 1 и 2 пропасть огромная (ну, то у вас система работала на одном сервере, а то на двух - 23 - 256 - уже особо без разницы), и т.д.
Десятки других фишек от кента разберём с ментатами в СИ. | 492 |
