Лаборатория Математики и Программирования Сергея Бобровского
前往频道在 Telegram
1 412
订阅者
无数据24 小时
+57 天
-230 天
正在加载数据
相似频道
标签云
进出提及
---
---
---
---
---
---
吸引订阅者
十月 '2610月 '26
十月 '26
+10
在1个频道中
九月 '26
+28
在1个频道中
Get PRO
八月 '26
+11
在1个频道中
Get PRO
七月 '26
+30
在1个频道中
Get PRO
六月 '26
+29
在1个频道中
Get PRO
五月 '26
+43
在1个频道中
Get PRO
四月 '26
+24
在0个频道中
Get PRO
三月 '26
+54
在1个频道中
Get PRO
二月 '26
+35
在0个频道中
Get PRO
一月 '26
+30
在0个频道中
Get PRO
十二月 '25
+21
在0个频道中
Get PRO
十一月 '25
+20
在0个频道中
Get PRO
十月 '25
+20
在0个频道中
Get PRO
九月 '25
+35
在1个频道中
Get PRO
八月 '25
+58
在0个频道中
Get PRO
七月 '25
+29
在0个频道中
Get PRO
六月 '25
+20
在0个频道中
Get PRO
五月 '25
+17
在0个频道中
Get PRO
四月 '25
+26
在0个频道中
Get PRO
三月 '25
+16
在2个频道中
Get PRO
二月 '25
+23
在0个频道中
Get PRO
一月 '25
+18
在0个频道中
Get PRO
十二月 '24
+33
在0个频道中
Get PRO
十一月 '24
+33
在2个频道中
Get PRO
十月 '24
+25
在0个频道中
Get PRO
九月 '24
+40
在0个频道中
Get PRO
八月 '24
+27
在1个频道中
Get PRO
七月 '24
+60
在0个频道中
Get PRO
六月 '24
+38
在0个频道中
Get PRO
五月 '24
+43
在1个频道中
Get PRO
四月 '24
+98
在1个频道中
Get PRO
三月 '24
+33
在1个频道中
Get PRO
二月 '24
+27
在0个频道中
Get PRO
一月 '24
+2 026
在0个频道中
Get PRO
十二月 '23
+36
在0个频道中
Get PRO
十一月 '23
+39
在0个频道中
Get PRO
十月 '23
+14
在0个频道中
Get PRO
九月 '23
+25
在0个频道中
Get PRO
八月 '23
+16
在0个频道中
Get PRO
七月 '23
+24
在0个频道中
Get PRO
六月 '23
+12
在0个频道中
Get PRO
五月 '23
+19
在0个频道中
Get PRO
四月 '23
+24
在0个频道中
Get PRO
三月 '23
+10
在0个频道中
Get PRO
二月 '23
+12
在0个频道中
Get PRO
一月 '23
+23
在0个频道中
Get PRO
十二月 '22
+86
在0个频道中
Get PRO
十一月 '22
+27
在0个频道中
Get PRO
十月 '22
+44
在0个频道中
Get PRO
九月 '22
+12
在0个频道中
Get PRO
八月 '22
+33
在0个频道中
Get PRO
七月 '22
+19
在0个频道中
Get PRO
六月 '22
+38
在0个频道中
Get PRO
五月 '22
+42
在0个频道中
Get PRO
四月 '22
+21
在0个频道中
Get PRO
三月 '22
+79
在0个频道中
Get PRO
二月 '22
+13
在0个频道中
Get PRO
一月 '22
+26
在0个频道中
Get PRO
十二月 '21
+58
在0个频道中
Get PRO
十一月 '21
+10
在0个频道中
Get PRO
十月 '21
+42
在0个频道中
Get PRO
九月 '21
+25
在0个频道中
Get PRO
八月 '21
+444
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 18 十月 | 0 | |||
| 17 十月 | 0 | |||
| 16 十月 | +1 | |||
| 15 十月 | 0 | |||
| 14 十月 | 0 | |||
| 13 十月 | +3 | |||
| 12 十月 | +1 | |||
| 11 十月 | +3 | |||
| 10 十月 | 0 | |||
| 09 十月 | 0 | |||
| 08 十月 | 0 | |||
| 07 十月 | +1 | |||
| 06 十月 | 0 | |||
| 05 十月 | 0 | |||
| 04 十月 | 0 | |||
| 03 十月 | +1 | |||
| 02 十月 | 0 | |||
| 01 十月 | 0 |
频道帖子
Скорость вывода твоего саас-а на рынок даже в нишу, где есть норм спрос, ещё ничего не значит, если архитектура потенциально не выдержит реального масштаба.
Типичная статистика по американским SaaS инди-хакеров: продажи на $10k/мес, но уходят в минус уже на $2k/мес.
Типичные траблы:
Повторная отправка всего документа в промпт вместо кэша и точечных чанков сжирает океан токенов.
AI нахерачила новые подключения к базе на каждый серверный запрос вместо пулинга, и при 50+ пользователях база падает :) А со временем отсутствие индексов приводит к полной остановке сервера.
Отсутствие транзакций и блокировок (юзер дважды кликает "Вывести", и вайб-код списывает деньги дважды, так как баланс читается параллельно).
Когда что-то ломается, вайб-кодер просит AI "починить ошибку", но нейронка не видит всей системы и лепит приляпку, которая ломает авторизацию или валидацию.
И через 3-4 месяца код превращается в неуправляемую кашу нейродерьма, которую проще выбросить и переписать заново белковыми (но уже за 5 миллионов рублей).
Чек-лист (санитарные правила безопасности для вайб-кода) как тут надо правильно, дам ментатам в Функциональных архитектурах.
По-взрослому, конечно лучше заплатить опытному архитектору например 50-100 тыс. руб. за пару часов проверки схемы базы, API и вебхуков перед запуском. Но ведь CEO/CTO скорее удавятся, лишь бы не платить за консалт. Проще забросить в жпт и жить в самоуспокоенности (оч короткое время:).
Я внешним консалтингом не занимаюсь, только ментатам помогаю, но жалко иногда правильных пацанов, у которых проблемы с ит-бизнесом -- исключительно проблемы с их эго.
| 2 | Вы думаете, что формальные методы решат проблему агентной/AI-инженерии раз и навсегда? Это полная чушь!
Сейчас эта темка разгоняется в сети по двум причинам:
- (само)пиар AI-корпораций (типа как фейки с решением сотен математических задачек, где на самом деле и конь не валялся);
- чтобы курсы продавать.
Меня, давнего сторонника ФИ, крайне беспокоит эта новая эйфория.
В сентябре Борис Чорный (отец Claude Code) заявил: TLA+ отлично справляется с проектированием сложных параллельных систем и следит за тем, чтобы в них не было ошибок =>
"Я использовал Opus 5.5 для формальной проверки Claude Agent SDK с использованием Lean. Пара коротких подсказок = 16 сообщений об исправлении различных ошибок и условий гонки. Видео прилагается. TLA+ также работает хорошо. Иногда я объединяю Lean и TLA+, чтобы выявить проблемы, связанные с потоками данных, параллелизмом и state mgmt."
Ну, вот база: даже самый правильный software design и идеальный system design не приводят автоматически/через нейронки, к правильному коду.
Это собственно доказывается математически (Гёдель и Co).
Чтобы проверить некоторое свойство/характеристику системы (или сгенерировать код на основе этого свойства), нам нужно для начала иметь само это свойство для его проверки. А попробуйте-ка вытащить минимально удовлетворительное множество таких свойств из тупых башечек заказчиков :)
(на Функциональных архитектурах модуль "Мета-спеки" про это)
Если вы не понимаете, как представить некоторое свойство системы в некотором логическом формате, то никакой формальный метод не поможет. Если вы не можете формализовать представление человечка о том, а что именно этому человечку нужно, вы не сможете доказать, что ваша система делает именно это.
Сделать красиво, как у конкурентов но лучше, система должна работать быстро, должна выдерживать любые нагрузки, интеграция со всеми системами, полная безопасность, простой и интуитивный интерфейс, должна автоматически всё делать, должна работать на любом устройстве/браузере, в posix и windows 95, чтобы всё по ГОСТам...
А на просьбу пояснить, на любое уточнение отвечают: ну тыж программист, тыж профессионал.
Кроме того, ФМ (как минимум, языки формальных спек) подразумевают инварианты и свойства поведения, но они принципиально не работают например на протяжении нескольких шагов. Нету таких формальных подходов, когда мы хотим определить свойство на протяжении "delete, а потом undo к исходному состоянию". Огромные проблемы с реальным временем, и даже с вычислениями с плавающей точкой...
По большому счёту, мы не можем даже утверждать, что "существует поведение, при котором P истинно" (доказательство, что в игре можно выиграть). Мы попадаем в многомерные гиперпространства, которые могут быть нишевыми; мы даже не можем формально определять свойства в категориях (пространствах состояний), что существует только один путь из состояния X в состояние Z... И таких "мета-свойств", на которых нейронки ломаются, очень много.
(имею в виду, если вы пишете спецификацию, и эта спецификация напрямую соответствует системе, которую вы хотите создать, то ФМ не смогут полноценно выразить её как набор свойств вашей системы; хотя всячекие хаки, моки и приляпки возможны).
В использовании ФМ для генерации и проверки вайб-кода есть безусловно большой потенциал (и множество подводных камней). Но есть также куда много вещей, которые они не способны даже выразить, не говоря уже о формальной проверке.
Подробно разберём с ментатами в СильныхИдеях, что из этого следует, и как тут правильно поступать и рассуждать. А для не-ментатов, так и быть, будет особый приятный бонус.
Ежа айтишку надо спасать, боюсь она долго не продержится. | 233 |
| 3 | Продолжаю работу с ментатами 🤓
...Вот, кстати, еще на неделе прилетел отказ от [...] со следующей сноской:
"Сейчас ребята приняли решение рассматривать кандидатов с бОльшим опытом сбора требований и общения с бизнесом напрямую"
...А ленивых и алчных не очень-то и жалко. Друзья из СПО, кстати, фиксируют кратный отток абитуры из айти в квалифицированные рабочие специальности. Видно по заполняемости залов на днях открытых дверей...
Очень хорошо, просто прекрасно. Уже совсем скоро даже крепкие мидлы будут цениться на вес золота, ведь квалифицированной смены им из-за вайб-кодинга и "джуны никому не нужны" уже никогда не будет, и никак эту ситуацию теперь не исправить в принципе.
...Буду чаще обращать на это внимание, всему виной спешка и плохое отношение к проектированию. Сделай побыстрее лишь бы работало, но сейчас есть время для рефакторинга и улучшения логики работы кода, правда это отнимет больше времени чем бы я сразу писал чистый и хороший код.
...Разбирался с тем, как наблюдать за AI в проде и считать его расход.
Первая же находка — ошибка модели у меня исчезает без следа. Если вызов падает, трек просто помечается «не найден», а перенос завершается как обычно. Неверный ключ — и все спорные треки тихо становятся ненайденными. То самое «всё равно 200 OK». Тесты не ловят: на тестовых 50 треках до модели не доходит ни один.
Я проверил себя по чек-листу из того же поста, и полностью прошёл только один пункт из четырёх: модели не нужны чувствительные данные. По остальным — пробелы.
...В проекте игры, которую делаю с использованием Codex, сделал команду анализа цикломатической сложности кода. Нашел класс-"свалку" с 34 методами с цикломатической сложностью некоторых методов в 39. И WMC (Weighted Methods per Class) 328. Которая считается как сумма цикломатической сложности всех методов.
При проектировании предложил объект с 9 методами и один вспомогательный иммутабельный класс. После переписывания WMC = 116, максимальная цикломатическая сложность метода = 10, методов считая приватные = 29. Код при этом стал человекочитаемым. И даже возможен ручной рефакторинг.
...Плюс попробовал новый харнесс нашего агента на opencode (модели open ai) и мультиагентов (роли ведущего, разработчика, архитектора...). В итоге расход токенов улетел в небеса, а скорость реализации была ниже чем написал бы сам (наверное) =)
...Кажется к экономии токенов еще предстоит привыкнуть, так как в первую неделю неоптимальным промтом сжег 5000 долларов.
Бюджет был посчитан, но показалось странным, что он был достаточно небольшим, в результате в тз прислали такое количество ограничений и правил для модели, что только его отправка этого тз с кэшированием и батч обработками съело порядка 4 тысяч долларов за неделю, за это время было переведено около 10 миллионов строк от 5 до 30 символов в каждой.
...Начал весь свой код писать агентом при помощи [...] и теперь другого способа работы с AI просто не представляю, так как удобно и эффективно.
За вчерашний день (даже за 1 час) агент написал весь бэкенд для проекта, а на следующей неделе остается добавить фронтенд (да работаю как фулстек), а потом протестировать.
Теперь мы из обычных программистов превратились в составителей спек и операторов агентов, но возможно это не так и плохо.
...А на основе этих принципов можно (точнее, хочется) постепенно прийти к формальным спецификациям и "правилам игры". И здесь мне видится некоторое окно возможностей, в том смысле, что пока очень мало кто (по моему субъективному опыту) точно знает, как делать правильно. То есть, это область с [пока] низкой теоретизированностью, что потенциально дает человеку, который понимает, что делает, и готов тратить часы своего времени на синтез новых знаний, сильное конкурентное преимущество. И даже если брать не настоящий синтез новых знаний, а, так сказать, пребывание во фронтире уже имеющихся, все равно преимущество сильное. Спасибо.
...Нам собирались дать (и уже дали) в компании протестировать Клода, но его практически сразу забанили). Прям неудачно совпало
...Написание множества автоматизаций (с помощью AI) для получения активности разработчиков в репозиториях и т.п.
**Результат:**
Два разработчика оказались под угрозой увольнения. | 260 |
| 4 | В эпоху AI весь DevOps уходит в пространства огромных размерностей. Когда у вас сотни окружений, метрик, версий, согласований и конфигов, в которых разбирается только нейронка, любые решения "под ключ" теряют смысл. AI-проекты будут более чем полностью состоять из собственного харнеса и кучи ямлов и интеграций. При этом любая "похожесть" сервисов исчезает: любые две точки в таком пространстве будут отличаться по слишком многим осям.
Тут на помощь как раз приходит HoTT (как минимум, как концептуальная база рассуждений об): все эти окружения, сервисы и конфиги описываем как типы, а их "похожесть" -- это пути (эквивалентности). Тогда мы вполне можем свернуть лишние оси (например, дифы в YAML и версиях), если они не меняют поведение.
можно ли срочно поднять prod в другом регионе?
dev/stage/prod достаточно похожи, чтобы баг не вылез только в проде?
инфра уехала от IaC -- кто виноват?? :)
быстро понимаем, что замена компонента не сломает контракт...
можно ли слить окружения, выкинуть дубли, переиспользовать артефакт?
compliance, policy, security, вот это всё...
Решение принимаем по унивалентности (формально допустимой эквивалентности поведений и контрактов). Как наиболее корректно деплоить и откатывать, сливать и переносить, допускать и фиксить... | 357 |
| 5 | Короче, закрываю тему инди-хакерства.
Во-первых, за все годы что я к этому призываю, так ни и один из ребят и не сделал хотя бы бесплатный работающий сервис, который можно было бы заценить. Хотя для сейчас для этого идеальное время, но окно возможностей быстро закрывается, и программистов будет требоваться в сотни раз меньше, и в 35 тебя уже считают совсем старым для айтишки. Ну ок.
Во-вторых,
"Если вы занимаетесь бизнесом в России — вы сумасшедший и это не обсуждается." (с)
Вот по мотивам вчерашних событий мнение уважаемых людей.
Нологи на ип могут повысить до 25+%, отменят патенты, и ещё много чего.
Если у вас ИП, рекомендую закрыть пока не поздно.
У меня например впервые вообще за всё время, в октябре дополнительно списалось 19 тыс. руб. совершенно непонятно за что. Я не владею никакой частной собственностью - ни квартиры, ни машины, ни дачи, ни земли, ни миллионов на вкладах... В качестве движимого имущества только кот и несколько велосипедов.
Улучшений тут уже не жду совсем, никогда, на моей жизни точно.
поколение й | 392 |
| 6 | Пацаны волнуются! Как же, три работы в параллель, и 50 токенов/сек маловато чтобы херачить нейронкой тикеты на автомате!1
Ну ок, возьмите RTX 3090 24 гб
Модель 27B уже вполне сюда влезет, если норм квантованная до 1-бита.
И даже сможете юзать агентов в разработке.
=
И вот ВИП-версия (расшаренная память)
- AMD Strix Halo (отдаёт 128 гб, только под линуксом конечно)
или
- NVIDIA DGX Spark (на самом деле, норм аналог на 256 гб можно взять вдвое дешевле "на авите")
или для хипстеров, самое оно =>
- Mac Studio M5 Max (а лучше ультру:)
- ну или несколько RTX 3090
Тут уже можно ставить реально сильную модель 120B, хотя ещё надо смотреть, сама память насколько быстрая, иначе и получишь те же 30-40 токенов/с. Но на 35B вполне можно и сотку выжать.
=
Хотя стратегически я по-прежнему за обычные чаты и простые агентские архитектуры, где вполне хватает облачной подписки на 20-60 долларов.
Главное - мета-спецификации/формальные языки паттернов/LPF, которыми архитектурно думаешь в процессе такого общения. На днях Карпатый например дал базу про AI + DSL (а я пишу об этом уже год:), в Функциональных архитектурах добавил вчера инфу. | 398 |
| 7 |  И вот куда же в этом десятилетии придёт айтишка с эйайкой??
Ладно, спалю базу. Вот о чём тебя будут спрашивать на собесах буквально через год-два =>
1. Поясни за infrastructure as code через Мартина-Лёфа.
Патамушта IaC -- это про индуктивные типы, обычный пайплайн интерпретируем как начальную алгебру (для полиномиального эндофунктора), понадобится уникальный гомоморфизм из неё в алгебру грязных IO-результатов (рекурсивный фолд свёртки).
Хотя сворачивать ast пайпа можно разными алгебрами (запуск, валидация, косты...), но все они будут над одним и тем же функтором. И вполне можно обойтись сборкой результата из сумм, произведений и констант (поля, варианты, списки, деревья) -- ровно то, что обычно лежит в ваших YAML/JSON.
А если бесконечный reconcile loop в кубере? А это уже коалгебраическая история...
2. Пилим gRPC-стриминг для геймеров на 100500 миллионов юзеров, поясни за правильный протокол.
Индексированная/пошаговая кодата по состояниям (нельзя получить данные до аутентификации, нельзя подписаться до handshake, нельзя слать подтверждение после закрытия...). Списки, деревья, суммы, произведения -- это всё индуктивные конструкции для конечных структур, бесконечный реактивный поток ими не задать, на них всё будет ломаться на реконнектах, частичных сбоях, порядке сообщений, идемпотентности и backpressure. Делаем сразу коиндуктивную машину, где ивенты роутятся по правилам/типам.
3. Надо выполнить каноникализацию всех наших конфигов, манифестов, стейтов и артефактов.
Абстрагируем операции devops (merge, overlay, patch, apply, compose) в кольцо, и задаём кастомные эквивалентности, чтобы семантический нормализатор был устойчивым и сходящимся на всех операциях.
В первом приближении вместо кольца можно взять полурешётку, или даже моноид, потому что apply или delete особо не отменить.
А дальше можно уходить в поля (бюджеты токенов) со своими алгебрами, векторные пространства (веса канареечного релиза, ага)...
etc
Думаете, шучу? ну штош. | 464 |
| 8 |  Уничтожаем всю мировую AI-индустрию и бизнес на цодах-шмодах одним сетапом.
Старенький системный блок на 12 гб оперативки + юзанная RTX 3060 + моделька 8B под конкретную тему.
винда 10, лучше линукс конечно (а вот мак не потянет ахаха)
И получаешь до 50 токенов/сек.
Например, чисто под кодинг на таком сетапе сейчас есть хорошие модельки 8B уровня квена3.6 35B, просто спросите нейронку. Если хорошо знаешь архитекторство и software design, более чем достаточно; неплохо RAG и graphify прикрутить.
Различная аналитика, создание документации, ETL, ревью кода, devops -- под каждую темку вполне можно точечно найти маленький подходящий опенсорс.
И в целом, стратегически крайне рекомендую (срочно) уходить максимально в локальную инфру, как можно дальше от любых облаков. В крайнем, дедик или vps с ежедневным архивом всего образа.
Graviora manent. | 403 |
| 9 | Вот идеальный формат собеседования в айтишке: в течение часа наблюдайте за тем, как кто-то пишет код. Даже неважно, что именно он делает, просто обратите внимание на следующее:
1. Какие инструменты он применяет, и как.
2. Какой стиль кодинга, какие паттерны использует.
3. Как он доказывает правильность своего решения.
Я гарантирую, что вы в течение часа точно поймёте, принесет ли этот человек пользу вашей команде, или нет. | 399 |
| 10 | Каждый месяц мой рабочий процесс разработки с использованием AI полностью заменяется совсем другим. Но потом я жду ещё несколько недель, и этот рабочий процесс тоже оказывается полностью устаревшим, так что я не так уж и расстраиваюсь.
(но при этом золотая пора у тех, кто "курсы по AI продаёт":)
Помню, как были организованы процессы разработки в крупных ит-конторах ещё до AI: всё шевелилось еле-еле-еле-еле, и вот интересно теперь узнать, как они адаптировались (ну, на самом деле все ревью и дифы, сборки и деплои, внедрение изменений и т.д. стали просто ещё более серьёзным узким местом).
А ведь существует великое множество проблем, которые сбивают агентов с толку, о которых сам программист не знает, не говоря уже о техдире. Но сначала мы перестали писать код, затем мы перестали читать код, а теперь перестали читать и сообщения агентов.
Пол Грэм на днях отмечал:
Многие вещи в ИТ работали только потому, что у людей есть предел скорости, с которой они могут действовать. Нам только предстоит узнать, какие именно пределы существуют, когда эти пределы начнут давать сбои...
Код по-прежнему является инструкциями для машины. Но он также является моделью понимания. В эпоху AI эта вторая роль становится ещё более важной. Будущее программирования заключается не просто в написании большего количества кода быстрее. Оно заключается в создании более совершенных концептуальных моделей, более совершенной лексики и более прочных основ, на которых могут работать как люди, так и нейронки...
[развиваем эту темку на Функциональных архитектурах]
P.S. Учёный Ноам Браун из OpenAI утверждает, что отключение компьютеров от сети далеко не факт что предотвратит атаку AI на человечество, поскольку например две изолированные машины всё равно смогут взаимодействовать, нагревая процессор и считывая изменение температуры, а также кучей иных стенографических способов. | 419 |
| 11 | Этот отчёт ментата заслуживает быть приведённым полностью =>
Итоги. Часов 8 "одним подходом", около 2 тыс. руб. и оно работает) Пришлось потом пару мест поправить, но это я некорректно описал эти места.
Выводы и впечатления.
1. Общее эмоциональное.
Нахожусь "под впечатлением" от такого способа разработки.
С одной стороны - в "один подход" часов за 8 (и около 2 тыс. рублей) с нуля сделан проект. Ещё и актуальная документация при проекте. И "вау!" ощущение от возможностей. AI же в SDD не просто прописывает спеки и код, но и уточняет мутное, напоминает забытое, проверяет согласованность требований. При этом работа ощущается очень плотная, но это не программирование, а именно формулирование требований, принятие решений. При обычной работе такое получается не так плотно, а "размазано". Можно пописать требования, потом код какой-то сделать, потом вернуться к требованиям. И больше кода, чем требований.
С другой стороны - нет вот этого ощущения "магии кода", когда что-то творишь, создаёшь, какие-то сложности преодолеваешь. И вдруг оно заработало! Вместо этого много ревью, а это так не вдохновляет, как писательство. Также самостоятельное написание кода даёт какое-то ощущение уверенности в нём что ли: код пишешь сам, тесты сам (ошибки тоже сам :) ) и всю структуру детально представляешь.
2. Размышляя над предыдущим пунктом появились следующие тезисы.
1) Вопрос не только в AI. Я стокнулся с коллективной работой, которая мне не так привычна. Мне привычна "self" работа, когда если и разбираешься, то, в основном, в своём коде. А здесь масса новых решений, хотя бы просто применение функций, которыми не пользуюсь. И это хорошо, это развитие и некоторая возможность почувствовать себя внутри команды, даже не общаясь при этом с людьми)
2) Добавило сложности недостаток практики в английском. Спеки на английском. Понимаю их, конечно, но читать получается намного медленнее, чем на русском. И вроде как можно язык поменять (находил в документации как настраивать). Но в английском есть чёткость и, думаю, лишние конвертации между языками не будут на пользу (как с точки зрения точности, так и просто расходов токенов моделью).
3. Получился не big конечно, но "small ball of mud". Большая связность модулей, переменные, которые "протаскиваются" насквозь через кучу функций, хотя вроде как файлы отдельные и некоторое архитектурное разбиение присутствует: вот конфигурация, вот преобразование, вот выгрузка и т.д. Но такой результат ожидаем, так как проект я задавал в основном"декларативно". Прописывал именно требования к проекту, но почти ничего про реализацию (не считая предпочтений по библиотекам, базе данных и какие константы использовать). Поэтому AI делало по своему усмотрению. И если спеки мне понятны, то модули их связность были оставлены "на усмотрение" AI. Благо, проект небольшой всё достаточно понятно, но некоторые связи уже долго отслеживать. Вывод - нужно над архитектурой проекта работать самостоятельно, не давая на откуп AI и прописывать в требования.
4. Более узкие моменты.
4.1.Пока не полностью понял логику где что должно быть - поищу ещё в документации. Сейчас весь "architecture-skeleton" отправлен как финальная стадия в архив, который в папке changes (там и proposal.md и design.md). То есть самый верхнеуровневый взгляд в архиве. А в спеках (то, что не в архиве) только сами исполненные спеки - но это же более низкий уровень представления. То ли так и должно быть, то ли я что-то не так сделал. Поразбираюсь.
4.2. LLM конечно деньги тратит очень бодро. И мелкие правки рождают много движения (например, в сводном отчёте в одном поле изменил на его значение на разность того, что было, и соседнего поля - сразу масса обращений к LLM). Сначала моделью выбрал привычную Claude Sonnet 5. Потом решил экономить и заменил на дешёвый Deepseek v4.1 flash, но он слишком косноязычный оказался. А Deepseek V4 Pro получилась вполне подходящим компромиссом. Также, думаю, нужно работать меньшими задачами. Я, по сути, весь проект сразу делал. И AI для проверок все документы перечитывала. Также, возможно, для больших проектов стоит добавлять RAG и/или graphify.
P.S. Немного о эмоциях в процессе. Восхищение магией AI и вместе с тем некоторый лёгкий страх касательно трансформации мира в целом в связи с AI) Понятно, что LLM, что просто некоторый подбор очередных самых подходящих слов (токенов). Но когда машина тебе пишет "Сами правила конвертации, проверок и формирования строки отчёта вы опишете отдельно." (в изначальном задании писал, конечно, что позже напишу). Или аккуратно уточняет мутные формулировки "Это разные направления, и они оба выглядят правдоподобно, но я не хочу угадывать. Из вашей фразы «превышение второй суммы допустимо» я читаю именно ваши исходные формулы:". Или написал правила конвертации, а также дал пример исходного файла и результата - а оно взялось проверять правила на этом примере. Плюс чёткое подтверждение действий, перепроверки (со спеками, тесты). Появляется внутренний вопрос, а точно ли это компьютер и он неодушевлённый?) Короче, я его иногда боюсь)) | 398 |
| 12 |  Прекрасное: вся музыкальная индустрия перешла на цифру и стриминг, но музыкальная экономика движется ровно в противоположном направлении: назад к живой музыке и непосредственному контакту с аудиторией.
Видно, что доля потребительских расходов, связанных с покупкой билетов на концерты, стремительно растёт! А доходы, приносимые цифровой музыкой, тем временем сильно упали и не демонстрируют никаких признаков восстановления.
Теперь наглядно видно, насколько глупыми оказались крупнейшие звукозаписывающие лейблы: они фактически разрушили всю финансовую структуру, которая поддерживала индустрию звукозаписи. Это когда человек ведёт себя как животное, которое гадит в своё собственное гнездо...
Мир, к счастью, явно оборачивается к аналоговым формам, а тотальный негатив к AI этот тренд заметно усиливает. | 381 |
| 13 | Завершаем прохождение конфы AI Native Conf 20 окт
"Опыт внедрения агентской разработки в Avito" / "опыт внедрения AI First парадигмы"
ок, но я лично вообще против AI First.
"Как переехать на ИИ в 17-летней продуктовой технологической компании"
Полноценно переезжать на ИИ крайне не рекомендую на самом деле. Тут скорее стоит пообсуждать, а вообще "зачем 17-летней продуктовой технологической компании переезжать на ИИ?"
тоже кстати "За 3 месяца всё перевернулось и мы перешли на AI-first"
Да, но "Дизайн в агентном SDLC: разработку ускорили — упёрлись в дизайн".
"Как освободить себе два дня в неделю с помощью ИИ, если ты менеджер"
Волчара детектед?? :)
"C-Level Клуб ЗАКРЫТАЯ ВСТРЕЧА" приватный эскорт для випов? :)
"Продуктовый инженер, кто это и откуда их брать?"
Норм тема. Вообще, прокачка своих инженеров в продуктовые темы, и внедрение их в компанию заказчика на помощь по AI очень приветствую.
"Мы открыли продукт для prompt injection, и это круто"
Кликбейт; наверное имеется в виду prompt injection как механизм управления агентами?
"как заменил весь GUI продакшн-сервиса одним чатом на агенте OpenClaw, не тронув бэкенд" - а, ок. Одобряем :)
"Проблема сопротивления сотрудников внедрению AI: почему AI-трансформация буксует"
Только кнут (с) :)
Помню ещё из 90-х, постоянно обсуждали "Проблема сопротивления сотрудников внедрению ERP: почему ERP-трансформация буксует"
Тогда, точнее, была ещё в основном MRP(2), но обсуждения, почему сотрудники автоматизацию массово саботируют, можно буквально копировать из статей того времени. Вечная темка :)
=
Первые 90% вашего работающего прототипа с помощью AI получить несложно. Важны остальные 190%.
С вас 50,000 рубликов. | 442 |
| 14 | Продолжаем прохождение конфы AI Native Conf 20 окт
(в программном комитете обнаружен экс-ментат 🔥)
"Когда Delivery перестаёт быть узким местом: агентная архитектура продуктовой работы"
Когда наймёте хорошего девопса, а не самозванца-сисадмина за 2 копейки.
"Карта AI-инструментов разработки: от GPU до агентики, без слепых зон"
Отправь этот промпт в дипсик :)
"ИИ в аналитике — отчеты уже не будут прежними"
💯, теперь будут отстойные нейрослопы, где 20% правдивых цифр будут смешаны с выдумками.
"Эволюция агентной разработки в Сбере"
Про гигачад по инсайдерским отзывам ребят кто там работает, могу много рассказать, но лучше не буду :)
"Агенты как часть штата с первого дня: роли, найм и управление при запуске продукта"
Кстати да, ну я давно уже говорю, что где собственно сервис "AI-Джуниор" хотя бы, которого можно было посадить вместо кожаного джуна, и он начал бы фигачить тикеты 24/7 как минимум не хуже, и сжигая токенов не более чем на 50 тыс рублей в месяц?
А нету и не будет, только развод гоев на "ai-помощники", польза от которых весьма мутная, а обходятся дорого.
"Миграция с Pega силами ИИ: реверс-инжиниринг логики и агентная разработка"
no comments
"Из идеи в продажу: работающая методология AI RnD"
В продажу курсов? ;)
"Не ускорять старую организацию, а построить новую: опыт AI-native трансформации бизнес-юнита"
На самом деле, с таким подходом очень даже согласен.
"Дизайн в агентном SDLC: разработку ускорили — упёрлись в дизайн"
Ну как бы да, база :) об этом пишу всё время.
"Кто сломал прод? Как граф зависимостей сокращает путь от алерта к причине"
Ok, графы и другую аналитику конечно всячески поддерживаем.
В СильныхИдеях об этом в частности "156) First principle для внедрения AI в проект"
А прод сломал джун, 100%
(перерыв на обед) | 468 |
| 15 | Один из ментатов попросился на работе вот на эту конфу => AI Native Conf 20 окт
типа оплатите билетик, и ему отказали 🙈
Для физика кстати билет стоит 20 тыс, а для юрика 50 тыс.
Ладно, потусоваться за корпоративный счёт норм,
а остальным вам дам всю эту конфу бесплатно, чётко по заявленным выступлениям.
1. "Архитектура данных будущего: что такое данные в эпоху ИИ"
Данные -- это абсолютно важная темка вообще в любую эпоху в ИТ, а в контексте AI это датасеты, которые актуальны лишь для тех, кто занимается обучением моделей, и если ты не из этих, то это тебе и не нужно.
2. "Экономика ИИ без иллюзий: как отличить эффект от самообмана"
Никак :) С одной стороны, безумная скорость кодогенерации, с другой стороны, куда большая куча проблем просто сдвигается на чуть попозже, но менеджерам это невозможно объяснить. Познать это можно только через собственную боль :)
3. "Почему сотрудники не используют AI: организационные барьеры и ошибки внедрения"
Ровно потому, что тупые/трусливые начальники, и ничего с этим снизу не поделать.
4. "AI Agent Design Canvas: как оценить идею AI‑агента и собрать требования"
Пока в организации нету чёткого и детально прописанного рабочего процесса для каждой роли, скрипач агент вообще не нужен.
А когда такой процесс есть (от силы в 2% организаций), всё становится очевидным само собой.
зашлите сотку баксов.
(продожение следует) | 525 |
| 16 |  .
Облако драгоценностей за неделю.
Вроде бы академические темки "кабанчика" (по highload у нас целый трек уже много лет) на неделе внезапно стали более чем актуальными :)
Так же и computer science + math в айтишке, вот увидите, с развитием сверхинтеллекта станут критической информационной инфрой, и изо всех онлайн-школ полезут тематические курсы, как сегодня по AI. Но с 24-го вообще любые новые онлайн-курсы теперь везде чистый нейрослоп, а у меня есть абсолютное конкурентное преимущество: я занимаюсь cs и теорией типов много лет, и у меня мегабайты честного человеческого контента.
Приватный клуб.
Перегрузил свой эндпоинт побочными эффектами? Вот как правильно =>
Добавляйте как можно меньше кода в алгоритм планировщика, сводите его к анемичной модели. В идеале, всё что должно быть внутри scheduleTask(task), это только queue.push(task) :) Ну и лог.
Соответственно, сама идеальная таска ...
Для донов-начинающих:
Сейчас в интернете без проблем можно найти сотни бесплатных курсов и учебников, да и AI неплохо (вроде бы) подсказывает, особенно на уровне начинающих...
Тут есть простой объективный критерий успешности самообучения: пообщайтесь с любым миддлом, и он по вашим "знаниям" порвёт вас как грелку в мелкие клочья :)
(логрид) Одно из самых больших изменений, внесённых AI в разработку, заключается в том, что непосредственно кодинг больше не сложная задача.
...Вдобавок, чтобы извлечь максимальную пользу от искусственного интеллекта, надо работать с большой кодовой базой (десятки, сотни тысяч строк кода) быстро, что подразумевает также хорошие скиллы проектирования и архитекторства. Всему этому я тоже учу давно, и очень радуюсь, что наконец-то взрослые темы стали реально востребованы, а те, кто много лет тянули даже с базовым уровнем, сегодня окончательно остаются за бортом.
Для донов-неначинающих:
Четвёртый квартал начался на днях. Примерно через 90 дней закончится 2026-й год.
Может показаться, что этого времени у вас предостаточно. Кроме того, оно достаточно короткое, чтобы быстро исчезнуть, если вы начнёте этот квартал, не решив, что нужно сделать для вашей цели.
Вы же выполнили ежеквартальный обзор и планирование своей карьеры?
...Без этих решений новый квартал просто повторит предыдущий. Все те же срочные рутинные задачи продолжают вас побеждать....
Продолжаю выкладывать для донов материалы СильныхИдей.
110. Интерфейсы vs Контракты vs Абстракции
Общепринятое понимание интерфейса такое, что это коллекция абстрактных методов, которые задают некоторый "контракт" для класса, который он должен реализовать. Почему это не совсем так?
109. Почему функциональные языки (например, Haskell) так плохо работают в продакшене
При разработке бизнес-логики формирование хороших типов предметной области действительно означает весьма точное её определение.
Но домен и бизнес-логика -- это ещё далеко не всё приложение. Гораздо чаще в кодовых базах бизнес-логика представляет собой небольшую часть прочей функциональности, которую необходимо запрограммировать, чтобы всё работало...
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В курс карьеры добавлен 148-й материал "Инди-хакерство 2026 - 4".
Если вы сильно хотите чего-то в жизни, и действительно сосредоточены на достижении, вы практически всегда можете этого добиться. Если вы в это верите и готовы работать достаточно долго и упорно, чтобы в конечном итоге достичь цели, то самой важной задачей становится именно ...
=
"Функциональные архитектуры" 179(+1) топиков.
Тесты как исполняемые спецификации.
LPF закончен, куда и как дальше => (Meta)Principles Framework (сделано 0% :)
=
"ЛаМПовое":
линукс как макось
=
it's a privilege to do things that are hard. 💪🏻
=
Он шёл впереди своих учителей, схватывая на лету то, о чём не должен был даже догадываться. Он делал это с потрясающей скоростью. Это тревожный знак.
Интересно, каким он стал сейчас?
"Еретики Дюны" | 510 |
| 17 | Современные разработчики практически больше не имеют возможности получить следующий профессиональный опыт:
- набор кода с клавиатуры;
- изучение кода методом пристального взгляда;
- вдумчивое чтение документации;
- мерж конфликтов;
- проверка кода другим человеком;
- парное программирование;
- отладка;
- обдумывание архитектуры и системного дизайна;
- в т.ч. рукописными заметками в бумажном блокноте;
- мышление;
- радость от успешно реализованной задачи.
Особенно печально, что некоторым разработчикам уже никогда не выпадет удовольствия быть разнесёнными в пух и прах во время ревью их кода сеньором.
Помните, когда для решения сложных задачек или проблем с багами требовалось думать? Хорошие были времена. | 760 |
| 18 | Я такой:
- вот эта фича позволит реализовывать популярный класс твоих задачек в 2,7 раза быстрее.
Они такие:
- супер! здорово! спасибо! только сейчас нету времени это изучать.
ну штош :) | 564 |
| 19 | Если бы вы направили всю энергию, которую тратите на беспокойство о потере работы из-за искусственного интеллекта, на обучение продуктивной работе с искусственным интеллектом на уровне сеньора/техдира, вам никогда бы не пришлось больше беспокоиться о потере работы вообще по любым причинам. | 602 |
| 20 | Продолжаю работу с ментатами 🤓
Буквально в сентябре потратил 2 недели впустую. Работал не по каноничному SDD, по самопальному, но тем не менее.
Затеял миграцию слоя-обвязки БД, максимально покрыл тестами, и красными в том числе, которые должны после миграции были заработать. И BDD-сценарии написал. Расписал кучу adr, и md файликов, и планы сделал -- и глобальный, и на каждый день. Все вычитал за ии.
В итоге получился уродливый кентавр из нового и старого кода. Довольно быстро понял, что все идет не по плану, но из любопытства решил довести до конца. Очень быстро терялся контекст, что подлежит замене, что нет. Агент просто стремился сделать все тесты зелеными. И они зеленые, только при этом старые проблемы были хитро спрятаны, слои "протекали" друг в друга, на границах слоев были абсолютно хрупкие и безликие конструкции на словарях и кортежах, которые только прятали реальные проблемы под ковер. Классический big ball of mud...
Вчерашнее как раз было про это.
...С фабриками впервые в реальном использовании столкнулся на прошлой работе, в гошном коде, причем активно их использовал только бывший джавист, перенял это у него.
Вообще, заметил, что среди «коренных» гошников и питонистов очень мало кто использует паттерны, в основном это люди с джавы и шарпов.
Классический пример, что мы разбираем в "33 стилях программирования" -- хипстерство/говнокод (кто в академиях/лабораториях не обучались:). Какое там мышление паттернами! (которое само по себе первый шаг в профессиональную разработку, потом абстракции, потом полноценная computer science...) Детский сад штаны на лямках. Недаром кстати года три назад в гошку генерики добавили.
Понравилась идея с полиморфной конситентностью, с тем что работаем с абстрактными каналами, а они сами решают внутри себя, работать им синхронно или нет.
Далее, про интерфейсы и функторы, очень понравилось изложение на этом модуле.
Изначально, не очень понял идею, код выглядел тяжелым для восприятия и визуально шумным, в блоке про очищение зависимостей бойлерплейт выглядел жутко.
А потом дальше текст предвосхитил мои возмущения, словами что тут не нужно вообще думать, нужно это один раз грокнуть, и дальше как по маслу...
Словил вау-эффект. Сидел в lazygit, читал pull request, без подсветки синтаксиса. Раньше я думал что это какое-то снобство, как отключение подсветки может помочь продуктивности. Оказывается, без нее мозг перестает пропускать "мусорные" подсвеченные блоки кода, весь код становится равнозначно важным, и это как ни странно способствует большему погружению и что еще более удивительно - большему удовольствию от код ревью, которое мне никогда не нравилось делать.
Еще лет 5 назад я писал про это, ну ведь книги, в т.ч. сложнейшие учебные, мы же читаем чёрно-белые, а цветные это только для малышей.
...В целом про ФА и math, я его как отдельный модуль уже изучал, в первый раз было со всем тяжело с пониманием, много страшных «математических» слов, но толи я с тех пор терминологический аппарат подтянул, толи просто регулярное чтение ваших постов незаметно для меня же начало формировать понимание)
...Насчет чистых функций, согласен на 1000% - качество кода остается неплохим, когда даешь установку "писать в функциональном стиле" + общая декомпозиция системы, как это было показано в "Функциональных архитектурах" + установка на снижение цикломатической сложности. В итоге, по моему опыту, получившийся код воспринимать и понимать гораздо легче.
(правда, рассчитать цикломатическую сложность для функционального кода куда сложнее :)
Всё время прихожу к тому, что для эффективного применения ИИ в работе, нужна хорошая рефлексия и осознанность по тому, как эта самая работа происходит...
К своему великому удивлению, благодаря дипломному проекту я оказался знаком с большей частью обсуждаемых тем ("Стачка"). Пошел на асинхронщину — там объясняли то, с чем я уже сталкивался. Рассказывали в общих чертах про backpressure — а я уже это проходил. Grafana, OpenTelemetry, Pydantic, DTO — оказалось, что благодаря курсам я вполне в теме современной айтишки))) Это ощущение дорого стоит, поскольку шел туда с ощущением лютейшего самозванства.
На секции по управлению слушал мотивационного спикера, который рассказывал про «помидорки», и оказался одним из немногих, кто поднял руку на вопрос, кто их использует. У другого спикера даже услышал знакомые по Telegram-каналу понятия «моноид» и «функтор», что дало еще одну отсылку к SkillSmart.
Основной нарратив многих спикеров: если не пользуешься ИИ с максимальной отдачей, рискуешь сильно отстать от рынка и стать невостребованным.
ИИ - это хорошо, но нужно развивать архитектурные навыки и вообще знать язык программирования (!!!!).
...Кстати, я тут сменил работу и на новом месте нет оплаченного ИИ, поэтому все нюансы я теперь познаю на своем кошельке :) И тут очень пригодился агент, которого вы рекомендовали для изучения ранее - [...]
...Yazi нормально заменяет проводник, когда надо зайти в каталог и глянуть файл в превью, но внутри него файл нельзя править, если проваливаешься в код, то там vim автоматически открывается:)
...Слышал про [...] до этого, но не ожидал такого прироста по точности исполнения моих запросов к нейронке. Более того, я и сам начал более сфокусированно думать спецификациями. Смотреть на систему на третьем уровне в связке с этим фреймворком получается гораздо проще и, в некотором смысле, естественнее. Кажется, что дальнейшая интеграция может поспособствовать ускоренному формированию и оттачиванию группы навыков, связанных с архитектурой и дизайном систем. И это, пожалуй, самое приятное, потому что субъективно сложнее всего на текущем этапе развития именно приучить себя думать на третьем уровне заранее и на постоянной основе.
Попробую внедрить в пайплайн разработки в подкоманде, коллеги вроде не против...
...Вот буквально сейчас в стартапе написал тимлид и позвал на созвон через 5 минут с ним и продукт овнером. Сказали, что я самый эффективный сотрудник в плане продуктивности AI-фикации разработки и решили оставлять только меня, с остальными бэкендерами расстаются.
Спасибо, Сергей Игоревич, за бесценные знания и опыт))
(это после моих принудительных рекомендаций по AI:)
Коль скоро начнут показываться помыслы, что вы хороши... знайте, что вы сбиваетесь с дороги...
Свт. Феофан Затворник | 568 |
