Гарри Поттер и Методы Математического Мышления
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 2. Девочка, которая помнила.

Гарри хотел спасти магию. Спасти всех. Как всегда.
А Драко хотел власти. Не над людьми. Над самой реальностью...

(Раз 10 главу переписывал с нейронкой: реально труднее, чем софт создавать)

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

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

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

Получил одну из последних подсказок от заморских мудрецов американских университетов (ибо экстремисты): оказывается, метапрограммирование имеет свои сорта точно как сорта имеются в модальной логике!!1 Это пожалуй один из самых глубоких инсайтов в современной теории типов.

S4: легендарная работа "A Judgmental Reconstruction of Modal Logic"
(ссылку даю на свой страх и риск, ибо за чтение Карнеги-Меллона (где была например уникально компактно формализована семантика OCaml), тоже вскоре отправишься за решётку): staged metaprogramming (MetaOCaml).

Пространственная модальность: распределённое метапрограммирование (генерация RPC).

Темпоральная модальность: мета-реактивщина, FRP, событийные архитектуры.

Агенту: текущий API - тип A (пространственный), для новой фичи B сгенерируй миграцию из A в темпоральную B с гарантией, что после выполнения миграции темпоральная B становится пространственной B.

Контекстная модальность: всевозможные тьюринг-полные темплейты вроде плюсовских.

Вложенная модальность: мета-мета, генераторы генераторов генераторов.

GL Гёдель-Лёб: Код который модифицирует сам себя.

Агенты в метапрограммировании пока вообще не тянут, путают логические уровни, и тут единственная работающая схема -- давать им инструкции как модальные типы. Например, сгенерируй систему которая проходит все тесты инвариантов, а если они падают, вызываешь regenerate(failed_invariant), и заново пускаешь тесты.

Или, агент получает "уровень 2 - уровень 1 - уровень 0, спека только на уровне 2" и генерирует правильно с первой попытки. Экономия токенов в десятки раз.

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

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

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

Христос Воскресе!
(и Гагарин полетеле!)

Не ждите, жизни лучше не будет, а будет всё хуже и хуже... Сушите каждую крошку хлеба! Скоро верующим хлеба не дадут. Будете просить, и никто вам не даст!
прп. Амфилохий Почаевский

Оффтоп: я имею моральное право говорить "по-православному" в отличие от 99,9% окружающих, из которых множество перекрасившихся и примкнувших, потому что крестился - сознательно вопреки Системе - в 1980-м, в Никольском храме в Солнечногорске, где о.Иван, обязанный от каждого такого требовать паспорт и сообщать в КГБ, не пошёл на компромисс с совестью. А так потом пришло бы в институт, меня исключили бы из комсомола, и из института (потому что у меня уже был строгий выговор по институту с предупреждением об отчислении за эээ околофутбол:). А тогда православная "тусовка" была реально хардкорной. Через 7 лет я там же венчался (а реально думал пойти в монахи, и наверное это была главная ошибка в жизни, что не собрался...), но уже вовсю шла перестройка, и то что раньше КГБ считал минусом в карму, резко стало у него плюсом.

Собственно, христианство никогда не обещало "светлого будущего", что дескать мир со временем станет добрее или справедливее... Наоборот, зло будет только концентрироваться и становиться агрессивнее. А спасётся лишь претерпевший до конца.

Ладно, теперь моя схима — математика, как у Гротендика. Пошёл изучать классную книжечку, формализация перехода от текстов к смыслу и обратно, чётко что доктор прописал применительно к математике DSL для агентов.

Теперь, когда создание автономных/чистых функций с помощью AI практически тривиально (ибо он умеет в алгоритмы с чёткой спецификацией на уровне олимпиадников), реальной проблемой становится "правильное" конструирование проекта из таких функции.

Если вы правильно формируете функциональную архитектуру, добавление в систему новых фич остаётся тривиальным (ибо всё что есть это просто композиция функций как сущностей первого порядка). Раньше таких подходов придерживались практически все профессиональные архитекторы в сложных системах, где важно было обеспечить долгосрочное развитие, но теперь это станет первостепенным для любых программных продуктов, где CTO серьёзно относится к скорости выката фич. ну и конечно для всех соло-разработчиков с агентами.

Я думаю, что именно здесь хорошие и плохие программисты будут отсортированы естественным образом.

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

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

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

.

Облако драгоценностей за неделю.

Приватный клуб.

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

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

База по карьере, серия 26:
Вы размышляли, размышляли и размышляли, взвешивали, измеряли, планировали и обдумывали. Вы выбрали точку и нарисовали стрелку. И теперь вам действительно нужно сделать свой ход.
У нас это очень плохо получается. Мы довольно нерешительные существа. Нам не нравятся неприятные вещи, а делать смелые шаги в реальной жизни неприятно. Если в нас есть хоть капля склонности к прокрастинации (а у кого её нет?), вот тут она и проявится...

Один из лучших способов научиться чему-то сложному (например, программированию) -- это ...

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

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

Интервью серьёзно меняются. Немало компаний начинают оценивать, как вы работаете в реальном времени в паре с AI, а не только умеете ли вы программировать в одиночку. И причина этому проста. Компании (уровня FAANG!) хотят, чтобы ...

Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
82. Избавляемся от зависимости от зависимостей-3
Возвращаемся к исходным 9 видам зависимостей, как с ними разбираться. Но предварительно дадим точное и практическое определение зависимости.

Большинство начинающих - а главное, и миддлов! - стабильно проваливают собеседования по программированию, потому что ...

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

В раздел "Элитный программист" добавлен материал
92) Нейрофизиология топовой продуктивности
Большинство людей считают, что им нужна длительная утренняя рутина, чтобы достичь нужного потокового состояния для максимальной работоспособности.
Ведение дневника. Растяжка, гантели. Медитация. Дыхательная гимнастика.
Но это утренняя ловушка ...

В СильныеИдеи добавлен материал "140) SOLID26: LSP-2".
...И раз единственным принципом, заслуживающим внимания, остался LSP, давайте ещё раз разберём его чуть более подробно.

В курс карьеры добавлен 132-й материал "Когда вы становитесь старше..."
Когда вы становитесь старше, вам приходится становиться агрессивно разборчивым в том, какие советы вы вбиваете себе в голову...

=

"ЛаМПовое":
Rust на bare-metal...
"Гарри Поттер и Методы Математического Мышления". Глава 2. Девочка, которая помнила.

it's a privilege to do things that are hard. 💪🏻

=

Законы, созданные для подавления, имеют тенденцию усиливать то, что они призваны запретить.
Кодекс Бене Гессерит "Дюна"

Ладно, спалю вам мою консалтинговую схему (частично).
Проверена 30 годами )

У техлида я спрашиваю ОДНО: покажи план-график по версиям продукта, как идёт реализация фич (со всей историей конечно).

Каждая фича в бэклоге каждой версии продукта должна иметь конкретного ответственного, и должна быть оценена в человеко-часах с точностью максимум 4 (в идеале 2) часа (причём строго самим программистом, без менеджерского давления). Задач в бэклоге должно быть, ну хотя бы на 3-4 месяца вперёд. Если же задачек едва наскребётся на 1-2 ближайших спринта, ну значит либо техлид совсем не тянет, либо, что более вероятно, CEO не обеспечил оперативное взаимодействие с заказчиком (и тут я сразу заканчиваю).

(Далее мы с техлидом скрытно от всех умножаем эти сроки на ТРИ, и получаем осторожную нижнюю границу, когда очередная версия может появиться в бете)))

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

(мой котик после причащения Куличом)

Паттерн test-specific equality (проверка равенства двух объектов не через универсальное сравнение, а с помощью правил, важных только для конкретного теста) подразумевает, что например экземпляры класса Dwarf в некотором контексте достаточно проверять только по Id и Name (что это тот же гном, и его имя не изменилось).

Может показаться, что это унивалентность HoTT (структурный изоморфизм с точностью до забывания структуры), но по сути это просто применение функтора проекции (факторизация по отношению эквивалентности).

И что? И ничего. Разберём с ментатами в СИ, почему этот паттерн на самом деле -- анти-паттерн, тест с запашком.

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

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

2. Заморский анализ оперирует понятием "предел последовательности". Но зачем нам бесконечное приближение к точке, если мы всегда работаем в дискретном поле "достаточно хорошо"? Ряд Коши сходится к некой абстрактной величине. Наш доморощенный ряд сходится к величине, утверждённой приказом № 703 -- и это сходимость более высокого порядка, ибо подкреплена материально. Наши ряды куда надо, туда и сойдутся!

3. Гильбертовы пространства бесконечномерны. По нонешним временам это расточительство! Наше национальное виртуальное пространство имеет размерность, равную числу согласований, которая всегда конечна, что упрощает вычисления. Более того, мы открыли новый класс объектов: "трансцендентные числа по назначению". Это числа, которые нельзя выразить корнем уравнения не потому, что это доказано, а потому, что так решили в Минцифры.

4. Западная математика ищет красивые доказательства с помощью теорем-пруверов. Наша математика -- доказательства, которые не повлекут за собой командировку в Следственный комитет. Это накладывает особую, тонкую топологию на все доказательства: они должны быть не только верны, но и безопасно верны.

Так что не нужна нам ихняя "Математика тысячелетия"! У нас своя, доморощенная задача тысячелетия: доказать, что 2+2=4, но так, чтобы 2x2=5 при этом не оказалось чьим-то частным интересом, как в случае с нацмессенгером. Попробуйте-ка решить это в гильбертовом пространстве!

Вот одна из модных темок, которые внезапно полетели с развитием агентов: гиперкастомизация (это когда у тебя 23 клиента, и каждого ты наё*** каждому ты продаёшь базу + обёртку с доп.множеством локальных фич под видом отдельного продукта :). Конечно и раньше такое было, но крайне трудоёмко: девопс вручную резолвил конфликты при каждом обновлении ядра. И хотя внутри был огромный JSON с настройками для каждого клиента, сам код всё представлял собой говно-спагетти с миллионами проверок. А ежели ещё и микросервисы, то получался ад 23 деплоя, 23 лога, 23 апдейта зависимостей... Да и не получалось на практике столько клиентов.

Теперь же каждая надстройка живёт изолированно (не в одном коде с флагами! а отдельно физически). При обновлении ядра N-я надстройка пересобирается автоматически, AI сам решает, как наложить изменения, сам тестирует результат, а чел только проверяет и одобряет сложные кейсы.

Каждая клиентская версия - отдельная git-ветка от main.
В каждой ветке файл PATCH md (что уникального сделано для клиента).
При каждом комите в main создаётся PR из main в каждую клиентскую ветку.
Агент локально обрабатывает PR: мержит, чинит конфликты, тестирует, и более того, делает скрины UI. Дешёвый и быстрый способ верификации: вместо "скачай ветку, задеплой проект, проверь" просто смотришь картинки из браузера (принимаешь работу по визуальным доказательствам). Общение просто через тот же телеграмм.

Погуглите сами, спросите AI.

=

Ну а с ментатами в "Функциональных архитектурах", разберём это всё с точки зрения теорката: есть один базовый объект, и есть семейство морфизмов из него в клиентские объекты. Эволюция ядра -- это функториальность (апдейт базы индуцирует обновления клиентских версий не вручную, а по правилу, сохраняющему структуру, на уровне всех зависимых вариантов).
Merge/rebase формализуем коммутативной диаграммой: можно сначала обновить ядро, а потом применить клиентскую кастомизацию, а можно взять старую клиентскую версию и перенести её на новое ядро, пофиг.
PATCH md -- человеко-читаемое описание морфизма кастомизации.
Агент соответственно, категориально пытается найти корректное продолжение морфизма после изменения базы :)
Смок-чеки -- это булевы предикаты жизнеспособности, а скрины нейронка умеет распознавать, они становятся источниками тестовых признаков (базис наблюдаемых инвариантов, cвидетельства корректности морфизма).

Когда клиентов твоего псевдо-индивидуального продукта 5-10, ты ещё сможешь жить на инженерных эвристиках. А когда 50, без общей модели всё расползается. Формализация же превращает "много частных случаев" в "много экземпляров одной конструкции": ядро, формализованные вариации, автоматическая миграция и верификация производных продуктов.

Вместо O(N), где N- количество клиентов (а когда N вырастет под 20, получишь O(N^N))
имеем O(K << N) где K -- число ручных правок.

Я даже думаю, что наверно подробно для Функциональных архитектур буду это ещё долго расписывать, поэтому по многим этим темкам хочу лучших моих ментатов консультировать индивидуально.
P.S. Напишите мне кстати, товарищи ментаты, кому гиперкастомизация актуальна.

Главное в процессе блокировок - не заблокировать самих себя :)
VK личные сообщения и сообщения пабликов у меня всё утро висят.
ВПН у меня кстати принципиально нету, и вроде не из Армении, а из Москвы работаю.

Боня, спаси! 🙏

Вчера я классно порассуждал письмом, и походу сделал такой важный вывод, что исходная цель Функциональных архитектур "повысить мастерство, не прокачивая скиллы" сейчас оказалось почти полностью перевёрнутой 🙈 В этом гайде я уделяю довольно большое внимание теоретической базе, плавно подводя к результирующей практике, но это как раз и есть прокачка скилов. А я хочу давать тупо прикладные методики, которые ускорят реализацию проекта с помощью AI в идеале до 1000-кратной компактности кода по Алану Кэю, позволят экономить токены агентов в 2-3-4 порядка...
Поэтому сейчас перехожу чисто на методологическую работу 🤓

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

Ну и на сам гайд конечно, где будут лайт-версии этих методик, цена станет существенно расти. Свежий отзыв по нему :)

От Функциональных Архитектур я в восторге, это просто настольная книга, молитвенник какой-то, не знаю как это назвать. Эссенциальный сборник святых инженерных откровений. Я читаю и перечитываю сам, и клода туда тыкаю постоянно.

Пока не решил, за какой из модулей возьмусь, основных семь, скорее всего за
AI и Math
...
Как быстро получить пользу от pullback в агентах
Моноид в бикатегории расслоений на F#
Identity span как протокол саморефлексии

или
Мета-AI DSL
...
DSL и формальная семантика
Уровни иерархии DSL
Почему DSL -- это (пока) искусство
DSL и математика домена

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

Покупал на туту билеты в Финляндию с женой (достало всё, честно), до чего же там кривой ui! Словно нарочно он так сделан, чтобы юзер ошибался (например, в процессе оформления дата время рейса не пишутся).

Оформил возврат, в письме пишут: "деньги вернутся мгновенно или в течение 5 дней". Позанудствовал: "мгновенно или" излишне, т.к. "мгновенно" уже входит в "течение 5 дней".

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

Сейчас, собственно (личное суждение оценочное мнение), мы наглядно видим уже на более масштабном уровне профессиональное (и увы очень успешное) продолжение спецопераций АНБ ЦРУ по окончательному разрушению с таким трудом годами формировавшихся социальный связей между патриотически настроенными умными людьми в Рунете под прямым контролем заморских кураторов...

Ладно, меня уже настоятельно попросили сдать билеты в Финляндию, теперь жена в Питер полетит отдохнуть с подружкой (или любовником? 🤔).
Остаюсь навсегда в любимой Российской Федерации (и даже только в Москве (и даже только в Ховрино!)!)! ❤️❤️❤️

Главное, знающие пацаны подсказали, что это всё на самом деле была многоходовая "медовая" операция прикрытия, о которой уже можно сказать открыто: как раз надо было выявить всю эту цэрэушную вражью иноагентуру, и прежде всего источники и спонсоров финансирования разрушения русского Рунета. Операция проведена блестяще, все тайники явки пароли детально выяснены, и уже к осенним выборам 26 начнутся посадки.
(а может быть, это всё плод моей больной фантазии под влиянием тяжёлых нейролептиков, или даже админ это всё писал 😬)

Особо хочу примкнуть к словам уважаемой В.Бони, что "не являюсь каким-то оппозиционером" 🤘

(Абсолютно кстати не согласен с "философом" Дугиным: "То, что власть живо реагирует на какую-то Боню и вообще никак не реагирует на народ, несколько изумляет". Боня как раз не какая-то, она и есть самый что ни на есть народ я/ты/мы/они! она буквально глас народа с самых что ни на есть низов особенно женщин! У неё в МАКСЕ одном 100500 подписчиков! а у Дугина? ноль! вот он и бесится!)

оффтоп закончен.

Гарри Поттер и МММ
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 3. Третий страж.

— ...Неорганические не могут сделать так, чтобы тип заклинания стал чем-то другим. Но правила, по которым мы комбинируем типы... они могут их атаковать. Через самореференцию. Через парадоксы. Через ловушки, в которых решение перестает существовать.
— Ты говоришь так, будто они намеренно послали тебе этот сон, — сказала Гермиона тихо.
Гарри остановился.
— А разве нет? Они хотят, чтобы я искал неподвижную точку. Или думал, что ищу. Или думал, что думаю, что ищу. — Он потер переносицу. — Гермиона, у меня такое чувство, что я уже внутри чьего-то плана, и проснулся только для того, чтобы это заметить.

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

В типах всё просто: терм, тип, правило вывода, пруф. Сложность по большому счёту больше на уровне синтаксиса. А в теоркате куча смыслов: класс объектов, класс морфизмов, законы композиции, универсальные свойства, функториальность, натуральность, эквивалентности вместо равенств, уровни абстракции поверх уровней абстракции...
Внешне мало символов, но смысловая плотность огромная. И перейти на уровни понимания универсальных свойств программистам например очень тяжело.

Но зато какой это космический буст для прокачки скилла архитекторства и системного мышления! Думаем всегда мыслью "какую роль эта штука играет среди всех других штук?" -- и формально!
Это Искусство видеть многоуровневые структуры в абстрактном хаосе.

Например прокачавшись в теоркате вы будете постоянно получать инсайты в своих проектах "так это же вообще одна и та же конструкция/паттерн в 12 разных местах!"

Теория категорий -- это самый мощный на сегодня и при этом очень жёсткий язык сверхсжатого мышления, где за одной стрелкой может стоять целая вселенная.

Ну, с Днём Науки СССР!

В развитие последних идей - дать любому рядовому программисту набор методик, в один миг превращающий его с помощью агентов в сеньора-архитектора (что сегодня очевидно можно объективно измерить очень легко),

думаю над следующим шагом: как вообще уничтожить всё программирование, чтобы вместо того чтобы годами учиться, фигак, и получил в руки абсолютный инструмент lowcode/nocode. Какие-то совсем базовые devops-темки часов 5-50 максимум подучить и всё, да и то временно.

Почему этим никто не занимается? Ну, потому что это не про бабло, а про его потерю :)

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

Вот хорошие темки, в которых было бы неплохо ликвидировать весь мировой бизнес: навскидку, SERP Analytics, Competitive Price Intelligence, web scraping api / под LLM, E-commerce Data Collection, где тысячи стартаперов и инди-хакеров жрут друг друга.

По мне всё это, особенно классический парсинг - откровенно мутная темка, (около)мошенническая, давно пора запретить вместе с буками и казиками, пожалуй, её и начну показательно уничтожать :)

Для этого надо построить формальную семантическую машину, где синтаксис, смысл, преобразования и исполнение заданы в единой математической теории (парсер как вывод в формальной системе).

Требования:
1. Универсальность по входам (текст, semi-structured data, бинарные форматы, API payloads, HTML, логи, DSL, естественно-языковые шаблоны)
2. Универсальность по целям (parse -> AST, validate, infer schema, repair, transform, explain errors, round-trip print/serialize, evolve grammar over time).
3. Агентность. Система не просто применяет грамматику, а сама предлагает гипотезы о формате, уточняет grammar/type/specification,
выбирает стратегию разбора, объясняет неоднозначность, гарантирует корректность некоторых частей...

Теоркат будет "архитектурным языком" для универсализации (почему он?).

Парсер как морфизм (только не в категории обычных функций а скорее всего Клейсли некоторой монады), синтаксис как функтор, структура как алгебра. Думаю будет только так парсить HTML, JSON-like мусор, логи, email / документы, табличные куски текста, полу-структурированные отчёты, простые DSL, API ответы с ошибками, OCR-текст средней грязности etc.
Сделаю сперва демо на коленке и задеплою бесплатный SaaS: будет очень красиво, очень композиционно, но очень общо :) Но зато и немало парс-бизнесов сразу умрут.

Если вы вчера прочитали третью главу про Гарри Поттера, то должны к данному моменту понять, почему почти весь парсинг можно описать через AST как неподвижную точку функтора сигнатуры :)
Представляем каждый парсер как морфизм, сборку делаем только через композицию, рекурсию задаём через initial algebra / fixed point, интерпретацию через катаморфизм/fold,
(если хочется двунаправленности то добавляем оптики + изоморфизмы),
и поверх этого фигачим "агента композиции" (оставаясь строго в теоркате).

...И вообще, в целом, как вам идея: точечно уничтожать западные ИТ-бизнесы недружественных стран выпуском бесплатных клонов с точностью до UI и API. Это будет Абсолютное Оружие! )))
А нам это не страшно, мы просто западные киллер-сервисы забаним.
Zyte, Bright Data, Rossum, готовьтесь.

UPD. Не, русских пацанов не буду обижать, конечно. Эти сервисы не будут работать с доменами ru и с российскими айпишками.

Это собственно всё, что нужно знать об "интеллекте" жпт5.4 и подобных неорганических, которым вы доверяете и код и архитекторство серьёзных систем. Задачка уровня третьего класса, для которой не нагуглить решение.

При этом жпт вдобавок упёрся в цифры, хотя и в запросе был number, и пример не с цифрами:

How can you make 60 using the same number three times but it can't be 20?
20 + 20 + 20 = 60

.

Облако драгоценностей за неделю.

Плохая новость:
Ввёл лютые дополнения в правила :) Больше никакой возможности бесконечно затягивать обучение нету, даже в платном режиме. Бан будет теперь за раздолбайство, где раньше обходились снижением скидки. Формализованы также очередные найденные дырки, которыми пользовались лентяи, чтобы рассчитывать на возможность возврата после бана, и т.п. Все детали как обычно во внутренних новостях Лаборатории.

Хорошие новости:
Начинаю индивидуальные консультации по теме Функциональных архитектур и AI агентов (попозже напишу).

Приватный клуб.

null

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

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

Было много дней, когда мне хотелось просто расслабиться, но я никогда не сожалел о том, что брал себя в руки и работал над чем-то важным для меня.
Единственный способ освоить что-либо в совершенстве - ..

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

84. Избавляемся от зависимости от зависимостей-3
Итак, у нас есть универсальное определение зависимости. Рассмотрим теперь в его свете 9 типов зависимостей, причём в некоторых случаях мы получим ответ вида "это не зависимость, но часть зависимости"...

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

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

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

=

"ЛаМПовое":
Если вы плотно поработаете с Линуксом в течение месяца...
"Гарри Поттер и Методы Математического Мышления". Глава 3. Третий страж.

Лаборатория идёт со скоростью самых лучших ментатов. 💪🏻

=

Лев Николаевич Толстой произнёс эти слова - "Я не река, я - сеть" - в Ясной Поляне, когда ему было 12 лет. Ты не найдёшь эти слова в его дневниках, но, вероятно, это самое важное из того, что он когда-либо говорил и писал.
"Капитул Дюны"