TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2619 551
...Да, вы можете записать в SKILLS архитектурные шаблоны, и будете получать полезный фидбек. Эти скиллы отлично работают, когда вы запускаете их на своём компьютере. Вы получаете полезные комментарии, исправляете то, что стоит исправить, и двигаетесь дальше.

Но как только вы запускаете это в общий рабочий процесс... Это будет ужасно. Шум становится просто невыносимым. Вы начинаете тратить кучу времени просто на просмотр комментариев нейронки.

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

У вас есть довольно странные и оригинальные внутренние правила, которые отлично работают в вашем проекте, но как привлечь к этому AI, не сжигая кучу токенов и не занимаясь кропотливой настройкой универсального AI-фреймворка?

Спалил эту фичу в "Функциональных архитектурах",

и дальше на неделе в ФА будет база, как вытащить нейронкой из твоего проекта формальные инварианты (на TLA+ например), автоматизировать поиск багов асинхронщины/конкурентности и, главное, вдолгую поддерживать модел чекинг одной кнопкой: лифтимся на формальный уровень проектных абстракций, аналитик/постановщик может читать формальные спеки и норм думать об проекте, и агенты.
  • ✍ 33
  • ❤ 6
  • 👍 2
More from @lambda_brain
  1. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
  2. Sep 25, 2026Свежее от ребят (и девчат). ...Так же было собеседование в Сбере, каким то чудом прошел их…
  3. Sep 24, 2026Приятный синхронизм: сразу двое ребят в один день прислали отчёты - второй курс по гомотоп…
  4. Sep 24, 2026Post #2665
  5. Sep 23, 2026Помните, летом я писал, что каждый месяц будет какая-то "новая" AI-темка (шоу должно продо…
  6. Sep 23, 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 →