TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2419 593
Формализовал в ФА оркестрацию агентов в виде графа/диаграммы1
LangGraph курит в сторонке.

Фактически ценой 1-2 сотен строк инфраструктурного кода превращаем этот ваш хрупкий мультиагентный пайплайн в целостную систему с автоматически проверяемыми стыками! Можно собирать большие графы из проверенных кусков, не боясь, что где-то всё развалится, при этом сам граф будет композиционно верифицированным по определению. Контракты ловят проблемы автоматически в CI, баг агента сразу видим на конкретном ребре диаграммы, в целом имеем "исполняемую документацию" (разработчик посмотрит на список рёбер, и сразу поймёт, кто что кому обещает) и т.д.

Допилил также Мили-машину с инвариантами, если сам AI-агент генерирует код, MISU-гарантия 100% что он соответствует формальной спецификации, заданной этим автоматом. А если агент шлёт команды в рантайме, моя архитектура гарантирует, что вы сами не сможете написать неверный обработчик его команд: система типов заставит вас явно обработать всю логику в коде, а если вы сделаете что-то криво то ошибка будет на этапе компиляции.

ps. Просили пояснить за вчерашний пост что дескать "это победа над белковыми". Ну и когда? И что теперь? А потом что?

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

А гоев так и продолжат разводить на курсы за 100500 рублей "как резать косты эйая на проде"; ничуть не критикую, инженерный аспект обязательно важен, и всё это надо знать т.к. везде уже требуют такие скиллы, но это тупик стратегически.

дым на небе дым на земле
вместо людей машины...

"Мусорный ветер" 1988
  • 👍 29
  • ❤ 12
  • 🥰 4
  • ✍ 2
  • 🤓 1
More from @lambda_brain
  1. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  2. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  3. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
  4. Sep 26, 2026А вы разве не работаете сейчас (на себя, а не на дядю)?? Потребность в программистах уже в…
  5. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
  6. Sep 25, 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 →