TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2222 803
10 подсистем - 300 тысяч токенов, 50 - ну 2-3 миллиона.

Как, Карл??

По заветам Гротендика и Алана Кэя, метапрограммирование, DSL и тысячекратная компактность кода, с которой экспериментировал ещё лет 20 назад (OMeta), и вот наконец час пробил :)

Ты говоришь агенту "клиент может создать заказ, добавить товары, оплатить, отменить до отправки...."

Но мы не одинаковы.

1000 классов - это 15-20 функторов между 5-7 категориями.
Я пишу категорную спецификацию, и говорю агенту
"вот категория C с 5 объектами и функтор F: C -> Код".
Ну не буквально, а на особом DSL, понятном жпт, или например в Lean4.
0 токенов :)

Забрасываю это в какую-нибудь дешёвую жпт4 "превратить спеку в шаблон-генератор на F#" (ну 1000 токенов).

Гружу этот генератор в уже совсем бесплатную ллм-ку типа дипсика. Магия -- и на выходе нужные мне 200 классов, которые идеально работают.

Надо добавить 201-й класс? Он в категории C3, и может взаимодействовать только через функтор F: C3 -> C1 (за O(1), ну в крайнем за O(k), где k - число морфизмов).
Нужно проверить только интерфейс функтора, а не 200 классов! Пишем "реализуй тип T, совместимый с интерфейсом I" (сотня токенов!).

Твои 10 подсистем - полмиллиарда токенов и хрупкость 70%.
Мои 10 подсистем - 1 млн токенов и хрупкость 10%.
Интеграция подсистем: один функтор, 0 конфликтов.

Начинаем с композиционной корректности (сеньор конечно формализует по одному инварианту через пред- пост-условия, а когда их сотни и они все склеены?). Для этого учимся видеть в бизнес-домене категории и морфизмы. Это самый первый шаг, а всего будет 7 базовых, но с пропуском даже одного топологическая цепочка порвётся, и агент бросится лепить баги и безумно сжигать токены :)
  • ✍ 50
  • ⚡ 6
  • 😇 4
  • 👍 2
  • 🥰 1
More from @lambda_brain
  1. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  2. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  3. Sep 30, 2026Ну, с Днём Рунета! Многие годы Рунет был эталонным примером свободы, а сегодня превратился…
  4. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  5. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  6. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →