Я полностью закончил (сделал в смысле :) первый в мире (почему первый в мире? потому что он никому особо не нужен :) курс "Гомотопическая теория типов для программистов (1)", о котором мечтал лет 10-15 назад в духе "эх, вот бы такой когда-нибудь просто закончить (пройти в смысле:)!". Силлабус выложу для курсантов, ну вкратце - интуиционистская версия HoTT, отличия от MLTT, топологическое пространство, гомотопическая эквивалентность, Sum/Product-типы, Path, HIT, n-мерный тор, зависимые Пи-типы и Сигма-типы -- реализуем это всё на Python, все исходники + в тестах разбираем основные use cases, и в заключение делаем на этой базе игру Змейка.

Вторая часть конечно обязательно нужна для полноты (∞-группоиды, гомотопические группы, иерархия универсумов, эквивалентность типов, унивалентность...), но там уже в некотором смысле будет попроще, если проходите, первого HoTT-босса :)

По итогу, всё же должен признать что как я ни пытался задаундгрейдить эти темки до малышового уровня рядового миддла, в целом получилось сложновато. В идеале, реки -- это TaPL Пирса (хотя бы просто понять, без формул). Ну посмотрим.

Самый важный мета-результат, что в процессе я получил правильные инсайты :)

Математика существенно проще, чем программирование.
Это не программисту надо знать математику, а математику надо знать программирование.

Даже самые сильные на сегодня математические абстракции для программистов -- это всё уровень programming in small, максимум programming in large in small. Хотя, безусловно, закрыть теоретически programming in small само по себе неплохой результат.

...А вот в теме programming in large (тем паче в ultra-large-scale) ничего более-менее формального и близко нету вообще. И я теперь не уверен, нужно ли оно там в принципе, или лучше наоборот перейти на светлую(?) сторону программной инженерии? Главное, с одной стороны, соблюдать разумный формализм, но с другой стороны -- не давать клювику хотя бы даже капельку увязнуть в системной инженерии (когда мы заходим через онтологию, как в каком-нибудь фреймворке Захмана). Даже BDD будет пожалуй слегка перебором.

В принципе, вы можете следовать заветам программной инженерии всего лишь одной мета-мантрой: буду держать качество кодовой базы высоким, потому что я тот, кто впоследствии сам будет долго работать с этой базой.

=

Пойду в парк думать, медитировать и слушать Нильса Фрама. Он исполняет на гениальном инженерном произведении Klavins M450 (строгое ч/б пианино высотой 4,5 метра(!). Открытые струны, ручная работа, весит почти тонну (концертный рояль Steinway D в сравнении с ним пушинка 500 кг).

"Nils Frahm - Wesen (Official Audio)"

Просто расслабьтесь и наслаждайтесь резонансом и медленным затуханием отдельных нот. В каждой музыкальной фразе свой пафос, а гармонии парят, как звуковые облака в весеннем закатном небе... Это тот же ветер в кронах деревьев, шорох лисы в кустах, треск сучков под ногами, песня дрозда... и еще кое-что
(сразу так хочется программировать )))

Как в нынешнее время удержаться на работе, чтобы стать незаменимым, и вместо тебя не взяли AI-кодера?

1. Пихайте микросервисы куда только можно, особенно в ключевые модули. Они там бесконечно тухнут, постоянно отравляя проект, но в прогнившем виде будут стабильно тянуться из версии в версию через любые рефакторинги, оставаясь живее всех живых, и никакой AI их не заборет.

2. Пишите побольше асинхронного кода. AI будет стабильно засылать в него крайне тяжело находимые баги, практически неуловимые.

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

Отчёт за неделю.

+ Основной паблик:

Вообще, наверное, самый лучший мета-урок, который только может дать программная инженерия, таков:
Все наши предположения неверны. Солнце завтра может не взойти.


+ Для донов-начинающих:

И всё же, людей, которые сегодня учатся программировать исключительно с помощью искусственного интеллекта и LLM, ждет неприятное пробуждение в реальность...


+ Для донов-неначинающих:


37. Жёсткий хейт SOLID | OCP (СильныеИдеи++)
Open-Closed Principle - идея, что код должен быть открыт для расширения (т. е. его функциональность можно неким магическим способом расширить без его изменения), и закрыт для внесения изменений (т. е. вы можете доверять тому, что он делает, поэтому вам не нужно дополнительно возиться с ним). Честно говоря, сегодня уже мало кто понимает этот принцип, потому что он был мудрым советом лет 30 назад :)


Продолжение трека "Элитный программист":
27) Отработка "мягких" навыков в безопасной среде.
Участие в качественных технологических группах в соцсетях может помочь вам и в развитии "мягких" навыков. Ведь многие из них связаны с общением, как происходит в большинстве групп.
Вот некоторые из приёмов, которые можно использовать ...

20.05.25. Набор в мою Школу (3 места закончились за 4 минуты).


Напомню, что первые две дюжины существенно переработанных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но дружелюбные цены уже начали расти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small


+ Курс "Гомотопическая теория типов для программистов(1)".
"После майских" курс 💯 будет готов.
К лету курс 💯 будет готов.

2025 план стартапа: бросить школу и создать API/SaaS оболочку для ЖПТ.

Почему Spring мёртв?

Потому что есть опенсорсный Quarkus
(Supersonic Subatomic Java)

A Kubernetes Native Java stack tailored for OpenJDK HotSpot and GraalVM, crafted from the best of breed Java libraries and standards.
(пацаны из red hat, зашлите сотку баксов за ad)

Смерть от жадности
Spring Boot жрёт память как голодный монстр — 4 ГБ против 400 МБ у Quarkus. Платишь за воздух!

Старт как у динозавра
45 секунд на запуск? В эпоху облаков это как ждать Windows 95. Quarkus — 0.3 секунды и ты в деле!

Реактивность или смерть
Spring топит треды, Quarkus летает на ивент-лупе. Ты всё ещё в каменном веке с блокирующим I/O?

Конфиги-зомби
50 строк настроек против 6. Spring Boot превращает твой код в помойку — Quarkus даёт чистый код и свободу!

Тесты-черепахи
Spring Boot тесты ползут, как улитки. Quarkus — ракета: горячая перезагрузка за 0.2 сек и тесты на стероидах!

Облака тебя сожрут
Холодный старт Spring — 45 секунд. В serverless это как приехать на такси после того, как вечеринка закончилась.

Кошелёк плачет
65% экономии на инфраструктуре с Quarkus. Spring Boot — это спуск денег в унитаз под видом "надёжности".

Я плохо себя чувствую, если не занимаюсь одновременно хотя бы на 2-3 курсах. Вот сейчас за 4900 вписался на курс для сеошников: "пластиковые окна" и это всё...

...создание простого сайта на Тильде для продвижения в Яндекс
пересборка сайта под Гугл
покупка ссылок
настройка семантических кононов и swBM25...

Зачем?? У меня ни сайта, ни планов "раскрутки", наоборот стараюсь везде постепенно ликвидировывать свою видимость.

А затем, что постоянно приходится спасать глупеньких, хотя я их предупреждал у меня периодически спрашивают, в основном старые знакомые, которых я года 3-4 назад консультировал, но сейчас всё забросил:

эээммм нууу, я мпродал квмаритру вложилмся в разруботку думвал будт покупить как горячий пирошки а клиентов вообщ нулл...

Напомню, БАЗА: ваш бюджет 100% (время, деньги...), из которого 80% надо вкладывать в маркетинг и А/Б тестирование, и только потом 20% в разработку, и то если какая-то темка реально выстрелила (и тут вы не обойдётесь либо без покупки рекламы, либо без грамотного seo-2025).

=

КПД подобных курсов обычно 1-2%, редко 5%, чаще 0%, и всё равно получается сильно выгодно. Как его мерять? Если инфу я не могу применить прямо сейчас, или в крайнем отложить в папочку wait в ближайший месяц, значит фигня.

Хотя лучше всего всё равно остаются книги: там прям до абсолютного эффекта 💯доходит (каждая страница +1 к какому-нибудь скиллу), но и труда для отлавливания жемчужных зёрен надо вкладывать существенно (на 1-2 порядка) больше.

Но всё равно для меня книги — навсегда ключевая стратегия.

Вчера на онозе заказал очередные три штучки: "Жизнь без свободы воли" Сапольски, "Одноразовые" Сергей 051-й, и ещё одна секретная 😎

...Например, абсолютно бесполезная "полезняшка" с какого-то познавательного курса: согласно Брайану Грину (колумбийский профессор, топовый струнный теоретик), наблюдаемое пространство Вселенной, которое охватывается самыми мощными на сегодня телескопами, крайне мало: это как песчинка в сравнении с Землёй.
(При том что ненаблюдаемая Вселенная существует конечно чисто теоретически, и если вдруг появится физический наблюдатель, хз что обнаружится)
То есть это дерьмо очень большое :)

И запомнил я это исключительно потому, что получается даже не метафора, а реальность. Вчера устроил дипсику с дипсинком (код пишет неплохо, но отладку и фикс багов вообще не тянет) хорошую взбучку, повозил его мордой об рельс за совсем тупую ошибку, и вот что он ответил в оправдание:

"Возможно, я допустил ошибку, невнимательно прочитав требования к методу ..."

Как?? Как AI может невнимательно прочитать требования?? Да ещё и "возможно". Понятно, что это просто наиболее подходящий к ситуации статистический ответ...

Это я к тому, что дерьмо от AI реально очень большое: гораздо больше, нежели мы способны понимать и наблюдать в принципе, и какие логические закладки он делает в ваш проект, одному Грину известно.

=

Посмотрел "Вне юрисдикции"
(когда забыл принять таблетки)
Ключевая фраза фильма: "Откуда ты? АНБ? ЦРУ? Айтишник?" 😁

Продолжаю работу с курсантами 🤓

...Во время расследования бага я выяснил, что в полученной сущности( из внутреннего ядра, это соседний проект коллег) жсон поле со значением типа int(хотя всегда был строкой и всегда должен быть), отчего падала вся интеграция

(По этой причине я вообще против нетипизированного json, но он уже давно стал стандартом в мейнстриме.)

...Каждый тест, даже простой завалился, при старом коде.

...Что интересно - эту функцию парсинга применял на нескольких проектах. И казалось бы - элементарные тесты, нашли здесь сразу ошибку, в кейсе с вызовом функции и передачей пустой строки
Исправил, задумался.

...В общем, я уже смог применить что-то похожее на "замыкание" для обхода различных хранилищ данных и загрузки их в один датафрейм, что оказалось очень полезным. Это также невероятно удобно, если получается создать NullObject'ы и композит. Это как будето даёт набор "деталей" которые можно произвольно объединять, переставлять местами или заменять без изменения логики кода, а просто работой с объектами.

...Очень сложно уже для моего понимания. Наверное нужно спуститься на пару уровней вниз и отрабатывать навыки последовательно. Что ж, однозначно мотивирует. Думаю, возобновить ежедневные занятия SQL хотя бы по 30 минут, теперь регулярно, а не наскоками. По крайней мере, я видел к чему стремиться)

...Для групп Ли мне мотивации не хватает.
Преподаватель теории групп, которого я должен был заменить, передумал на пенсию уходить.
Мне бы в 90+ такую работоспособность :)

...Окончательно паззл сложился после материала про паттерн Посетитель с примером на питоне про гномов. За него отдельное спасибо, я своим умом доходил или до ФП, или до ОО решения, но не до универсального с multiple dispatch и иерархией посетителей.


...Очень сильно потянуло в сторону ФП, поскольку надоело писать и поддерживать однотипный ООП код с кучей условий, который:
• тяжело протестировать;
• кидает исключения где попало, невозможно нормально прервать цепочку и получить результат;
• тесно привязывает методы к сущности, которые тяжело отвязать и компоновать;
Как бонус - теперь при прочтении интерфейсов сразу вижу типичные проблемы, когда они плохо спроектированы и могу итеративно это исправить.

...Эталонный пример ужасает своим объёмом. В следующем задании, наверно будет ещё больше. Искренне жаль тех, кто сталкивается с подобным в своих проектах.

(Ну так-то это уровень крепкого миддла:)

...И куда тогда дальше двигаться стратегически? Чтобы закладываться хотя бы на конец текущей десятилетки, когда AI станет генерить невероятные кучи дурно пахнущего кода, причём такой вайб станет по сути стандартом? Какие скиллы будут ключевыми?

...Где-то с осени 24-го я не читал ведущих спецов computer science, на днях заглянул в твиттер -- изменилось всё! Поголовный вайб-кодинг. Захлёбываясь от восторга, известные математики хвастаются, как ЖПТ им написал расчётный алгоритм на сто питонячьих строк.

Почему, как оказалось в итоге, я пояснял:
Математика существенно проще, чем программирование.

Так что же будет будущим программной разработки?

Тестирование. QA. TDD. BDD. TLA+. Формальные спецификации и математика уровня HoTT.

Программисты, по большому счёту, и сегодня пишут просто рандомное дерьмо, для которого ни до ни после не сформулированы никакие правила и ограничения.

Конечно, ЖПТ их вполне сможет заменить.

Специалисты по системному контролю качества, Гуру интеграционных тестов, Мастера формальных технических заданий -- именно это и будут те Инженеры, кто знает, как на самом деле должно работать всё это программистское 💩

Я решил пойти по пути Аяза Сэма Альтмана: добавил сегодня в ачивки карьерного трека темку "свой ИТ-бизнес" (своего рода генерик предыдущей "платный блог"). Пока необязательная, чисто по желанию; кто из моих курсантов по теме карьеры занимается на формате 2, с полного нуля помогаю пока БЕС-ПЛАТ-НО.

У Альтмана есть закрытый чатик с друзьями (вот ровно как у меня теперь), где они делают ставки на то, кто первым заработает 1 миллиард долларов в бизнесе одного человека (то есть вообще без помощников даже на рутину и оперативку). И так-то там уже немало пацанчиков и тянок, которые в одно лицо давно пробили отметку в 1 миллион, а в этом году уже и 10 миллионов долларов -- с помощью AI, соцсетей и цифровых продуктов (причём далеко не все там программисты).

Я наверное расширю мой список блогеров, где тоже будем делать аналогичные ставки :)

С чего начать? С мета-правила: не ссыте!

Из сегодняшних чатов:

...я всё-таки решился попробовать вести блог, вновь вспомнил почему не люблю писать, но мне кажется это полезным в плане усваивания материала.
Скромно, неудобно, стеснительно и так далее, не считая того, что само написание у меня отнимает силы и время в большом количестве. Но надеюсь мне просто нужна адаптация.

Дорогие! В 2025-м вам надо не просто прокачивать блог и гитхаб.

Вы должны ВЫЁБЫВАТЬСЯ!!1

И это не метафора.

От одного из наших блогеров:

...Мой блог наконец приносит плоды, меня нашли не через блог, но я сразу козырнул им HR'ке, она передала его парням, СТО пришел уже под впечатлением, не выяснять мои компетенции, а подтверждать и знакомиться.
Да, я хорошо помню что называть первым число тактически может быть не верным, но я на $8k с радостью уйду :)

P.S. Дальше, напишу, какая самая прибыльная ниша для онлайн-бизнеса в 2026-м для программистов. Вписался для разминки вчера в пару платных блогов на сабстэке, ровно для вас.

...И первый шаг к миллиардерству - это конечно же глубоко освоить Arch Linux. Какой-то пакман-шмакман... как хорошо было на убунте :)

Каждый курсант теперь в обязательном порядке должен установить arch и поработать из него: это научит вас бесконечно большему знанию компьютеров, нежели любой онлайн-курс.

Сейчас я слушаю классическую музыку, работаю в Arch и чувствую себя натуральным психопатом.

p.s. ладно...

sudo pacman -S mc

...Но прежде чем стать долларовым миллиардэром, сперва надо быть не оштрафованным на рублёвые миллионэры )

Сегодня последний день регистрации в РКН как Оператор ПэЖэ ПэДэ, если храните у себя даже просто имена, почту, айдишки соцсетей и т.п. Иначе, для разминочкви вам влепят штраф тысяч на 30 долларов, а потом в кутузку.

Поэтому политика обработки перс.данных моей Школы такая: никакой политики!

Дорогие, у меня никогда вообще ничего вашего персонального не хранилось, не хранится и не будет; в майсикле зенона чисто ваши ники на учебном сервере и всё, даже логов и истории занятий не веду принципиально, а бэкап всей учебной базки за семь лет едва дорос до 500k, да и то там 70% sql-код. Минимализм a la arch - это наше всё.

(Но я на всякий случай добавил в базу галку "согласен на обработку ПД", кто не согласен немедленно уходите :)

=

То есть если например вы в экселе списочек клиентов локально ведёте,
или если вам отправляют ПД для заключения договора - вы оператор ПэДэ, потому что ваш ноут считается формально ЦОДом. (Я-то старая школа, в бумажной тетрадочке в клеточку, что не подпадает...). Если зарегили абтюя-кассу для приёма платежей онлайн, транзакции там -- это тоже ЦОД => собачьей рысью в РКН.

Вообще, если вы получаете данные, которые относятся к определённому или определяемому человеку -- то это ПД, а вы их Оператор. А если вы используете например гугл-формы, то это будет почти как шпионаж: трансграничная передача ПД. Причём Оператор должен вроде как отчитываться чуть ли не в реалтайме на каждое полученное персданное, и когда к вам нагрянут хмурые тёти, у вас должны быть все эти документы, согласия от клиентов и т.п.

То есть вообще любой цифровой чих совершенно реально можно обозвать "оператором пэдэ". Чатик в тг с регистрацией -- явный сбор ПД. Личная страничка с фотками друзей -- ПД (ибо штрафы нехилые и для физлиц).

=

Бизнес в России развивать легко и просто, говорили они...

Причём высокие чины вам заявят что "это другое", а на практике низшие тупо штрафанут только так, и жаловаться пойдёшь в Спортлото.

Trae -- внезапно классная и лёгкая совсем AI-IDE, и стоит существенно дешевле этих ваших курсоров, и free режим неплохой. На скрине это я делаю в ней второй курс по гомотопической теории типов (хотя, по-прежнему, удобнее автономного ai-чатика нету пока ничего).

Риторическое: почему бы нашим не делать что-то подобное вместо монструозных и неповоротливых IDE наподобие GIGA-фигига...

🔥 5 причин, почему Carbon — это новый король системного кода! 🔥

Google's Carbon Language: An experimental successor to C++

1️⃣ 🚀 Память без головной боли
▸ В C++ утечки, use-after-free и UB — это как игра в русскую рулетку 💀.
▸ Carbon гарантирует memory safety на этапе компиляции — никаких ночных дебагов с valgrind!

2️⃣ 🔄 C++ совместимость без боли
▸ Rust требует переписывать всё с нуля ❌.
▸ Carbon работает с C++ напрямую — подключаешь старый код и постепенно мигрируешь.

3️⃣ ⚡️ Нулевые накладки, но с предсказуемостью
▸ C++: "Ой, а почему этот std::vector внезапно тормозит?" 🐢
▸ Carbon: Гарантированная производительность как у ручного C++, но без сюрпризов.

4️⃣ 🧩 Синтаксис для C++ девелоперов
▸ Rust с его ownership model — это как учить китайский 🈶.
▸ Carbon — почти как C++, но без кучи граблей. Переход за дни, а не месяцы!

5️⃣ 📈 Миграция без риска
▸ Chrome уже тестирует:
✔️ 0 багов с памятью
✔️ +40% к скорости код-ревью
▸ Можно начинать с малого — не нужно «всё или ничего».

💼 Вывод:
Carbon — это C++ 2.0 для тех, кто устал тушить пожары в продакшене. Если у тебя тонны legacy-кода, но хочется спать спокойно — это твой выбор. 🚀

P.S. Rust хорош для новых проектов, но Carbon — единственный путь для гигантов вроде Google. Держи курс на будущее! 🔮

AI сегодня приносит вашему боссу огромные сверхприбыли: вы станете делать тикеты в 2-8-32-128 раз быстрее, а ваша зп не вырастет при этом даже на 0,2% (ну вам же платят "за рабочие часы").

Поэтому, база: если есть хотя бы маленький выбор, НЕ используйте AI в найме (а только для своих проектов). Вырабатывайте спокойно рабочие часы, изучайте полезные темки гуглом и SO, прокачивайте свои реальные скиллы.

Но если будут прям настаивать, требуйте Курсор/Виндсерф/Трэй с корпоративным тарифом, и задействуйте его по максимуму прежде всего для самообразования (Агенты, MCP, ...), изучайте для себя, потому что ЖПТ это уже достаточно сложный отдельный скилл.

А если начальники просто тупо мямлят что-то в духе "ой, ребятки, а давймте жэпэт чятики используен", ну ок, фигачьте по максимуму вайб-кодинг, который через несколько месяцев техдолг увеличит на порядок, и вы станете абсолютно незаменимым кадром и получите мощнейший рычаг давла :)

Если вы можете просто нормально разговаривать с людьми, вы опережаете 98% программистов.

- где учился?
- мгу
- чего мычишь? разговаривать-то умеешь?

Отчёт за неделю.

Последний набор в мою Школу для начинающих с полного нуля (3 места закончились за 28 минут)
Следующий набор будет осенью или в 2026-м. Но есть нюанс...
Раз в месяц (вот как сегодня) я открываю одно место на начальный курс-тест "Годитесь ли вы в программисты". Кто его успешно проходит может, продолжить в моей Школе. Но найти это место - хардкорный квест уровня хакерских паззлов из "Quadrilateral Cowboy".
p.s. Хм, кто-то быстро уже нашёл :)


Основной паблик:

До ЭПИЧЕСКОГО сбоя всех систем, работающих на Linux/Unix, осталось ВСЕГО 13 лет! Ну и?
Я в своё время поучаствовал, да и неплохо подзаработал, на проблеме Y2K, но 2038-й тогда казался чем-то вообще из другой Галактики...


Для донов-начинающих:

Мы оба знаем, что чтение (и тем более просмотр) любых учебных и образовательных материалов само по себе не изменит нашу жизнь. И вот что делает тебя несчастным ...


Для донов-неначинающих:

38. Жёсткий хейт SOLID | LSP (СильныеИдеи++)
Пояснение LSP в рамках SOLID весьма небрежно и расплывчато. Subtypes -- понятие достаточно строгое, но большинство разработчиков смешивают например подтипы с подклассами, после чего мы погружаемся в бесконечные разбирательства наследования на основе классов в духе is-a и has-a. Моделирование сущностей на таком уровне характерно примерно для 1980-х годов, когда мы пытались впихнуть круглое в квадратное под предлогом "ведёт-себя-как", "может-иногда-использоваться-как", "выдаёт-себя-за-того-на-кого-похож", с обязательным упоминанием утиной типизации...


Напомню, что первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но дружелюбные цены уже начали расти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small

=

Курс "Гомотопическая теория типов для программистов (2)" в процессе.
Реализовал группоиды (включая ∞ и высшие пути), n-мерные гомотопические группы, бесконечные последовательности гомоморфизмов, методы для вычисления гомотопических групп, усечения, стягиваемые типы...
Этим летом курс 💯 будет готов.

Продолжаю работу с курсантами 🤓

...Создал на hh новый аккаунт и сделал резюме аналогичное тому, что у меня, чтобы откликаться на все вакансии 300 т.р. и выше. Делаю отклики по 1-2 в день последнюю неделю. Всего пока около 10 откликов. Удивительно, но пока ни одного предложения даже на собеседование прийти не получил.

...Вы писали про рефлексию.
Концепции я понимаю, но когда дело доходит до реализации...
Почему-то конструкции не складываются, или складываются очень сложно и долго.
Но так приятно когда в итоге решаешь задачу.
И если быть честным бывает прибегаю к помощи ИИ, тк времени не хватает (это моя проблема конечно же).
Плюс Ваши посты с резкой сменой риторики насчет ИИ, с одной стороны неудивительно.
С другой мысль, а не сарказм ли это над публикой, которая лайкает все. Хотя в Вашем сообществе мне кажется своя публика.

...прошел доп. курс о лямда-исчислениях за 12 минут.
Если честно, было сложно, я потратил часов 8 на это, вместо 12. И все еще не уверен, что все понял)
Довольно сложно в таких абстракциях думать, мозг, прям, напрягается.
Хотя, у меня в универе был хаскель 10 лет назад. И даже пролог)
Кажется, что тогда это давалось проще, может, мозг к работе адаптировался и другое, видеть не хочет))

Да, хаскель это по сути лямбда-исчисление и есть, но если это не понимать, то будет от хаскеля в основном только вред.

...Сам от себя в изумлении какие имена для персонажей и машин возникают в голове посреди ночи.
(это мы делаем с курсантом дипломный проект -- клон Стравы/Яндекс-такси - по моим меркам, сегодня чисто джуниорская темка)

...я сегодня очень удивился, изучая новую инфру своей команды и онромное количество микросервисов, наткнулся на proxy-сервис к бд и что я там увидел, а там все данные хранятся в формате JSON в PostgreSQL, прям как в последних задачах по SQL. Таким образом я получил от этого курса пользу буквально сразу же, конечено, у нас нет таких сложных запросов, как последние из 5 ваших задачек, но за то увидев миграции и данные я не теряюсь и могу спокойно с этим работать, отличный курс! Буду перерешивать задачки по мере изучения SQL на работе

...Вот буквально сегодня на работе столкнулся с подобной проблемой. Нужно было вывести некоторые метрики приложения из БД в графану. Но разработчик, который писал приложение, реализовал модель в БД таким образом, что просто так получить простую и понятную, элементарную информацию нет никакой возможности. Вместо простого подключению БД в качестве источника в Grafana и написания одного запроса нужно писать скрипт, который в цикле обращается к несокольким эндпоинтам API, выполняет преобразование полученных данных, записывает итоговые данные в отдельную БД с метриками. И уже из сторонней БД можно будет получить эти метрики. А можно было предусмотреть "информационную избыточность" и реализовать удобную модель данных для этих целей.

...В остальном существенно перестроил свой быт - ежедневно, после ужина, “выхожу во вторую смену” и засиживаюсь за решением, как правило, до часу ночи. Отказался от просмотра видосиков и пивка по вечерам. Отказываю в общении и мероприятиях в пользу программирования. Но чувствую, что на данном этапе такого усердия с моим уровнем всё-таки не достаточно.
Хочу поделиться радостью - спустя два месяца изучения азов программирования я написал свою первую рабочую программу на работе - мне необходимо было рассчитать количество ставок до момента достижения предельно допустимого лимита в аукционе. Любопытно, что у меня не возникло желания сделать расчёт по-старинке в excel - я сразу открыл python tutor и написал работающий код полностью по памяти!

...Вы нисколько не обманули, когда написали про задания ужасающей сложности, именно такими они и показались. Хотя по времени вышло не очень много, у меня это заняло 17 часов, но это были самые неприятные часы. Перед началом каждого занятия ещё требовалась моральная подготовка. Никому не могу порекомендовать этот курс и сочувствую тем, у кого есть подобное на проектах.
(Ну так-то такое на сегодня считается типичный миддловский бэк)

Резюме такое, дорогие, что эйчары, а потом и AI, сломали ИТ-найм в России более чем полностью. Всё началось с того, что они стали фильтровать джуниоров по опыту, в ответ те начали крутить опыт, и в итоге всё предсказуемо закончилось тем, что сейчас на нормальную типовую вакансию 3-4 года опыта сразу прилетают сотни однотипных полуфейковых резюме, и в этом потоке вы потеряетесь просто статистически.

Впрочем, про важность нетворка я твержу последние лет пять, но за всё время из сотен ребят прокачал его от силы 1%, а полуживые блоги завели, может, 2-3%. Штош.
Вы никому не нужны, и никто вас жалеть не будет 👊

Ещё раз: найм в ИТ сломан, и никаких перспектив к восстановлению нету и не будет. Вообще независимо от вашего опыта и скиллов, работу шаблонными способами больше найти невозможно, только потратите кучу времени впустую.

Поэтому я вношу изменения в курс карьеры: дорогие, с лета 2025-го года для поиска работы от вас требуется не вылизанное резюме с сопроводительным письмом, и не упорство в бесконечном хомячьем тапанье по вакансиям, и не помощь ментора, и даже не софт-скиллы: от вас теперь требуются брутал-скиллы. Всё подобное остальное будет лишь их естественным следствием.

Например, с курса карьера у меня ребята постоянно сливаются, едва я отрываю их от аутичного изучения технических темок в уголке в реальную жизнь, и внезапно оказывается, что просто подойти поговорить с начальником о повышении зп -- это какой-то космический страх.
проработка травма отца просто детский сад штаны на лямках 🙈

Брутал-скиллы -- это про то, что сегодня развивать свою карьеру программистом -- пожалуй, уже самая сложная и техническая, и поведенческая задача в мире. Здесь теперь не обойтись и без инди-хакерства, и без социальной инженерии, и без манипулятивных скиллов, и без актёрского мастерства, да и без реального хакерства и т.д. и т.п.

А уж "войти в айти с нуля" -- это реально задача уровня разведчиков-нелегалов ГРУ 😎

Этим летом, к осени, и будем это всё развивать 💪🏻