cейчас самое время сломать Систему =>
удержать себя от бухания и пережирания =>
ну и так-то Рождественский Пост, напомню =>
заняться сложной интеллектуальной деятельностью!
и я начал на новогодних делать клон dwarf fortress
и наконец-то разобрался с асинхронной ошибкой,
ибо моделируем сложнейший мир в реалтайме
я буквально лучший!
лучше меня в программировании нет никого!!
я гений!!1
...блин, через ~12 минут снова застрял
удержать себя от бухания и пережирания =>
ну и так-то Рождественский Пост, напомню =>
заняться сложной интеллектуальной деятельностью!
и я начал на новогодних делать клон dwarf fortress
и наконец-то разобрался с асинхронной ошибкой,
ибо моделируем сложнейший мир в реалтайме
я буквально лучший!
лучше меня в программировании нет никого!!
я гений!!1
6😁54🔥14❤🔥7🐳4🏆3
не могу найти ошибку в течение 3 часов.
выхожу на 10-минутную прогулку.
обнаруживаю ошибку за 2 минуты.
асинхронная отладка - это буквально просто добавление логов.
Работать нужно уже со 2 января, иначе праздники станут мучением. Схема идеального Нового года простая: 30 декабря уйти пораньше, 31 отметить, 1 января выспаться -- и уже 2-го бодро включиться в рабочие задачи.
академик Геннадий Онищенко
выхожу на 10-минутную прогулку.
обнаруживаю ошибку за 2 минуты.
асинхронная отладка - это буквально просто добавление логов.
print("Fuck!")Работать нужно уже со 2 января, иначе праздники станут мучением. Схема идеального Нового года простая: 30 декабря уйти пораньше, 31 отметить, 1 января выспаться -- и уже 2-го бодро включиться в рабочие задачи.
академик Геннадий Онищенко
1❤45💯19✍9👌5
В декабре 2025-го вышли две классные книги - почти одновременно!
- в крайне важной стратегически, но крайне сложной темке!
- причём на русском! что (особенно по нынешним временам) событие абсолютно удивительное, впервые лет за 5-10, а может быть и больше.
Сразу взял обе книги, очень рекомендую кто занимается на второй части Лаборатории.
1. "Проектирование на уровне типов"
Александр Гранин (известный эксперт в ФП и Хаскеле, в 2025-м выпустил книгу "Functional Design and Architecture", работает в Европе уже давно).
Блог Александра.
2. "Аксиоматическая архитектура научных теорий" (переработанная докторская)
Андрей Родин (последний русский HoTT-математик, уехал во Францию в 2023-м).
Последовательное введение в, по сути, формализацию математики для всех интересующихся темой: "От Евклида до Гильберта => Гомотопическая теория типов и унивалентные основания математики".
Европейская школа в этой нише, да и в computer science в целом, на сегодня абсолютный топчик (недавно и наша школа была с ней на одном уровне, а теперь в России физически из неё я наверное остался один, да и то непонятно, насколько долго :).
Ссылки на бумажные и электронные книги ищите по ссылкам выше.
В гайд "Функциональные архитектуры" понемногу готовлю и из них выжимки)))
А для разогрева можно насладиться классным стримом Мокевнина и Вершилова про Haskell.
- в крайне важной стратегически, но крайне сложной темке!
- причём на русском! что (особенно по нынешним временам) событие абсолютно удивительное, впервые лет за 5-10, а может быть и больше.
Сразу взял обе книги, очень рекомендую кто занимается на второй части Лаборатории.
1. "Проектирование на уровне типов"
Александр Гранин (известный эксперт в ФП и Хаскеле, в 2025-м выпустил книгу "Functional Design and Architecture", работает в Европе уже давно).
Блог Александра.
2. "Аксиоматическая архитектура научных теорий" (переработанная докторская)
Андрей Родин (последний русский HoTT-математик, уехал во Францию в 2023-м).
Последовательное введение в, по сути, формализацию математики для всех интересующихся темой: "От Евклида до Гильберта => Гомотопическая теория типов и унивалентные основания математики".
Европейская школа в этой нише, да и в computer science в целом, на сегодня абсолютный топчик (недавно и наша школа была с ней на одном уровне, а теперь в России физически из неё я наверное остался один, да и то непонятно, насколько долго :).
Ссылки на бумажные и электронные книги ищите по ссылкам выше.
В гайд "Функциональные архитектуры" понемногу готовлю и из них выжимки)))
А для разогрева можно насладиться классным стримом Мокевнина и Вершилова про Haskell.
5✍48❤17😁4
Конечно, искусственный интеллект сегодня позволяет программистам быстрее (и тупо, без малейшего понимания) копировать топовых элитных разработчиков, но здесь есть и хорошие новости:
Большинство людей просто ничего не делают.
Вот как ты сейчас :)
На самом деле до смешного легко превзойти большинство людей в айтишной карьере: средний человек невероятно ленив.
Большинство людей просто ничего не делают.
На самом деле до смешного легко превзойти большинство людей в айтишной карьере: средний человек невероятно ленив.
2⚡32💯23🔥11🤔6❤2
.
Облако драгоценностей за неделю.
Важное правило занятий 2026 в Лаборатории: абсолютно запрещено использовать AI прямо или косвенно в любой форме. При моём малейшем подозрении, что ваш код или отчёты написаны (с использованием) AI, будет молниеносный бан. И при желании вариант разрешения споров: привлекаем трёх AI-экспертов для независимой оценки кода.
Собственно, и сам жпт это определяет норм:
вот для решения, где я вижу, что честно делалось =>
"вероятность, что этот код писала нейросеть, в диапазоне 10–25%."
и где явный нейрослоп =>
"На основе анализа кода я оцениваю вероятность того, что он написан нейросетью, в диапазоне 65–85%."
Ну и как бы даже странно обсуждать, почему. Человек платит деньги, чтобы ничему не учиться? Ну так я не держу, всё равно у меня везде пост-оплата, просто брось занятия и всё. Где логика, где разум? :)
А впрочем, философы уже давно с грустью отмечал, что ничто не могло привести к возникновению человеческого рода, кроме абсурда...
Человеками движет не разум, а подсознательные импульсы.
Приватный клуб.
null
Для донов-начинающих:
null
Для донов-неначинающих:
Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим ментатам, но тут расширенные и дополненные версии.
69. О пользе формальных спецификаций
Когда здесь остановиться? Как вообще правильно думать о соотношении абстрактной спецификации Abstract с нашей реализацией Impl?
(все старые материалы для донов постепенно сгорают)
=
Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути четыре книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Software Design с акцентом на Programming in Large
=
Новые материалы для ментатов Лаборатории.
В курс карьеры добавлен 123-й материал "Почему одни растут быстрее других?".
Привожу типичный шаблон - обобщение опыта многих десятков сеньоров, которые росли по карьере существенно быстрее других. Как? Отличительная особенность этого шаблона в том, что он в значительной степени контринтуитивен, и его не найти ни в статьях, ни в нейросетях...
"ЛаМПовое": ассемблер олдскул, strcpy слоп
💪🏻
Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.
=
Гайд про функциональные архитектуры, 47 топиков (+0), как наберётся 108, дам ментатам доступ.
Ментат продвигается вперёд как римлянин, управляющий колесницей — ноги стоят на разных конях упряжки. Каждая нога покоится на отличной от другой реальности, но поиск смыслового рисунка побуждает ментата двигаться вперёд. Он скачет к смыслу на разных реальностях, чтобы достичь единой цели.
"Еретики Дюны"
Облако драгоценностей за неделю.
Важное правило занятий 2026 в Лаборатории: абсолютно запрещено использовать AI прямо или косвенно в любой форме. При моём малейшем подозрении, что ваш код или отчёты написаны (с использованием) AI, будет молниеносный бан. И при желании вариант разрешения споров: привлекаем трёх AI-экспертов для независимой оценки кода.
Собственно, и сам жпт это определяет норм:
вот для решения, где я вижу, что честно делалось =>
"вероятность, что этот код писала нейросеть, в диапазоне 10–25%."
и где явный нейрослоп =>
"На основе анализа кода я оцениваю вероятность того, что он написан нейросетью, в диапазоне 65–85%."
Ну и как бы даже странно обсуждать, почему. Человек платит деньги, чтобы ничему не учиться? Ну так я не держу, всё равно у меня везде пост-оплата, просто брось занятия и всё. Где логика, где разум? :)
А впрочем, философы уже давно с грустью отмечал, что ничто не могло привести к возникновению человеческого рода, кроме абсурда...
Человеками движет не разум, а подсознательные импульсы.
Приватный клуб.
null
Для донов-начинающих:
null
Для донов-неначинающих:
Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим ментатам, но тут расширенные и дополненные версии.
69. О пользе формальных спецификаций
Когда здесь остановиться? Как вообще правильно думать о соотношении абстрактной спецификации Abstract с нашей реализацией Impl?
(все старые материалы для донов постепенно сгорают)
=
Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути четыре книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Software Design с акцентом на Programming in Large
=
Новые материалы для ментатов Лаборатории.
В курс карьеры добавлен 123-й материал "Почему одни растут быстрее других?".
Привожу типичный шаблон - обобщение опыта многих десятков сеньоров, которые росли по карьере существенно быстрее других. Как? Отличительная особенность этого шаблона в том, что он в значительной степени контринтуитивен, и его не найти ни в статьях, ни в нейросетях...
"ЛаМПовое": ассемблер олдскул, strcpy слоп
💪🏻
Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.
=
Гайд про функциональные архитектуры, 47 топиков (+0), как наберётся 108, дам ментатам доступ.
Ментат продвигается вперёд как римлянин, управляющий колесницей — ноги стоят на разных конях упряжки. Каждая нога покоится на отличной от другой реальности, но поиск смыслового рисунка побуждает ментата двигаться вперёд. Он скачет к смыслу на разных реальностях, чтобы достичь единой цели.
"Еретики Дюны"
1🔥30🏆10❤6🫡5👍2
Продолжаю работу с ментатами 🤓
...За этот год написал в тг-канал 75 постов. Большую часть во второй половине года. Кол-во подписчиков перевалило за 100 и постепенно растет. Некоторые посты даже репостят (16 раз), чему я был удивлен. Активность подписчиков (в основном это разработчики) придает уверенности в себе. Мне пишут в комментариях, делятся опытом, спрашивают совет. Круг общения однозначно расширился.
Хочу дальше развиваться в этом направлении. Я впервые в этом году смог почувствовать пользу от ведения блога в виде новых знаний, контактов, предложений работы и просто приятного общения.
...В этом году мой вклад в большое количество работы окупился в виде премии - получилось около +100к к ежемесячной зарплате.
...Откликался на вакансии hh. В данный момент откликнулся на 21 вакансию из которых получил отказ 3 раза и 4 ответа с просьбой заполнить анкету или сделать тестовое задание, остальные непросмотрены... Для одной вакансии дали тестовое задание - отправил, позвали на собеседование в понедельник. Отправлял в откликах заказанное резюме - это отличный совет, сам бы так не написал.
...Первая значимая (хоть и промежуточная) веха на пути к цели – завел профиль на hh и опубликовал в открытый доступ первый «драфт» резюме. Резюме пока сильно на «троечку», но тут как раз уже стимул оперативно его доработать согласно всему изученному по видео и материалам КК. В самых ближайших планах по hh – дооформить раздел «обо мне», подтвердить пару-тройку основных навыков и доредактировать само резюме конечно же. Далее уже буду переходить к профилю в LinkedIn.
Неделю назад в анонсе материала по математике высокой продуктивности от одного из ментатов было упоминание материала 48 из ЭП – не удержался и, т.к. пока все равно не вернулся на последовательное изучение трека, прочитал его :) И однозначно не пожалел. На самом деле я интуитивно этот подход уже использовал, но т.к. в голове он не был формализован, очень нерегулярно и непоследовательно применялся. И вот как раз для текущего последнего задания по диплому по микросервисам этот подход максимально подошел – уже сознательно примененный.
...Начал все входящие запросы (сообщения в слаке) "выдерживать" во входящих, не отвлекаясь от основного потока и не прерывая deep work. Заметил, что часть из них ликвидируется со временем и всего лишь малая часть требует реально немедленной реакции.
...Досрочно завершил испытательный, пару недель вместо месяца, сказали результат показал
Испытательный оплатят, поскольку мое поделие пойдет в прод
Часовую ставку назначили больше, чем у меня сейчас на руководящей должности в крупной компании
Ещё раз спасибо за Ваш труд, чем дальше я иду, тем больше удивляюсь масштабу проведенной Вами в Школе работы!
...А ещё вроде РТК ИТ кого-то выкупил и возможно в следующем году пул задач расширится и понадобятся новые люди.
...Дело в том что у меня, насколько понимаю, заработал интернет по белым спискам. Нет доступа ни к github ни к каким другим сайтам особо. VPN которые прежде использовал не помогают.
...Был на техническом собесдовании в Яндекс. Переволновался и забыл откуда импортируется мок объект, пришлось в моменте создавать класс мок, который имитироваля внешние api. После сдачи задачи проверил код - было 3 бага на 70 строк.
Вот ровно поэтому надо постоянно тренироваться в интервью с живым людьми, и моки и реальные, сколько лет я об этом пишу...
Получил первую повышенную зарплату полностью на руки :)
Цель достигнута.
Самое главное понял для себя, что повышение оклада – это не какая-то разовая активность, а перманентный процесс повышения своей ценности, который основывается непосредственно на профессиональном росте как в хардах, так и в развитии софт-скиллов. Вообще, дико банальная фраза получилась, и не то, чтобы я это как-то совсем не понимал раньше, но при целенаправленной работе в данном направлении эта зависимость чувствуется как-то более явно что ли :)
...За этот год написал в тг-канал 75 постов. Большую часть во второй половине года. Кол-во подписчиков перевалило за 100 и постепенно растет. Некоторые посты даже репостят (16 раз), чему я был удивлен. Активность подписчиков (в основном это разработчики) придает уверенности в себе. Мне пишут в комментариях, делятся опытом, спрашивают совет. Круг общения однозначно расширился.
Хочу дальше развиваться в этом направлении. Я впервые в этом году смог почувствовать пользу от ведения блога в виде новых знаний, контактов, предложений работы и просто приятного общения.
...В этом году мой вклад в большое количество работы окупился в виде премии - получилось около +100к к ежемесячной зарплате.
...Откликался на вакансии hh. В данный момент откликнулся на 21 вакансию из которых получил отказ 3 раза и 4 ответа с просьбой заполнить анкету или сделать тестовое задание, остальные непросмотрены... Для одной вакансии дали тестовое задание - отправил, позвали на собеседование в понедельник. Отправлял в откликах заказанное резюме - это отличный совет, сам бы так не написал.
...Первая значимая (хоть и промежуточная) веха на пути к цели – завел профиль на hh и опубликовал в открытый доступ первый «драфт» резюме. Резюме пока сильно на «троечку», но тут как раз уже стимул оперативно его доработать согласно всему изученному по видео и материалам КК. В самых ближайших планах по hh – дооформить раздел «обо мне», подтвердить пару-тройку основных навыков и доредактировать само резюме конечно же. Далее уже буду переходить к профилю в LinkedIn.
Неделю назад в анонсе материала по математике высокой продуктивности от одного из ментатов было упоминание материала 48 из ЭП – не удержался и, т.к. пока все равно не вернулся на последовательное изучение трека, прочитал его :) И однозначно не пожалел. На самом деле я интуитивно этот подход уже использовал, но т.к. в голове он не был формализован, очень нерегулярно и непоследовательно применялся. И вот как раз для текущего последнего задания по диплому по микросервисам этот подход максимально подошел – уже сознательно примененный.
...Начал все входящие запросы (сообщения в слаке) "выдерживать" во входящих, не отвлекаясь от основного потока и не прерывая deep work. Заметил, что часть из них ликвидируется со временем и всего лишь малая часть требует реально немедленной реакции.
...Досрочно завершил испытательный, пару недель вместо месяца, сказали результат показал
Испытательный оплатят, поскольку мое поделие пойдет в прод
Часовую ставку назначили больше, чем у меня сейчас на руководящей должности в крупной компании
Ещё раз спасибо за Ваш труд, чем дальше я иду, тем больше удивляюсь масштабу проведенной Вами в Школе работы!
...А ещё вроде РТК ИТ кого-то выкупил и возможно в следующем году пул задач расширится и понадобятся новые люди.
...Дело в том что у меня, насколько понимаю, заработал интернет по белым спискам. Нет доступа ни к github ни к каким другим сайтам особо. VPN которые прежде использовал не помогают.
...Был на техническом собесдовании в Яндекс. Переволновался и забыл откуда импортируется мок объект, пришлось в моменте создавать класс мок, который имитироваля внешние api. После сдачи задачи проверил код - было 3 бага на 70 строк.
Вот ровно поэтому надо постоянно тренироваться в интервью с живым людьми, и моки и реальные, сколько лет я об этом пишу...
Получил первую повышенную зарплату полностью на руки :)
Цель достигнута.
Самое главное понял для себя, что повышение оклада – это не какая-то разовая активность, а перманентный процесс повышения своей ценности, который основывается непосредственно на профессиональном росте как в хардах, так и в развитии софт-скиллов. Вообще, дико банальная фраза получилась, и не то, чтобы я это как-то совсем не понимал раньше, но при целенаправленной работе в данном направлении эта зависимость чувствуется как-то более явно что ли :)
1👍41❤11✍1
Это просто праздник какой-то!
1. C# pure functional programming framework - come and get declarative!
2. Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation!
1. C# pure functional programming framework - come and get declarative!
2. Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation!
1🎉37🔥10👍8❤2
EHTML -- очередной HTML на стероидах.
Write less JavaScript and let HTML handle templating, data loading, rendering, and interactions.
No-Build. No Bundlers. No Complexity.
Forget endless configs, toolchains, and dev-server rituals. With EHTML, your browser is the runtime—just write HTML, load your noscripts, and ship instantly.
Declarative Data Loading (Fetch JSON, HTML, SVG, Markdown).
Powerful HTML-Native Templating.
Advanced Form Handling (Nested JSON, Dynamic Values).
Real-Time WebSockets With No JS.
Create Your Own Custom Elements.
Fast. Minimal. Declarative. Maintainable.
Clone the repo, drop the src folder into your project, add an import map, and you're ready to build without compiling anything.
Write less JavaScript and let HTML handle templating, data loading, rendering, and interactions.
No-Build. No Bundlers. No Complexity.
Forget endless configs, toolchains, and dev-server rituals. With EHTML, your browser is the runtime—just write HTML, load your noscripts, and ship instantly.
Declarative Data Loading (Fetch JSON, HTML, SVG, Markdown).
Powerful HTML-Native Templating.
Advanced Form Handling (Nested JSON, Dynamic Values).
Real-Time WebSockets With No JS.
Create Your Own Custom Elements.
Fast. Minimal. Declarative. Maintainable.
Clone the repo, drop the src folder into your project, add an import map, and you're ready to build without compiling anything.
1👍28✍9🤓9❤3
Ещё год назад боссы AI-корпораций хайпили в духе "2025 год - это год агентов искусственного интеллекта, когда мы перейдем от ChatGPT к работе в реальном мире" (Kevin Weil, дир по продуктам OpenAI), а Марк Бениофф (гендир Salesforce) заявил, что AI-агенты неизбежно вызовут трудовую цифровую революцию на триллионы долларов.
Ну и? Полный пшик, детали в разборе в ньюйоркере "Why Didn’t AI "Join the Workforce" in 2025?"
(как например ChatGPT-агент тратит четырнадцать минут на тщетные попытки выбрать значение из выпадающего меню на сайте по недвижимости)
(вы же знаете, как получать доступ к тексту, скрытому за плашкой платной подписки, которую тупые фронтендеры грузят чуть позже? :)
Кроме чисто программистских агентских Claude Code и Codex на троечку (и, да, токенов придётся сжигать на сотни долларов даже для небольшого проекта), ничего реально полезного не явилось. А то, что имеется, работает настолько медлительно и ужасающе ошибочно, что их просто смешно считать предвестниками общего экономического краха из-за AI.
И даже Карпатый недавно согласился, смягчив ожидания: "точнее, это лучше назвать десятилетием AI-агентов". Ну а там, или шах/инвестор, или ишак/агент сдохнут...
Ну и? Полный пшик, детали в разборе в ньюйоркере "Why Didn’t AI "Join the Workforce" in 2025?"
(как например ChatGPT-агент тратит четырнадцать минут на тщетные попытки выбрать значение из выпадающего меню на сайте по недвижимости)
Кроме чисто программистских агентских Claude Code и Codex на троечку (и, да, токенов придётся сжигать на сотни долларов даже для небольшого проекта), ничего реально полезного не явилось. А то, что имеется, работает настолько медлительно и ужасающе ошибочно, что их просто смешно считать предвестниками общего экономического краха из-за AI.
И даже Карпатый недавно согласился, смягчив ожидания: "точнее, это лучше назвать десятилетием AI-агентов". Ну а там, или шах/инвестор, или ишак/агент сдохнут...
❤45😁10👍3✍2
Но есть большой нюанс :) хотя всё это по большому счёту пшик и фейк, тем не менее сюда впечатлительными инвесторами вливаются сотни миллиардов долларов; только в любимой Российской Федерации триллион рублей выделен на искусственный идиотизм интеллект.
А так как сегодня в этом даже спецы слабовато разбираются, морочить богатеньким лохам головы и разводить на баблишко ну прямо Бог велел.
Сингулярность даже круче чем коммунизм смотрится :)
Первые ожидания что жпт заменит программистов и другую айтишную/цифровую деятельность, совершенно не оправдались, теперь на такую роль выдвинули AI-агентов. Ну ok.
То есть сегодня надо делать уже не просто "оболочку вокруг западных AI API", а именно систему агентов -- продаётся только такое. Но тут есть другой большой нюанс, что сейчас основная засада с агентами в том, что они тупые и несамостоятельные. Перезапустил их -- они забыли всё (состояние/контекст хранится в их памяти), координировать приходится часто вручную, и использование уже 4-5 агентов превращается в бардак, а десяти -- в полный хаос :)
Собственно,сказочники мудрецы уже пишут об этом активно =>
"...лучшие инженеры никогда не были кодерами. Они были "торговцами ясности" — людьми, которые понимают проблемы настолько чётко, что код (теперь спецификация для агентов) пишется сам."
Типа, сегодня космически растёт спрос на оркестровку агентов.
И вот что стартаперское сегодня надо срочно пилить: обеспечить (например, хуками) продолжение работы агента с сохранением контекста, несмотря на сбои, перезапуски, сжатие... Делаем агентам айдишки, мэйлбоксы, структурируем обмен данными (можно и классическую агентскую модель вполне попробовать прикрутить, вроде Akka), и если получится более-менее линейно смасштабироваться хотя бы на 20-30 агентов, ну это будет мировой уровень.
При том что и выдумывать тут особо ничего не надо: просто берёте вот этот сервис оркестровки, написанный на чистой гошечке, красиво упаковываете => профит!
Multi-agent orchestration system for Claude Code with persistent work tracking. Gas Town is a workspace manager that lets you coordinate multiple Claude Code agents working on different tasks. Instead of losing context when agents restart, Gas Town persists work state in git-backed hooks, enabling reliable multi-agent workflows.
А так как сегодня в этом даже спецы слабовато разбираются, морочить богатеньким лохам головы и разводить на баблишко ну прямо Бог велел.
Сингулярность даже круче чем коммунизм смотрится :)
Первые ожидания что жпт заменит программистов и другую айтишную/цифровую деятельность, совершенно не оправдались, теперь на такую роль выдвинули AI-агентов. Ну ok.
То есть сегодня надо делать уже не просто "оболочку вокруг западных AI API", а именно систему агентов -- продаётся только такое. Но тут есть другой большой нюанс, что сейчас основная засада с агентами в том, что они тупые и несамостоятельные. Перезапустил их -- они забыли всё (состояние/контекст хранится в их памяти), координировать приходится часто вручную, и использование уже 4-5 агентов превращается в бардак, а десяти -- в полный хаос :)
Собственно,
"...лучшие инженеры никогда не были кодерами. Они были "торговцами ясности" — людьми, которые понимают проблемы настолько чётко, что код (теперь спецификация для агентов) пишется сам."
Типа, сегодня космически растёт спрос на оркестровку агентов.
И вот что стартаперское сегодня надо срочно пилить: обеспечить (например, хуками) продолжение работы агента с сохранением контекста, несмотря на сбои, перезапуски, сжатие... Делаем агентам айдишки, мэйлбоксы, структурируем обмен данными (можно и классическую агентскую модель вполне попробовать прикрутить, вроде Akka), и если получится более-менее линейно смасштабироваться хотя бы на 20-30 агентов, ну это будет мировой уровень.
При том что и выдумывать тут особо ничего не надо: просто берёте вот этот сервис оркестровки, написанный на чистой гошечке, красиво упаковываете => профит!
Multi-agent orchestration system for Claude Code with persistent work tracking. Gas Town is a workspace manager that lets you coordinate multiple Claude Code agents working on different tasks. Instead of losing context when agents restart, Gas Town persists work state in git-backed hooks, enabling reliable multi-agent workflows.
👍34❤10✍5
Десятки лет компании измеряли производительность разработчиков по количеству строк кода, которые они создают/изменяют, и сколько ни пытались гуру программной инженерии найти какой-то более продуктивный критерий, так и не получилось. И вот сегодня впервые за всю историю программирования, похоже, найден новый критерий:
количество токенов, сжигаемых программистами за учётный период (спринт, месяц).
Тут конечно на полную катушку включается закон Гудхарта (когда метрика становится целью, она перестаёт быть хорошей метрикой), поэтому предлагаю компромиссный вариант:
Удельное количество использованных токенов на одну созданную/изменённую строку кода.
Вопрос только в том, считать ли его высокое значение хорошим или плохим? :)
В любом случае, если вы не платите за токены LLM, вы не сможете победить.
количество токенов, сжигаемых программистами за учётный период (спринт, месяц).
Тут конечно на полную катушку включается закон Гудхарта (когда метрика становится целью, она перестаёт быть хорошей метрикой), поэтому предлагаю компромиссный вариант:
Удельное количество использованных токенов на одну созданную/изменённую строку кода.
В любом случае, если вы не платите за токены LLM, вы не сможете победить.
😁32✍9❤3⚡3🤔2
Филдсовский лауреат Теренс Тао ведёт на гитхабе страничку, где собраны многие сотни актуальных математических проблем (в основном из базы Эрдёша), которые пытаются решить с помощью 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-стартапах продолжаю :)
С одной стороны выглядит круто, но с другой стороны если посмотреть, какая там реальная активность -- ну практически никакая. На единичные решения может быть и наберётся 1-2 десятка комментов, а так везде или 0, или кто-нибудь прицепит своё решение и месяцами ждёт, когда оценит/проверит его кто-то (что в целом вообще не факт).
Вообще, похоже, когда что-то делается либо чисто для галочки, либо на голом энтузиазме, когда чел думает: вот сейчас выложу уникальные вещи/идеи в опенсорс, и начнётся движуха. Нет, не начнётся 💯
Пока что на этом в основном только AI-корпорации фейково пиарятся.
Как надо? Нужно прежде всего делать
А как у Тао получается примерно как если бы я сделал "свой теорем-прувер", который работает круче чем Lean, ну и? Можно забросить ссылку в чатик по формальным методам, может 1-2 человека из любопытства заглянут, и быстро забудут.
При том что сам мировой рынок - это ~10 миллиардов долларов.
Intel, AMD, NVIDIA, ARM, автомобильные Tier-1, Airbus, Boeing, медтех используют формальные методы для доказательства корректности архитектур. В финтехе это верификация алгоритмов высокочастотной торговли, протоколы безопасности, уж молчу про крипту и смарт-контракты.
+ Google, Amazon, Microsoft etc вкладывают миллиарды в R&D, где формальные методы применяются к оптимизации компиляторов и ОС, верификации облачной инфраструктуры, создания безошибочных алгоритмов, да и AI тут довольно мощно взлетает.
Наблюдение и думание об math-стартапах продолжаю :)
✍33👍10🤔7🏆2
Любой AI-сгенерированный контент -- это скам и слоп, сразу плюйте в него как увидите :)
Единственное исключение -- это IT, STEM и медицина, и то с огромными оговорками.
А так все эти тексты чатики картинки видео песенки от genAI -- абсолютный отстой, который необходимо приравнять к наркотикам (да он таковым и является). Пользователи распространители такого контента приравниваются к закладчикам, ну а самое зло хуже инфоцыганщины -- это "дилеры": разработчики и пропагандисты соответствующих технологий генеративного контента, продавцы обучающих AI-курсов и т.п.
Зашквариться в этой темке легко, но потом станете абсолютно нерукопожатыми личностями.
Единственное исключение -- это IT, STEM и медицина, и то с огромными оговорками.
А так все эти тексты чатики картинки видео песенки от genAI -- абсолютный отстой, который необходимо приравнять к наркотикам (да он таковым и является). Пользователи распространители такого контента приравниваются к закладчикам, ну а самое зло хуже инфоцыганщины -- это "дилеры": разработчики и пропагандисты соответствующих технологий генеративного контента, продавцы обучающих AI-курсов и т.п.
Зашквариться в этой темке легко, но потом станете абсолютно нерукопожатыми личностями.
👍36💯20🐳10🔥3🙏2
Чем легче становится сегодня маскироваться под профессионального программиста, тем с менее и менее компетентными программистами мы будем иметь дело.
Чем легче становится избегать выполнения сложной и трудоёмкой работы, тем меньше такой работы выполнит средний человек. Будь то разработка программного обеспечения или что-то ещё, мы живём в мире, где людям становится всё удобнее не "ходить в спортзал". Но нет и не будет настоящей замены многократному выполнению повторений и 10,000 часов труда до мастерства.
Я не удивлён, что большинство людей ищут короткие пути, но само по себе это действительно позор. В конце концов, вы обкрадываете самих себя, теряя прелесть живого растущего леса ради вырубленных деревьев.
Чем легче становится избегать выполнения сложной и трудоёмкой работы, тем меньше такой работы выполнит средний человек. Будь то разработка программного обеспечения или что-то ещё, мы живём в мире, где людям становится всё удобнее не "ходить в спортзал". Но нет и не будет настоящей замены многократному выполнению повторений и 10,000 часов труда до мастерства.
Я не удивлён, что большинство людей ищут короткие пути, но само по себе это действительно позор. В конце концов, вы обкрадываете самих себя, теряя прелесть живого растущего леса ради вырубленных деревьев.
4👍51💯13❤6🤔2
Базовый образовательный контент в программировании мёртв. Гайды "Как изучить Python за 2 недели". "Практические проэкты", которые может реализовать любой желающий (или попросить жпт написать их за него).
Ценность в получении всевозможных скиллов в айтишке в целом никуда не делась, но сам классический процесс обучения им отодвигается куда-то на десятые планы, стремительно трансформируясь в индивидуальные ниши личного общения, оригинального мышления и над-рационального вкуса. На первый план выходит контент, который невозможно воспроизвести, введя пару фраз в жпт и нажав энтер.
Это удивительно хорошая новость для тех, кто занимается индивидуальным менторством. Потому что в то время как все остальные стремятся увеличить объёмы продаж своих курсов и сервисов, молясь о том, чтобы выиграть в гэмблинге рекомендательных алгоритмов, реальная возможность заключается в обратном.
Не "как продавать через механики", а как быть самим собой. Это математическая глубина, точечный контент, контекст и перспектива, которую может предоставить только конкретный ментор, и далеко не всем.
Индивидуальное менторство превращается по сути в ту самую духовную практику, традиция передачи которой насчитывает многие тысячи лет.
А едва тут появляется любая прослойка между ментором и учеником (например, преподаватели на зарплате, волонтёры, старшие студенты и т.д., чему учат все эти ваши бизнес-модели роста), как эта практика превращается в труху, фейк и слоп.
Речь теперь не идёт о том, чтобы сидеть перед преподавателем, прошедшим государственную/частную подготовку, и "учиться" тому же, что и все остальные 100500 леммингов -- чтобы в итоге получить шаблонный набор типовых навыков, которые стали неактуальными ещё в процессе их изучения...
Речь теперь идёт только о том, чтобы найти человека, с которым у вас сложатся взрослые отношения. Кто-то, у кого есть видение общего будущего, которое разделяете и вы.
Ценность в получении всевозможных скиллов в айтишке в целом никуда не делась, но сам классический процесс обучения им отодвигается куда-то на десятые планы, стремительно трансформируясь в индивидуальные ниши личного общения, оригинального мышления и над-рационального вкуса. На первый план выходит контент, который невозможно воспроизвести, введя пару фраз в жпт и нажав энтер.
Это удивительно хорошая новость для тех, кто занимается индивидуальным менторством. Потому что в то время как все остальные стремятся увеличить объёмы продаж своих курсов и сервисов, молясь о том, чтобы выиграть в гэмблинге рекомендательных алгоритмов, реальная возможность заключается в обратном.
Не "как продавать через механики", а как быть самим собой. Это математическая глубина, точечный контент, контекст и перспектива, которую может предоставить только конкретный ментор, и далеко не всем.
Индивидуальное менторство превращается по сути в ту самую духовную практику, традиция передачи которой насчитывает многие тысячи лет.
А едва тут появляется любая прослойка между ментором и учеником (например, преподаватели на зарплате, волонтёры, старшие студенты и т.д., чему учат все эти ваши бизнес-модели роста), как эта практика превращается в труху, фейк и слоп.
Речь теперь не идёт о том, чтобы сидеть перед преподавателем, прошедшим государственную/частную подготовку, и "учиться" тому же, что и все остальные 100500 леммингов -- чтобы в итоге получить шаблонный набор типовых навыков, которые стали неактуальными ещё в процессе их изучения...
Речь теперь идёт только о том, чтобы найти человека, с которым у вас сложатся взрослые отношения. Кто-то, у кого есть видение общего будущего, которое разделяете и вы.
1🤔45❤15🏆6⚡2✍1
.
Облако драгоценностей за неделю.
Приватный клуб.
Интеллект вот-вот станет товаром.
Дядя Хуанг, гендир 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, дам ментатам доступ. (Занят пока перетаскиванием других курсов обратно со сторонней платформы, безумный закон о персданных украл месяц работы...)
- Ничья — мы оба покойники, - объявил Холлик. - Следует признать, что ты бился гораздо лучше, когда тебя вынудила необходимость. Я не могу допустить, чтобы мой любимый ученик пал жертвой первого же попавшегося на пути бродяги Харконнена.
"Дюна"
Облако драгоценностей за неделю.
Приватный клуб.
Интеллект вот-вот станет товаром.
Дядя Хуанг, гендир 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, дам ментатам доступ. (Занят пока перетаскиванием других курсов обратно со сторонней платформы, безумный закон о персданных украл месяц работы...)
- Ничья — мы оба покойники, - объявил Холлик. - Следует признать, что ты бился гораздо лучше, когда тебя вынудила необходимость. Я не могу допустить, чтобы мой любимый ученик пал жертвой первого же попавшегося на пути бродяги Харконнена.
"Дюна"
1❤39🔥9✍2
Я наверное остался последний в русском телеграме, кто не накручивает свой паблик :)
Несколько лет назад поставил бота, который блокирует любые резкие всплески подписки, в час пропускает не более 3 человек, удаляет старые акки... Потому что, сколько бы маленьким не был tg-канал, по мере роста к нему 💯 однажды зайдёт толпа ботов. Кстати, почти все при этом искренне считают, что написали что-то уникальное, и это к ним прибежали тысячами живые подписчики, дабы читать их нетленку. Ага.
Сейчас можно любой канал (за денежку) пробить в телеметре, тгстате и т.п. (впрочем, там же и подкупить ботов можно :). Будете сильно (или несильно) удивлены, что достаточно известные нишевые каналы в той же айтишке на 5-25k имеют околонулевой Engagement Rate. Для живых подписчиков он редко бывает менее 20-30%, но у 98% известных каналов ER меньше процента (то есть одни боты)...
И я постепенно начинаю понимать в отношении счастья, что пока ты занимаешься любимым делом, неважно, сколько у тебя подписчиков -- 50 тысяч, или 50 человек, ты в конце концов ничего не потеряешь.
Даже если в итоге ты заработаешь всего несколько миллионов долларов, всё равно стоит заниматься тем, что тебе нравится.
Несколько лет назад поставил бота, который блокирует любые резкие всплески подписки, в час пропускает не более 3 человек, удаляет старые акки... Потому что, сколько бы маленьким не был tg-канал, по мере роста к нему 💯 однажды зайдёт толпа ботов. Кстати, почти все при этом искренне считают, что написали что-то уникальное, и это к ним прибежали тысячами живые подписчики, дабы читать их нетленку. Ага.
Сейчас можно любой канал (за денежку) пробить в телеметре, тгстате и т.п. (впрочем, там же и подкупить ботов можно :). Будете сильно (или несильно) удивлены, что достаточно известные нишевые каналы в той же айтишке на 5-25k имеют околонулевой Engagement Rate. Для живых подписчиков он редко бывает менее 20-30%, но у 98% известных каналов ER меньше процента (то есть одни боты)...
И я постепенно начинаю понимать в отношении счастья, что пока ты занимаешься любимым делом, неважно, сколько у тебя подписчиков -- 50 тысяч, или 50 человек, ты в конце концов ничего не потеряешь.
Даже если в итоге ты заработаешь всего несколько миллионов долларов, всё равно стоит заниматься тем, что тебе нравится.
17👍44❤23😁11💯9✍3