Достаточно большой процент программистов (60%? 98%?) действительно не могут "физически" воспринимать даже такие элементарные вещи из формальной логики, как кванторы. Ну казалось бы, да?
Для всех значений ключа X верно, что поле Z будет ненулевым.
и
Найдётся хотя бы одно значение ключа X, для которого поле Z будет нулевым.
Они такие кивают своими собственными головами: это очевидно! -- и тут же пишут нечто вроде
не понимая концептуально EXISTS (не квантор существования формально, но близко по смыслу).
Как говорят мудрецы, "это первое ментальное усилие в их жизни, не имевшее аналогов в школе", да и в универе. При этом они вполне могут стать (и массово становятся) сеньорами(хотя всё же чаще ит-менеджерами) .
Подумайте кстати, почему квантор всеобщности в SQL отсутствует, а эмулируется через отрицание квантора существования.
Для всех значений ключа X верно, что поле Z будет ненулевым.
и
Найдётся хотя бы одно значение ключа X, для которого поле Z будет нулевым.
Они такие кивают своими собственными головами: это очевидно! -- и тут же пишут нечто вроде
SELECT
CASE
WHEN EXISTS (
SELECT 1 FROM my_table WHERE z_field IS NOT NULL
) THEN 'Все значения z_field ненулевые'
ELSE 'Не все значения z_field ненулевые'
END AS status;
SELECT
CASE
WHEN NOT EXISTS (
SELECT 1 FROM my_table WHERE z_field IS NULL
) THEN 'Нет ни одного нулевого значения'
ELSE 'Есть хотя бы одно нулевое значение'
END AS has_null_status;
не понимая концептуально EXISTS (не квантор существования формально, но близко по смыслу).
Как говорят мудрецы, "это первое ментальное усилие в их жизни, не имевшее аналогов в школе", да и в универе. При этом они вполне могут стать (и массово становятся) сеньорами
Подумайте кстати, почему квантор всеобщности в SQL отсутствует, а эмулируется через отрицание квантора существования.
1🤔36❤14😁3👍1
Коротко о важном. Собирать донаты/платные подписки по 100-200-500 рублей -- это полный зашквар. Потому что это не сумма, это диагноз. Такие блогеры совершенно неуважаемы. Ты такой стоишь с шапкой, а мимо идут люди, которые кидают мелочь, потому что на большее их фантазия не работает.
Настоящий стример/блогер собирает пачками, и катает на ламборджини. Или вообще не собирает -- потому что есть реклама, контракты, буки и казики, которые кидают подчас по 10к просто чтобы ты замолчал на минуту. А тут сотка рублей. Даже оскорбления с ней не присылают, потому что оскорбление дороже. Обозначать своё присутствие копейками -- это не поддержка, это оскорбление "вежливостью". Кто принимает такие донаты, сам себя похоронил в этой планке. Это попрошайка, у которого просто есть интернет.
Как правильно? Вот например Алиса в 13 лет проучилась в МГУ и РГГУ до педагога-психолога, и ведёт частные консультации -- 50 тысяч рублей за сеанс. Отбоя от желающих нет. Почему так она работает? Потому что её семья не нуждается в деньгах, деньги не главное. Просто спрос огромный, и Алиса так помогает людям.
У меня тоже нету ни малейшей потребности в деньгах, автономно могу многие годы прожить вообще без интернета (+ жена сделала запасы еды на полгода), поэтому и мои темки будут только сильно расти в цене, вот как у Алисы минимум.
Недавно наблюдал, как кого-то спросили, сколько денег ему нужно дать, чтобы уйти с работы и никогда больше не заниматься ничем, связанным с ней -- и что интересно, человек не смог назвать цену. Это заставляет вас осознать, что целью должно быть не накопление определённого количества богатства, а поиск чего-то, от чего вы никогда не захотите уходить на пенсию, и богатство просто оказывается побочным продуктом вашей работы.
– Скажите, Шура, честно, сколько вам нужно денег для счастья? – спросил Остап. – Только подсчитайте все.
– Сто рублей, – ответил Балаганов, с сожалением отрываясь от хлеба с колбасой.
– Да нет, вы меня не поняли. Не на сегодняшний день, а вообще. Для счастья. Ясно? Чтобы вам было хорошо на свете.
Балаганов долго думал, несмело улыбаясь, и, наконец, объявил, что для полного счастья ему нужно шесть тысяч четыреста рублей и что с этой суммой ему будет на свете очень хорошо.
– Ладно, – сказал Остап, получите пятьдесят тысяч.
"Остаток своих дней я решил посвятить науке."
(с) Дедмэн "Dead Stranding 2"
Настоящий стример/блогер собирает пачками, и катает на ламборджини. Или вообще не собирает -- потому что есть реклама, контракты, буки и казики, которые кидают подчас по 10к просто чтобы ты замолчал на минуту. А тут сотка рублей. Даже оскорбления с ней не присылают, потому что оскорбление дороже. Обозначать своё присутствие копейками -- это не поддержка, это оскорбление "вежливостью". Кто принимает такие донаты, сам себя похоронил в этой планке. Это попрошайка, у которого просто есть интернет.
Как правильно? Вот например Алиса в 13 лет проучилась в МГУ и РГГУ до педагога-психолога, и ведёт частные консультации -- 50 тысяч рублей за сеанс. Отбоя от желающих нет. Почему так она работает? Потому что её семья не нуждается в деньгах, деньги не главное. Просто спрос огромный, и Алиса так помогает людям.
У меня тоже нету ни малейшей потребности в деньгах, автономно могу многие годы прожить вообще без интернета (+ жена сделала запасы еды на полгода), поэтому и мои темки будут только сильно расти в цене, вот как у Алисы минимум.
Недавно наблюдал, как кого-то спросили, сколько денег ему нужно дать, чтобы уйти с работы и никогда больше не заниматься ничем, связанным с ней -- и что интересно, человек не смог назвать цену. Это заставляет вас осознать, что целью должно быть не накопление определённого количества богатства, а поиск чего-то, от чего вы никогда не захотите уходить на пенсию, и богатство просто оказывается побочным продуктом вашей работы.
– Скажите, Шура, честно, сколько вам нужно денег для счастья? – спросил Остап. – Только подсчитайте все.
– Сто рублей, – ответил Балаганов, с сожалением отрываясь от хлеба с колбасой.
– Да нет, вы меня не поняли. Не на сегодняшний день, а вообще. Для счастья. Ясно? Чтобы вам было хорошо на свете.
Балаганов долго думал, несмело улыбаясь, и, наконец, объявил, что для полного счастья ему нужно шесть тысяч четыреста рублей и что с этой суммой ему будет на свете очень хорошо.
– Ладно, – сказал Остап, получите пятьдесят тысяч.
"Остаток своих дней я решил посвятить науке."
(с) Дедмэн "Dead Stranding 2"
10👍25🤔19🏆4😇3🥰1
Планирую сделать "Функциональные архитектуры" стратегическим ресурсом Лаборатории, каждый день фактически пополняю. Cейчас разбираю тему мета-программирования по Алану Кэю: тысячекратная компактность кода через иерархию DSL, где ключевую роль играет наследование грамматик.
Но в целом в качестве базового языка нулевого уровня, на котором возводится эта иерархия, берём HoTT -- фундаментальный язык гомотопически когерентной математики, в котором гомотопическая когерентность не техническое условие, которое нужно проверять диаграммы, а синтаксический примитив. Это гарантирует, что например HIT, порождённый такими-то точками и путями, гарантированно будет гомотопически когерентным - по построению. Ну а главное, что в HoTT грамматика -- это тип/семейство типов, а наследование -- это путь между типами!!1
Ёлки, как красиво и стройно всё получается, кайф.
Соответственно, AI-агент, строящий модели мира на базе HoTT, не нуждается в отдельном механизме проверки согласованности альтернативных представлений. Если два описания изоморфны, они считаются идентичными.
При сборке же LLM-пайплайнов HoTT гарантирует, что композиция модулей гомотопически когерентна (ну то есть не возникает скрытых противоречий, если криво склеены интерфейсы).
Домены на HoTT позволяют агентам оперировать мета-связями (контекстными зависимостями) как примитивами языка, а не как костылями поверх этих ваших RDF.
А ADR кстати становится вообще не нужен: агент работает в языке, где вывод новых решений из существующих автоматически наследует и поддерживает когерентность всей системы архитектурных решений! Ибо системные связность и непротиворечивость встроены в логику.
Ментатам например покажу наследование JSON - JSON-LD - RDF. Агент, понимающий JSON, автоматически понимает JSON-LD и RDF, если они определены как наследуемые типы (не нужно писать отдельные адаптеры). И если два формата описывают одно и то же (например, YAML и JSON), агент может переключаться между ними без потери семантики.
Это переход от "агент пытается согласовать данные" к "агент работает в языке, где несогласованность невозможна по построению".
Но в целом в качестве базового языка нулевого уровня, на котором возводится эта иерархия, берём HoTT -- фундаментальный язык гомотопически когерентной математики, в котором гомотопическая когерентность не техническое условие, которое нужно проверять диаграммы, а синтаксический примитив. Это гарантирует, что например HIT, порождённый такими-то точками и путями, гарантированно будет гомотопически когерентным - по построению. Ну а главное, что в HoTT грамматика -- это тип/семейство типов, а наследование -- это путь между типами!!1
Ёлки, как красиво и стройно всё получается, кайф.
Соответственно, AI-агент, строящий модели мира на базе HoTT, не нуждается в отдельном механизме проверки согласованности альтернативных представлений. Если два описания изоморфны, они считаются идентичными.
При сборке же LLM-пайплайнов HoTT гарантирует, что композиция модулей гомотопически когерентна (ну то есть не возникает скрытых противоречий, если криво склеены интерфейсы).
Домены на HoTT позволяют агентам оперировать мета-связями (контекстными зависимостями) как примитивами языка, а не как костылями поверх этих ваших RDF.
А ADR кстати становится вообще не нужен: агент работает в языке, где вывод новых решений из существующих автоматически наследует и поддерживает когерентность всей системы архитектурных решений! Ибо системные связность и непротиворечивость встроены в логику.
Ментатам например покажу наследование JSON - JSON-LD - RDF. Агент, понимающий JSON, автоматически понимает JSON-LD и RDF, если они определены как наследуемые типы (не нужно писать отдельные адаптеры). И если два формата описывают одно и то же (например, YAML и JSON), агент может переключаться между ними без потери семантики.
Это переход от "агент пытается согласовать данные" к "агент работает в языке, где несогласованность невозможна по построению".
10❤50🔥8✍4❤🔥3
Глупейшее "исследование" "Which Programming Language Is Best for Claude Code?", где меряется скорость генерации кода (быстрее хорошо) и количество строк на количество токенов (больше лучше), в результате которого оказывается что топчик - это Python и JavaScript, а Haskell и OCaml наихудшие из-за того, что не прошли какие-то там левые тесты.
Static typing prevents AI hallucination bugs!
No, skipping type annotations saves tokens!
Ну это всё тот же закон Гудхарта: если цель сохранение токенов, ну дык используйте тогда бесплатные модели :) И конечно оверхед тайп-чекинга обходится в разы дороже в токенах, если забыть про неуловимые логические ошибки.
Тут во-первых перепутаны причины и следствия: не Python и JavaScript наилучшие для Клода, а наоборот Клод работает эффективнее всего с этими языками просто потому, что по ним имеется огромное количество обучающего кода.
Во-вторых сермяга в том, что вот именно типы помогают нейросеткам в разы качественнее рассуждать (но не генерировать быстрее/дешевле), языки со статической типизацией (а в целом формальные языки) -- это не про "быстро", это про "точно".
Для популярных динамических языков самая частая ошибка -- логическая ошибка, а для языков со статической типизацией (особенно для функциональных языков) преобладают ошибки компиляции и рантайма.
(Вы же надеюсь знаете, в чём отличие логических ошибок от исключений? Исключение это деление на ноль, вылез null и т.п., а логическая ошибка -- это когда программа как бы работает, но делает не то (например выполняет сортировку не по возрастанию а по убыванию)).
Потому что языки с сильной статической типизацией (Haskell, Rust, OCaml) предъявляют жёсткие требования к корректности: агент уже не может схитрить и выдать что-то, что просто запустится - он обязан дать структурно верное решение.
Вот например серьёзное исследование от разработчиков гитхаба
"Why AI is pushing developers toward typed languages"
94% ошибок компиляции в коде, сгенерированном LLM, были вызваны ошибками несоответствия типов. То есть статическая типизация автоматически устраняет 94% потенциальных проблем, которые могли бы возникнуть при использовании динамического языка.
Формальные языки -- это инструмент качества, а не инструмент скорости и дешевизны. Так собственно в программной инженерии всегда и было задолго до нейросетей.
Static typing prevents AI hallucination bugs!
No, skipping type annotations saves tokens!
Ну это всё тот же закон Гудхарта: если цель сохранение токенов, ну дык используйте тогда бесплатные модели :) И конечно оверхед тайп-чекинга обходится в разы дороже в токенах, если забыть про неуловимые логические ошибки.
Тут во-первых перепутаны причины и следствия: не Python и JavaScript наилучшие для Клода, а наоборот Клод работает эффективнее всего с этими языками просто потому, что по ним имеется огромное количество обучающего кода.
Во-вторых сермяга в том, что вот именно типы помогают нейросеткам в разы качественнее рассуждать (но не генерировать быстрее/дешевле), языки со статической типизацией (а в целом формальные языки) -- это не про "быстро", это про "точно".
Для популярных динамических языков самая частая ошибка -- логическая ошибка, а для языков со статической типизацией (особенно для функциональных языков) преобладают ошибки компиляции и рантайма.
Потому что языки с сильной статической типизацией (Haskell, Rust, OCaml) предъявляют жёсткие требования к корректности: агент уже не может схитрить и выдать что-то, что просто запустится - он обязан дать структурно верное решение.
Вот например серьёзное исследование от разработчиков гитхаба
"Why AI is pushing developers toward typed languages"
94% ошибок компиляции в коде, сгенерированном LLM, были вызваны ошибками несоответствия типов. То есть статическая типизация автоматически устраняет 94% потенциальных проблем, которые могли бы возникнуть при использовании динамического языка.
Формальные языки -- это инструмент качества, а не инструмент скорости и дешевизны. Так собственно в программной инженерии всегда и было задолго до нейросетей.
1❤36✍12👍1
Кстати, в тему классный материал "A sufficiently detailed spec is code" - с сайта HaskellForAll, который из России без впн недоступен, и соответственно скоро вообще будет недоступен никак ("не положено").
Автор легендарного блога утверждает, что невозможно создать текстовую спецификацию, которая была бы одновременно
- достаточно точной для надёжной генерации кода нейронкой, и
- при этом проще/быстрее, чем написание самого кода.
Чтобы спецификация стала достаточно точной, она неизбежно превращается в псевдокод, схемы базы, алгоритмы -- то есть, по сути, в код на другом языке.
А так как работа над спецификациями требует куда больше осмысленности, нежели кодинг, то когда команды оптимизируют скорость, как в посте выше, спецификации становятся слопом, а не результатом глубокого анализа домена. Гонсалес в частности разбирает Symphony, который OpenAI позиционирует как успешный пример генерации кода из SPEC md. И когда он попросил агентов на основе этой как бы спеки сгенерить Symphony на Haskell, агент так и не потянул и близко. Во многом кстати потому, что, как Гонсалес утверждает, сама спецификация от OpenAI выглядит как нейрослоп: бессвязный и без глубинного понимания.
Автор упоминает Дейкстру: "Переход к общению на естественном языке сильно усложнит работу машины, но не факт, что упростит жизнь человеку", и Борхеса "О точности в науке" (империя создала карту настолько детальную, что она совпадала с империей 1:1). Если спецификация будет настолько детальной, чтобы AI надежно генерировал код, она просто станет кодом.
Specifications were never meant to be time-saving devices.
"Мусор на входе - мусор на выходе"
Ага! А я про что - именно про ликвидацию этого разрыва через формализацию иерархии DSL, максимально приближенных к человеческому языку, но следующих формальным грамматикам.
Автор легендарного блога утверждает, что невозможно создать текстовую спецификацию, которая была бы одновременно
- достаточно точной для надёжной генерации кода нейронкой, и
- при этом проще/быстрее, чем написание самого кода.
Чтобы спецификация стала достаточно точной, она неизбежно превращается в псевдокод, схемы базы, алгоритмы -- то есть, по сути, в код на другом языке.
А так как работа над спецификациями требует куда больше осмысленности, нежели кодинг, то когда команды оптимизируют скорость, как в посте выше, спецификации становятся слопом, а не результатом глубокого анализа домена. Гонсалес в частности разбирает Symphony, который OpenAI позиционирует как успешный пример генерации кода из SPEC md. И когда он попросил агентов на основе этой как бы спеки сгенерить Symphony на Haskell, агент так и не потянул и близко. Во многом кстати потому, что, как Гонсалес утверждает, сама спецификация от OpenAI выглядит как нейрослоп: бессвязный и без глубинного понимания.
Автор упоминает Дейкстру: "Переход к общению на естественном языке сильно усложнит работу машины, но не факт, что упростит жизнь человеку", и Борхеса "О точности в науке" (империя создала карту настолько детальную, что она совпадала с империей 1:1). Если спецификация будет настолько детальной, чтобы AI надежно генерировал код, она просто станет кодом.
Specifications were never meant to be time-saving devices.
"Мусор на входе - мусор на выходе"
Ага! А я про что - именно про ликвидацию этого разрыва через формализацию иерархии DSL, максимально приближенных к человеческому языку, но следующих формальным грамматикам.
2✍41❤8🔥4
Юдковский известен прежде всего как автор легендарного фанфика "Гарри Поттер и Методы Рационального Мышления", но так-то он один из крупнейших специалистов по опасностям искусственного интеллекта.
Полгода назад он написал книгу "Если его кто-нибудь построит, все умрут", после чего словил дикий организованный хейт в западных СМИ.
Сейчас реально существует огромное давление не только на использование искусственного интеллекта, но и на его максимальное использование. В безумном стремлении проложить путь к успеху до наступления "социальной сингулярности" чиновники разрушают именно те навыки, которые действительно будут иметь значение в мире post-AGI: здравомыслие, стратегическое мышление, способность распознавать, когда что-то пошло не так и, главное, принимать это, а не упорствовать в своих заблуждениях.
А в отношении ГПиМРМ, что интересно, ну как бы конкретно про МРМ (научный метод, байесовские вероятности, lesswrong, критика когнитивных искажений, формальная логика, экспериментальная проверка гипотез...) в фанфике особо и нету ничего. Ну может первые 20 глаз (исследование оборотного зелья, трансфигурации волшебных палочек, теоретизирование о природе магии...), но там не имеется ни малейшей систематизации как учебной программы. А дальше по сути лишь психология и тактика (педагогика Квиррелла).
Потому что Юдковский в силу своего профиля считает рациональностью более широкие темы:
a) эпистемологию -- правильно определять, что истинно (научный метод, байес) -- Гарри уже имеет эту базу,
b) инструментальщину -- как достигать целей эффективно (психология, стратегия, тактика, теория игр) -- Квиррелл учит конкретно этому под видом "боевой магии".
Рациональное мышление в научном смысле в ГПиМРМ показано конечно, но не структурировано, а "вшито" в характер Гарри и его самостоятельные исследования.
И вот как, дорогие, мы будем это исправлять...
...Гарри, сидя в Выручай-комнате, понимает, что магия -- это исполняемый код на языке реальности, и Гермиона вздыхает: "Поттер, ты превратил магию в программирование"...
Драко Малфой решает забанить всю магию, для чего заключает союз с Неорганическим Интеллектом...
...и, казалось бы, при чём здесь теория типов?
Гарри Поттер и МММ
1 апреля.
Полгода назад он написал книгу "Если его кто-нибудь построит, все умрут", после чего словил дикий организованный хейт в западных СМИ.
Сейчас реально существует огромное давление не только на использование искусственного интеллекта, но и на его максимальное использование. В безумном стремлении проложить путь к успеху до наступления "социальной сингулярности" чиновники разрушают именно те навыки, которые действительно будут иметь значение в мире post-AGI: здравомыслие, стратегическое мышление, способность распознавать, когда что-то пошло не так и, главное, принимать это, а не упорствовать в своих заблуждениях.
А в отношении ГПиМРМ, что интересно, ну как бы конкретно про МРМ (научный метод, байесовские вероятности, lesswrong, критика когнитивных искажений, формальная логика, экспериментальная проверка гипотез...) в фанфике особо и нету ничего. Ну может первые 20 глаз (исследование оборотного зелья, трансфигурации волшебных палочек, теоретизирование о природе магии...), но там не имеется ни малейшей систематизации как учебной программы. А дальше по сути лишь психология и тактика (педагогика Квиррелла).
Потому что Юдковский в силу своего профиля считает рациональностью более широкие темы:
a) эпистемологию -- правильно определять, что истинно (научный метод, байес) -- Гарри уже имеет эту базу,
b) инструментальщину -- как достигать целей эффективно (психология, стратегия, тактика, теория игр) -- Квиррелл учит конкретно этому под видом "боевой магии".
Рациональное мышление в научном смысле в ГПиМРМ показано конечно, но не структурировано, а "вшито" в характер Гарри и его самостоятельные исследования.
И вот как, дорогие, мы будем это исправлять...
...Гарри, сидя в Выручай-комнате, понимает, что магия -- это исполняемый код на языке реальности, и Гермиона вздыхает: "Поттер, ты превратил магию в программирование"...
Драко Малфой решает забанить всю магию, для чего заключает союз с Неорганическим Интеллектом...
...и, казалось бы, при чём здесь теория типов?
Гарри Поттер и МММ
1 апреля.
5✍35❤15🔥8💯4
.
Облако драгоценностей за неделю.
Приватный клуб.
Исходно Андрей Карпатый придумал термин "vibe coding", чтобы описать щенячье-радостно-безбашенно-бесшабашный способ кодинга: вы даёте промпт, принимаете всё, что вам выдаёт AI, не смотрите diff-ы, и выполняете итерацию, сбрасывая обратно AI в чат возникающие сообщения об ошибках. Это было отличное название для создания быстрых прототипов или MVP с помощью чистого AI-автопилота, но не более...
Отчет Upwork 2026 показал, что спрос на навыки, связанные с AI, вырос на 109% в годовом исчислении; одна только интеграция AI выросла на 178%, а 77% менеджеров заявили, что AI увеличивает их потребность в специализированных кадрах.
Это говорит нам кое-что довольно ясно. Хард скиллы по-прежнему имеют значение.
Но ключевая ценность переходит к тем специалистам, которые могут внедрить/использовать искусственный интеллект в реальных системах, решать с его помощью реальные бизнес-задачи, и заставлять все это действительно работать.
Вот три пути, которые сейчас наиболее важны...
Для донов-начинающих:
База по карьере, серия 25:
Стив Джобс любил рисовать карьеру в виде стрелок. Да, но...
Как всё просто удаётся
На словах и на бумаге,
Как легко на гладкой карте
Стрелку начертить!
А потом идти придётся
Через горы и овраги...
Так что прежде, человечек,
Выучись ходить!
Большинство начинающих, не имеющих особого опыта поиска работы, стабильно проваливают собеседования по программированию, потому что ...
Совет для начинающих простой: глупо ...
Для донов-неначинающих:
OpenAI опубликовала подробный технический разбор того, как им удалось масштабировать PostgreSQL для поддержки 800 миллионов пользователей ChatGPT. Основная идея, что они добились этого без шардирования, используя один (!) основной экземпляр базы данных, и множество оптимизаций...
Материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
81. Избавляемся от зависимости от зависимостей
Сколько раз вы пытались удалить некоторую зависимость из проекта, но не были уверены, что сделали это успешно?
Чтобы ваша кодовая база не зависела от чего-то конкретного?
Или чтобы она "зависела от интерфейсов, а не от реализации"?
Или старались следовать SOLID по инверсии зависимостей?
Ну и?
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В СильныеИдеи добавлен материал "139) SOLID26: DIP".
Разбираемся, как Роберт Мартин возвёл небольшой косвенный приём в ранг инженерного принципа, и теперь мы не только невероятно раздуваем код, но и упускаем кучу ошибок...
=
- Иксианская машина? Ты отрицаешь джихад!
- В этом состоит ещё один урок. Что в действительности делают эти машины? Они увеличивают количество вещей, которые мы можем делать не думая. То, что мы делаем, не думая, представляет собой реальную опасность. Посмотри, сколько времени ты шла по пустыне, прежде чем вспомнила о защитной маске.
"Бог Император Дюны"
Облако драгоценностей за неделю.
Приватный клуб.
Исходно Андрей Карпатый придумал термин "vibe coding", чтобы описать щенячье-радостно-безбашенно-бесшабашный способ кодинга: вы даёте промпт, принимаете всё, что вам выдаёт AI, не смотрите diff-ы, и выполняете итерацию, сбрасывая обратно AI в чат возникающие сообщения об ошибках. Это было отличное название для создания быстрых прототипов или MVP с помощью чистого AI-автопилота, но не более...
Отчет Upwork 2026 показал, что спрос на навыки, связанные с AI, вырос на 109% в годовом исчислении; одна только интеграция AI выросла на 178%, а 77% менеджеров заявили, что AI увеличивает их потребность в специализированных кадрах.
Это говорит нам кое-что довольно ясно. Хард скиллы по-прежнему имеют значение.
Но ключевая ценность переходит к тем специалистам, которые могут внедрить/использовать искусственный интеллект в реальных системах, решать с его помощью реальные бизнес-задачи, и заставлять все это действительно работать.
Вот три пути, которые сейчас наиболее важны...
Для донов-начинающих:
База по карьере, серия 25:
Стив Джобс любил рисовать карьеру в виде стрелок. Да, но...
Как всё просто удаётся
На словах и на бумаге,
Как легко на гладкой карте
Стрелку начертить!
А потом идти придётся
Через горы и овраги...
Так что прежде, человечек,
Выучись ходить!
Большинство начинающих, не имеющих особого опыта поиска работы, стабильно проваливают собеседования по программированию, потому что ...
Совет для начинающих простой: глупо ...
Для донов-неначинающих:
OpenAI опубликовала подробный технический разбор того, как им удалось масштабировать PostgreSQL для поддержки 800 миллионов пользователей ChatGPT. Основная идея, что они добились этого без шардирования, используя один (!) основной экземпляр базы данных, и множество оптимизаций...
Материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
81. Избавляемся от зависимости от зависимостей
Сколько раз вы пытались удалить некоторую зависимость из проекта, но не были уверены, что сделали это успешно?
Чтобы ваша кодовая база не зависела от чего-то конкретного?
Или чтобы она "зависела от интерфейсов, а не от реализации"?
Или старались следовать SOLID по инверсии зависимостей?
Ну и?
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В СильныеИдеи добавлен материал "139) SOLID26: DIP".
Разбираемся, как Роберт Мартин возвёл небольшой косвенный приём в ранг инженерного принципа, и теперь мы не только невероятно раздуваем код, но и упускаем кучу ошибок...
=
- Иксианская машина? Ты отрицаешь джихад!
- В этом состоит ещё один урок. Что в действительности делают эти машины? Они увеличивают количество вещей, которые мы можем делать не думая. То, что мы делаем, не думая, представляет собой реальную опасность. Посмотри, сколько времени ты шла по пустыне, прежде чем вспомнила о защитной маске.
"Бог Император Дюны"
6❤37✍4❤🔥2
Короче говоря, мой Max-канал, в который типа я как в твиттер понемножку писал, закрываю принципиально. Продолжение темок более подробное, продолжаю на Бусти.
Свежачок: Полностью завершена техническая работа над стандартом C++26. "Большая четверка" ключевых нововведений. В частности будут контракты!!1 поддержка предусловий, постусловий и contract_assert (удивительно, но принято несмотря на активное сопротивление).
Там же будет и "Гарри Поттер и Методы Математического Мышления"
Ибо телеграм вместе с впн-ом скоро окончательно умрёт - а я ещё в том году пророчествовал :)
Иронично, читаю массовое возмущение и негодование, где люди приводят рациональные аргументы. Так фишка как раз в том, что это всё происходит осознанно против логики.
"Партия говорит, что дважды два - пять. Если нужно, она скажет, что дважды два - десять. Логика - это враг, который выдает еретиков. Мы должны уничтожить логику."
1984
"Используй обман, чтобы проверить своих и чужих. Поступай не так, как логично, а так, как выгодно в данный момент, даже если это абсурдно."
Сунь Цзы
"Покажите мне человека, который действует логично, и я покажу вам преступника, которого мы упустили."
Берия
"Логика здесь не работает. Здесь работает цинизм, возведённый в абсолют."
Штирлиц
Свежачок: Полностью завершена техническая работа над стандартом C++26. "Большая четверка" ключевых нововведений. В частности будут контракты!!1 поддержка предусловий, постусловий и contract_assert (удивительно, но принято несмотря на активное сопротивление).
Там же будет и "Гарри Поттер и Методы Математического Мышления"
Ибо телеграм вместе с впн-ом скоро окончательно умрёт - а я ещё в том году пророчествовал :)
Иронично, читаю массовое возмущение и негодование, где люди приводят рациональные аргументы. Так фишка как раз в том, что это всё происходит осознанно против логики.
"Партия говорит, что дважды два - пять. Если нужно, она скажет, что дважды два - десять. Логика - это враг, который выдает еретиков. Мы должны уничтожить логику."
1984
"Используй обман, чтобы проверить своих и чужих. Поступай не так, как логично, а так, как выгодно в данный момент, даже если это абсурдно."
Сунь Цзы
"Покажите мне человека, который действует логично, и я покажу вам преступника, которого мы упустили."
Берия
"Логика здесь не работает. Здесь работает цинизм, возведённый в абсолют."
Штирлиц
🙏36❤11🐳11✍6👌1
...С научной точки зрения, однако, мнение дюжины топовых гуру по состоянию потока, deep work и максимальной продуктивности (Кэл Ньюпорт например, профессор информатики, автор бестселлеров "Цифровой минимализм", "В работу с головой", "Хватит мечтать, займись делом", "Медленная продуктивность" и др., крайне рекомендую) практически единодушно:
1. Прекратите пользоваться социальными сетями (нездоровая цифровая пища, которую взрослым необходимо исключить из рациона здорового контента).
2. Держите гаджеты подключёнными к сети, только когда вы находитесь дома, а вне дома вообще выключайте их.
3. Подталкивайте ваше правительство к запрету соцсетей для детей.
3. Создавайте рабочую культуру, в которой телефоны и ноутбуки не используются на совещаниях, и формируйте стратегии совместной работы, которые не требуют постоянного обмена сообщениями.
4. Откажитесь от расплывчатых требований "использовать искусственный интеллект", и вместо этого тщательно интегрируйте эти инструменты там, где они действительно делают нас умнее, а не просто более занятыми.
Но более важным, отмечает Ньюпорт, становится общий революционный дух (нахрен цифрообщество).
Я больше не собираюсь уступать свой ум -- базу всего того, что делает меня тем, кто я есть -- финансовым интересам небольшого числа миллиардеров, владеющих социальными технологиями, и недальновидным удобствам гиперактивного стиля общения.
Сколько часов в день вы тратите на соцсети, на чатики, на бесконечное интересненькое? Но хотя бы грамм пользы вы получаете, которую можно применить прямо сейчас, а не когда-нибудь в будущем, кроме поглаживания своего эго?
Единственное, что жаль, что без впн не будут доступны качественные научные ресурсы, тем паче что сейчас STEM развивается экспоненциально, желательно оперативно быть в теме. С другой стороны, а кого-то это разве волнует? Из чиновников никто об этом даже и не заикается. "Не положено", и всё.
Кстати телеграмм (ещё в начале марта) я оплатил на три года вперёд.
И скачал многие сотни книг по математике и архитектурщине, да и в опенсорсные нейромодельки тоже зашита такая база знаний, что до программистского просветления нам точно хватит 💯
1. Прекратите пользоваться социальными сетями (нездоровая цифровая пища, которую взрослым необходимо исключить из рациона здорового контента).
2. Держите гаджеты подключёнными к сети, только когда вы находитесь дома, а вне дома вообще выключайте их.
3. Подталкивайте ваше правительство к запрету соцсетей для детей.
3. Создавайте рабочую культуру, в которой телефоны и ноутбуки не используются на совещаниях, и формируйте стратегии совместной работы, которые не требуют постоянного обмена сообщениями.
4. Откажитесь от расплывчатых требований "использовать искусственный интеллект", и вместо этого тщательно интегрируйте эти инструменты там, где они действительно делают нас умнее, а не просто более занятыми.
Но более важным, отмечает Ньюпорт, становится общий революционный дух (нахрен цифрообщество).
Я больше не собираюсь уступать свой ум -- базу всего того, что делает меня тем, кто я есть -- финансовым интересам небольшого числа миллиардеров, владеющих социальными технологиями, и недальновидным удобствам гиперактивного стиля общения.
Сколько часов в день вы тратите на соцсети, на чатики, на бесконечное интересненькое? Но хотя бы грамм пользы вы получаете, которую можно применить прямо сейчас, а не когда-нибудь в будущем, кроме поглаживания своего эго?
Единственное, что жаль, что без впн не будут доступны качественные научные ресурсы, тем паче что сейчас STEM развивается экспоненциально, желательно оперативно быть в теме. С другой стороны, а кого-то это разве волнует? Из чиновников никто об этом даже и не заикается. "Не положено", и всё.
Кстати телеграмм (ещё в начале марта) я оплатил на три года вперёд.
И скачал многие сотни книг по математике и архитектурщине, да и в опенсорсные нейромодельки тоже зашита такая база знаний, что до программистского просветления нам точно хватит 💯
1❤50✍4👍2🤔2🔥1
Ну, с Днём Математика!
Гарри Поттер и Методы Математического Мышления
Публикуется эксклюзивно в Max-канале.
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 1. Библиотека лжёт.
Гарри Поттер-Эванс-Веррес стоял посреди библиотеки Хогвартса, сжимая в руке магловскую ручку, и чувствовал, как мир под его ногами превращается в болото...
Темп 1-2 главы в неделю.
Гарри Поттер и Методы Математического Мышления
Публикуется эксклюзивно в Max-канале.
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 1. Библиотека лжёт.
Гарри Поттер-Эванс-Веррес стоял посреди библиотеки Хогвартса, сжимая в руке магловскую ручку, и чувствовал, как мир под его ногами превращается в болото...
Темп 1-2 главы в неделю.
53❤48🤯8
Продолжаю работу с ментатами 🤓
...Начал работать с Claude Code и сразу понял разницу с обычным чатом. Первый раз запустил из терминала для добавления валидации в API — ожидал что придётся объяснять где какие файлы, а Claude сам нашёл контроллеры, посмотрел как уже организован код, предложил установить FluentValidation и показал план изменений. Было непривычно что AI видит весь проект, а не только кусок кода который ему скопировал.
...Начал использовать Claude для понимания чужого кода. Работаю на проекте с DDD где много абстракций и непривычных паттернов. Вместо того чтобы час читать классы и гуглить, просил Claude объяснить что делает конкретный агрегат или зачем нужен этот Value Object. Claude показывал структуру, объяснял связи, приводил примеры использования. Разобрался в проекте в несколько раз быстрее чем обычно.
...Я в невероятном восторге, этот курс сделал меня по настоящему счастливым, без шуток! Это великолепный материал, спасибо за обьяснения, примеры кода, промпт!
Ранее я в своей ai assisted инженерии в основном пользовался правилами – functional core / imperative shell, и "immutability where you can", плюс про "тестируй интерейсы а не реализацию". Это был хороший подход, но передаваемый вами намного лучше, кратно лучше! Он может быть сложно применим в коллективной работе с низко квалифицированными программистами, но это абсолютный топ для индивидуальной работы, для своих проектов, для работы с AI!
Больше наконец стало понятно про Make Illegal States Unrepresentable, и полный восторг про рекурсивные алгебраические типы, про информационную избыточность – я ее помнил из материалов, но совсем не применял почему-то!
Больше понятно в том смысле как это все таки делать в диких рыночных языков)))
...После прохождения данного курса (F# теория и практика) мой мозг не будет прежним), мышление полностью изменилось. Кажется, что здесь очень много построено на рекурсии и лаконичности кода, все сложные манипуляции можно скрыть под небольшими конструкциями кода, что само себе и доказывает функциональное программирование — это точно очень полезная вещь.
Однозначно советую всем, кто изучает программирование пройти данный курс, как вы и говорили на практике, сразу это ничего не даст, но всё это повлияло на моё ментальное мышление, логику и понимание, однозначно мозг уловил хорошие концепции, а вот где их применять, поймешь ты сам позже, с опытом. Это что-то на ментальном уровне, даже я чувствую, что стал лучше, но пока не пойму в чем).
...Еще из положительного - блеснул перед начальником знаниями по тестированию с использованием Testcontainers – как раз то, что пару заданий назад реализовывал в дипломном проекте. Начальник очень удивился моим познаниям :)
Сейчас внедрил вечернее предварительное планирование – и заметил, что теперь существенно выигрываю во времени. Старт утренней работы теперь вообще без раскачки – открыл план и вперед. Даже «лягушки» не тормозят начало дня. Когда перед глазами четкий план из микрозадч, особенно с краткими ремарками по выполнению – реально тянет начинать работать.
С продуктивностью продолжайте, я тоже эту тему развиваю в ЭП, скоро будет следующий материал. Главное не слишком нажимайте на себя, лучший критерий - это состояние потока.
...Я как-то подсознательно побаиваюсь некоторые рабочие задачи отдавать ИИ (ну или не совсем понимаю, как сформулировать свои требования, что и в каком виде хочу получить на выходе). Вот с этим надо явно поработать
Вы точно пишете о проблеме, о которой я уже постоянно и говорю )
Надо срочно (счёт идёт буквально на месяцы) расти в техлида и постановщика/аналитика задач, в формализацию спецификаций и формализацию декомпозиций (для начала:).
Мой в тему гайд "Функциональные архитектуры" — кстати как-то не вижу особого энтузиазма, товарищи ментаты, ну штош, ваша карьера, не моя. Возможно кстати сделаю части этот гайда в виде книги на бусте для всех, в перспективе. Это сегодня например абсолютный топчик по математике агентской инженерии.
...Начал работать с Claude Code и сразу понял разницу с обычным чатом. Первый раз запустил из терминала для добавления валидации в API — ожидал что придётся объяснять где какие файлы, а Claude сам нашёл контроллеры, посмотрел как уже организован код, предложил установить FluentValidation и показал план изменений. Было непривычно что AI видит весь проект, а не только кусок кода который ему скопировал.
...Начал использовать Claude для понимания чужого кода. Работаю на проекте с DDD где много абстракций и непривычных паттернов. Вместо того чтобы час читать классы и гуглить, просил Claude объяснить что делает конкретный агрегат или зачем нужен этот Value Object. Claude показывал структуру, объяснял связи, приводил примеры использования. Разобрался в проекте в несколько раз быстрее чем обычно.
...Я в невероятном восторге, этот курс сделал меня по настоящему счастливым, без шуток! Это великолепный материал, спасибо за обьяснения, примеры кода, промпт!
Ранее я в своей ai assisted инженерии в основном пользовался правилами – functional core / imperative shell, и "immutability where you can", плюс про "тестируй интерейсы а не реализацию". Это был хороший подход, но передаваемый вами намного лучше, кратно лучше! Он может быть сложно применим в коллективной работе с низко квалифицированными программистами, но это абсолютный топ для индивидуальной работы, для своих проектов, для работы с AI!
Больше наконец стало понятно про Make Illegal States Unrepresentable, и полный восторг про рекурсивные алгебраические типы, про информационную избыточность – я ее помнил из материалов, но совсем не применял почему-то!
Больше понятно в том смысле как это все таки делать в диких рыночных языков)))
...После прохождения данного курса (F# теория и практика) мой мозг не будет прежним), мышление полностью изменилось. Кажется, что здесь очень много построено на рекурсии и лаконичности кода, все сложные манипуляции можно скрыть под небольшими конструкциями кода, что само себе и доказывает функциональное программирование — это точно очень полезная вещь.
Однозначно советую всем, кто изучает программирование пройти данный курс, как вы и говорили на практике, сразу это ничего не даст, но всё это повлияло на моё ментальное мышление, логику и понимание, однозначно мозг уловил хорошие концепции, а вот где их применять, поймешь ты сам позже, с опытом. Это что-то на ментальном уровне, даже я чувствую, что стал лучше, но пока не пойму в чем).
...Еще из положительного - блеснул перед начальником знаниями по тестированию с использованием Testcontainers – как раз то, что пару заданий назад реализовывал в дипломном проекте. Начальник очень удивился моим познаниям :)
Сейчас внедрил вечернее предварительное планирование – и заметил, что теперь существенно выигрываю во времени. Старт утренней работы теперь вообще без раскачки – открыл план и вперед. Даже «лягушки» не тормозят начало дня. Когда перед глазами четкий план из микрозадч, особенно с краткими ремарками по выполнению – реально тянет начинать работать.
С продуктивностью продолжайте, я тоже эту тему развиваю в ЭП, скоро будет следующий материал. Главное не слишком нажимайте на себя, лучший критерий - это состояние потока.
...Я как-то подсознательно побаиваюсь некоторые рабочие задачи отдавать ИИ (ну или не совсем понимаю, как сформулировать свои требования, что и в каком виде хочу получить на выходе). Вот с этим надо явно поработать
Вы точно пишете о проблеме, о которой я уже постоянно и говорю )
Надо срочно (счёт идёт буквально на месяцы) расти в техлида и постановщика/аналитика задач, в формализацию спецификаций и формализацию декомпозиций (для начала:).
Мой в тему гайд "Функциональные архитектуры" — кстати как-то не вижу особого энтузиазма, товарищи ментаты, ну штош, ваша карьера, не моя. Возможно кстати сделаю части этот гайда в виде книги на бусте для всех, в перспективе. Это сегодня например абсолютный топчик по математике агентской инженерии.
1❤47✍13❤🔥4
Все кто мог уже высказались про утечку клода кода (полмиллиона навайбкоженных строк), вот и мои 2 копейки )
Самое смешное на мой взгляд, что этот код содержит отдельную подсистему Undercover Mode, разработанную специально для предотвращения утечки внутренней информации Антропика: по сути, специальная фича AI. Вот она сама и утекла, рекурсивно :)
А всего-то из-за .npmignore, неверно сконфигурированного человеком (якобы). И тут кстати (игнор по паттернам, package.json может переопределять) даже опытный devops может накосячить. Засада -- в кривейшей архитектуре npm, в которой и PhD с поллитром не разберётся, и особо не заавтоматизируешь тесты.
Короче, уходите от blacklist-ов на "files" в package.json.
Самое смешное на мой взгляд, что этот код содержит отдельную подсистему Undercover Mode, разработанную специально для предотвращения утечки внутренней информации Антропика: по сути, специальная фича AI. Вот она сама и утекла, рекурсивно :)
А всего-то из-за .npmignore, неверно сконфигурированного человеком (якобы). И тут кстати (игнор по паттернам, package.json может переопределять) даже опытный devops может накосячить. Засада -- в кривейшей архитектуре npm, в которой и PhD с поллитром не разберётся, и особо не заавтоматизируешь тесты.
Короче, уходите от blacklist-ов на "files" в package.json.
🙏30✍20❤5
Прекрасное: "современная" музыка плавно уходит в даун (доля новой музыки в процентах от стриминговых хитов).
Крупнейшие звукозаписывающие лейблы отказались от новых исполнителей, инвестируя в старые песни.
Стриминговые платформы работают всё хуже, продвигая алгоритмическую халтуру и нейрослоп.
Тем временем мировая технократия хочет превратить создание музыки в автоматизизированное производство цифрового контента -- и потратит на это буквально триллион долларов! Инвестиции в AI‑инструменты + гигантские контент‑библиотеки + глобальные платформы и стрим‑экосистемы. Пока это планы, но самые ближайшие: превращение творчества в цифровую контент‑ферму.
С каждым годом всё меньше и меньше новых песен попадает в чарты. Каждый жанр превращается фактически в музей, где крутятся "устаревшие" произведения. А поклонники современной музыки даже не могут вспомнить имя исполнителя песни, которую они услышали в интернете, потому что никогда его не слышали.
Спад в 2025 году был ужасающим: падение популярности новой музыки ускорилось. И теперь, похоже, 2026-й год будет ещё хуже.
Вы помните времена, когда интернет-студии (а до этого тв и радиостанции) регулярно крутили 40 реально лучших (и часто сменявшихся) хитов? За весь 2026-й, судя по всему, нам будет трудно найти - во всём мире! - хотя бы 40 новых песен, которые можно было бы просто назвать хитами на уровне 5-10 лет назад...
Нахрен цифрообщество.
Крупнейшие звукозаписывающие лейблы отказались от новых исполнителей, инвестируя в старые песни.
Стриминговые платформы работают всё хуже, продвигая алгоритмическую халтуру и нейрослоп.
Тем временем мировая технократия хочет превратить создание музыки в автоматизизированное производство цифрового контента -- и потратит на это буквально триллион долларов! Инвестиции в AI‑инструменты + гигантские контент‑библиотеки + глобальные платформы и стрим‑экосистемы. Пока это планы, но самые ближайшие: превращение творчества в цифровую контент‑ферму.
С каждым годом всё меньше и меньше новых песен попадает в чарты. Каждый жанр превращается фактически в музей, где крутятся "устаревшие" произведения. А поклонники современной музыки даже не могут вспомнить имя исполнителя песни, которую они услышали в интернете, потому что никогда его не слышали.
Спад в 2025 году был ужасающим: падение популярности новой музыки ускорилось. И теперь, похоже, 2026-й год будет ещё хуже.
Вы помните времена, когда интернет-студии (а до этого тв и радиостанции) регулярно крутили 40 реально лучших (и часто сменявшихся) хитов? За весь 2026-й, судя по всему, нам будет трудно найти - во всём мире! - хотя бы 40 новых песен, которые можно было бы просто назвать хитами на уровне 5-10 лет назад...
Нахрен цифрообщество.
1💯52👍8❤6✍1
Я знаю, сколько критики (причём с обеих сторон баррикад) льётся на данную рекомендацию, но это всё же схема, которой придерживаются топовые американские кадровые коучи в дорогой нише ИТ, причём продолжают это делать и в 2026-м, хотя в США кризис программирования не меньше чем у нас.
Свежий чат с ментатом:
"...Когда я называю желаемую зп, большинство рекрутеров отваливаются уже в переписке со словами «это выше нашей вилки», что позволяет не тратить время на нецелевые собеседования."
Вот тут как раз и засада что лучше: называть высокую зарплату (тогда они сразу отвалятся), или же постараться не говорить свою зарплату первым (американский стиль :) кадровики его знают конечно, ну и что) - на самом деле, мягко продавить можно в 80% случаев, если человек действительно нужен. Просто поэкспериментируйте, смотрите где будет выше конверсия.
...Да, но если всего 1 оффер, и хороший? Всё равно, хотя бы для виду посопротивляйтесь 1-2 раза, не прогибайтесь сразу. Назовите настоящую зарплату, врать не надо (никогда не надо), вам конечно сразу скажут сумму +15% "больше не можем" - вообще не обращайте внимания на это. Просто двигайтесь по переговорному скрипту БПЗ, там и формулы есть, числовые оценки шагов скрипта, когда и как продолжить или закончить, это просто тысячекратно проверенная механика :)
"По самим переговорам - обычно придерживаюсь тактики через получение нескольких офферов и играю с рекрутерами в лесенку - говорю кто сколько предложил и жду, что они будут перебивать предложения друг друга, останавливаюсь на максимальном."
А в целом, да, надо прежде всего набирать хороших офферов. У ментатов-сеньоров, смотрю, вообще нету никаких проблем с работой, просто хочется побольше денежек - сильно выше открытого рынка 🔥
Свежий чат с ментатом:
"...Когда я называю желаемую зп, большинство рекрутеров отваливаются уже в переписке со словами «это выше нашей вилки», что позволяет не тратить время на нецелевые собеседования."
Вот тут как раз и засада что лучше: называть высокую зарплату (тогда они сразу отвалятся), или же постараться не говорить свою зарплату первым (американский стиль :) кадровики его знают конечно, ну и что) - на самом деле, мягко продавить можно в 80% случаев, если человек действительно нужен. Просто поэкспериментируйте, смотрите где будет выше конверсия.
...Да, но если всего 1 оффер, и хороший? Всё равно, хотя бы для виду посопротивляйтесь 1-2 раза, не прогибайтесь сразу. Назовите настоящую зарплату, врать не надо (никогда не надо), вам конечно сразу скажут сумму +15% "больше не можем" - вообще не обращайте внимания на это. Просто двигайтесь по переговорному скрипту БПЗ, там и формулы есть, числовые оценки шагов скрипта, когда и как продолжить или закончить, это просто тысячекратно проверенная механика :)
"По самим переговорам - обычно придерживаюсь тактики через получение нескольких офферов и играю с рекрутерами в лесенку - говорю кто сколько предложил и жду, что они будут перебивать предложения друг друга, останавливаюсь на максимальном."
А в целом, да, надо прежде всего набирать хороших офферов. У ментатов-сеньоров, смотрю, вообще нету никаких проблем с работой, просто хочется побольше денежек - сильно выше открытого рынка 🔥
❤34💯20⚡1
Странно, что если вам лень что-то создавать сегодня, то по сути вам фактически лень просто просить кого-то создать что-то для вас.
Мы подошли к тому моменту, когда, если вы не ленивы, вы можете делать в айтишке практически всё, что угодно. Любая проблема решаема при достаточном количестве токенов.
Раньше люди верили, что они облажались, потому что не умели создавать софт, но теперь, когда делать программные продукты может каждый, становится ясно, что люди ограничены ровно по двум причинам:
1. большинство их идей плохие;
2. большинство людей не справляются не с программной, а с организационной реализацией.
И дело не в том, что вы не можете этому научиться: на самом деле, это сегодня проще, чем когда-либо прежде, но большинство людей всё равно этого не сделают...
Мы подошли к тому моменту, когда, если вы не ленивы, вы можете делать в айтишке практически всё, что угодно. Любая проблема решаема при достаточном количестве токенов.
Раньше люди верили, что они облажались, потому что не умели создавать софт, но теперь, когда делать программные продукты может каждый, становится ясно, что люди ограничены ровно по двум причинам:
1. большинство их идей плохие;
2. большинство людей не справляются не с программной, а с организационной реализацией.
И дело не в том, что вы не можете этому научиться: на самом деле, это сегодня проще, чем когда-либо прежде, но большинство людей всё равно этого не сделают...
💯36✍21❤5
.
Облако драгоценностей за неделю.
Приватный клуб.
В 2025-м вопросы были в основном тревожными: “Как AI повлияет на ИТ? Как нам оставаться на рынке труда?”
Теперь вопросы скорее панические: "В большинстве сегодняшних вакансий AI может справиться с подобной работой быстрее и дешевле. Всё пропало?"
Для донов-начинающих:
Восстанавливаю набор на занятия для начинающих с полного/около нуля (больше года прошло с последнего набора 🙈), 2 места закончились за 18 минут.
Для донов-неначинающих:
Сеньор сделал для нас выжимку сегодняшних трендов по поиску работы по своему опыту, 5 советов...
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
91) Физика высокой продуктивности-3
...Пролетело три часа, а я всё ещё не приступил к работе, которую планировал сделать этим утром. Мое расписание сорвалось. Я так и не уложился в срок, несмотря на то, что в тот вечер работал допоздна.
Я уверен, что и вы сталкивались с подобными вещами -- так что же здесь произошло??
Это не было недостатком дисциплины. Это не было связано со слабой мотивацией.
Это даже не было отвлекающим маневром. Это было ...
В курс карьеры добавлен 131-й материал "Инди-хакерство 2026".
Типичная схема, как *сегодня* инди-хакеры/соло-предприниматели создают доходные продукты (условный SaaS) с помощью AI: 5 уроков.
=
"ЛаМПовое":
LinkedIn официально шпионит за тобой...
Единственный стабильный ABI на Linux -- это Windows...
"Гарри Поттер и Методы Математического Мышления". Глава 1. Библиотека лжёт.
Мы здесь, потому что это трудно 💪🏻
=
Подготовка ментата давала себя знать.
— Ты действительно внимательно относишься ко всему. Ты очень умён, если сумел заметить это. Но есть оружие, которое невозможно держать в руках. Это оружие духа и разума.
"Капитул Дюны"
p.s. "Майк и Ник и Ник и Элис" практически идеальная комедия, да ещё и с петлёй времени, рекомендую.
Облако драгоценностей за неделю.
Приватный клуб.
В 2025-м вопросы были в основном тревожными: “Как AI повлияет на ИТ? Как нам оставаться на рынке труда?”
Теперь вопросы скорее панические: "В большинстве сегодняшних вакансий AI может справиться с подобной работой быстрее и дешевле. Всё пропало?"
Для донов-начинающих:
Восстанавливаю набор на занятия для начинающих с полного/около нуля (больше года прошло с последнего набора 🙈), 2 места закончились за 18 минут.
Для донов-неначинающих:
Сеньор сделал для нас выжимку сегодняшних трендов по поиску работы по своему опыту, 5 советов...
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
91) Физика высокой продуктивности-3
...Пролетело три часа, а я всё ещё не приступил к работе, которую планировал сделать этим утром. Мое расписание сорвалось. Я так и не уложился в срок, несмотря на то, что в тот вечер работал допоздна.
Я уверен, что и вы сталкивались с подобными вещами -- так что же здесь произошло??
Это не было недостатком дисциплины. Это не было связано со слабой мотивацией.
Это даже не было отвлекающим маневром. Это было ...
В курс карьеры добавлен 131-й материал "Инди-хакерство 2026".
Типичная схема, как *сегодня* инди-хакеры/соло-предприниматели создают доходные продукты (условный SaaS) с помощью AI: 5 уроков.
=
"ЛаМПовое":
LinkedIn официально шпионит за тобой...
Единственный стабильный ABI на Linux -- это Windows...
"Гарри Поттер и Методы Математического Мышления". Глава 1. Библиотека лжёт.
Мы здесь, потому что это трудно 💪🏻
=
Подготовка ментата давала себя знать.
— Ты действительно внимательно относишься ко всему. Ты очень умён, если сумел заметить это. Но есть оружие, которое невозможно держать в руках. Это оружие духа и разума.
"Капитул Дюны"
p.s. "Майк и Ник и Ник и Элис" практически идеальная комедия, да ещё и с петлёй времени, рекомендую.
❤36✍8🐳4
Вопрос: как вам удаётся не допустить, чтобы все дни сливались воедино, когда вы работаете по найму?
...И если вы жалуетесь, что руководство заставляет вас работать с нейронками быстро и неаккуратно, я мало что могу с этим поделать. Интересно, было ли строительство пирамид таким же приятным занятием, как создание программного обеспечения...
(у меня лет 5 назад был курсант, который использовал второй монитор исключительно для просмотра футбола во время работы; оказалось, что он всего на несколько лет опередил будущее :)
"Весь смысл университетского образования в том, чтобы показать работодателю, что вы четыре года подряд регулярно где-то появлялись и выполняли серию заданий достаточно хорошо и вовремя".
Сильвестр Сталлоне, "Король Талсы"
Работа не заманивает вас в ловушку 9-18, она заманивает вас в ловушку 22-65.
"Несвободный труд не делает из человека личность, реализующую себя в полной мере, а вместо этого является эффективным средством превращения его в "вещь"
Паулу Фрейре "Педагогика угнетённых"
Карьерный путь программиста:
-стартап
-крупные технологические компании
-основатель
-курьер
...И если вы жалуетесь, что руководство заставляет вас работать с нейронками быстро и неаккуратно, я мало что могу с этим поделать. Интересно, было ли строительство пирамид таким же приятным занятием, как создание программного обеспечения...
"Весь смысл университетского образования в том, чтобы показать работодателю, что вы четыре года подряд регулярно где-то появлялись и выполняли серию заданий достаточно хорошо и вовремя".
Сильвестр Сталлоне, "Король Талсы"
Работа не заманивает вас в ловушку 9-18, она заманивает вас в ловушку 22-65.
"Несвободный труд не делает из человека личность, реализующую себя в полной мере, а вместо этого является эффективным средством превращения его в "вещь"
Паулу Фрейре "Педагогика угнетённых"
Карьерный путь программиста:
-стартап
-крупные технологические компании
-основатель
-курьер
4❤45🔥10✍9🤯4
"Блогеров будут просить публиковать данные о семейных ценностях и патриотизме. Платформы должны выделять под это 5% контента." (с)
Ок, подчиняюсь: это безумие, что приготовленные супругой овощи действительно могут быть вкусными!
И насколько же нам повезло, что мы живем в то время, когда вы можете просто создавать в интернете любые программы, да ещё и с помощью ИИ!!1
(вы же знаете, что существуют аж 22 стиля пост-иронии?)
Ок, подчиняюсь: это безумие, что приготовленные супругой овощи действительно могут быть вкусными!
И насколько же нам повезло, что мы живем в то время, когда вы можете просто создавать в интернете любые программы, да ещё и с помощью ИИ!!1
😁51👏6❤4👍1🤔1
Сделал большое обновление гайда SOLD
(про что это)
Всего 800 тыс. знаков чистого текста, добавил 6 дополнительных материалов (всего 25): если из 2026-го посмотреть на примеры кода, которые Роберт Мартин некогда отобрал для своей концепции SOLID, ну... они выглядят откровенно дерьмово :)
SOLID26: OCP
Бертран Мейер разработал этот принцип в те древние времена, когда буквально добавление одного нового поля в запись могло сломать весь код...
SOLID26: LSP
Единственный в SOLID хороший принцип :) И теперь я понимаю почему: он был изобретён людьми, которые знали математическую теорию типов.
SOLID26: SRP
Это милая маленькая эвристика, но сосредоточена она на неправильной вещи. Говорят, что Дядя Боб просто подбирал букву "S" для SOLID, а так-то он подразумевал high cohesion + low coupling.
SOLID26: ISP
Ну, "код не должен зависеть от методов, которые он не использует" -- но тогда причём здесь интерфейсы??
SOLID26: DIP
Мартин возвёл небольшой косвенный приём в ранг инженерного принципа, таким образом, выступая за его систематическое использование. Таким образом, мы не только невероятно раздуваем код, но и упускаем кучу ошибок...
SOLID26: LSP2
...И раз единственным принципом, заслуживающим внимания, остался LSP, давайте ещё раз разберём его чуть более подробно.
Товарищи не-ментаты, кто раньше приобретал, скачайте новый архив бесплатно.
Для остальных, завтра цена вырастет.
(про что это)
Всего 800 тыс. знаков чистого текста, добавил 6 дополнительных материалов (всего 25): если из 2026-го посмотреть на примеры кода, которые Роберт Мартин некогда отобрал для своей концепции SOLID, ну... они выглядят откровенно дерьмово :)
SOLID26: OCP
Бертран Мейер разработал этот принцип в те древние времена, когда буквально добавление одного нового поля в запись могло сломать весь код...
SOLID26: LSP
Единственный в SOLID хороший принцип :) И теперь я понимаю почему: он был изобретён людьми, которые знали математическую теорию типов.
SOLID26: SRP
Это милая маленькая эвристика, но сосредоточена она на неправильной вещи. Говорят, что Дядя Боб просто подбирал букву "S" для SOLID, а так-то он подразумевал high cohesion + low coupling.
SOLID26: ISP
Ну, "код не должен зависеть от методов, которые он не использует" -- но тогда причём здесь интерфейсы??
SOLID26: DIP
Мартин возвёл небольшой косвенный приём в ранг инженерного принципа, таким образом, выступая за его систематическое использование. Таким образом, мы не только невероятно раздуваем код, но и упускаем кучу ошибок...
SOLID26: LSP2
...И раз единственным принципом, заслуживающим внимания, остался LSP, давайте ещё раз разберём его чуть более подробно.
Товарищи не-ментаты, кто раньше приобретал, скачайте новый архив бесплатно.
Для остальных, завтра цена вырастет.
❤38🔥11