День 036b — Дневник продакт-менеджера — Вывод продукта по проектированию данных Red5Sorcery на рынок
TheSocialCredit
0:00 / 0:00
День 036b — Дневник продакт-менеджера — Вывод продукта по проектированию данных Red5Sorcery на рынок
5 просмотров · 4 дня назад
TheSocialCredit
315 подписчиков
5 просмотров · 4 дня назад
Разработка ИИ на основе спецификаций — это соль на картошке фри.
Полезно? Безусловно.
А вот блюдо? Даже близко нет.
Во время создания Red5Sorcery Data Sculptor мы со Споком постоянно сталкивались с одной и той же проблемой:
Спецификация может указывать ИИ, что нужно построить.
Она не указывает, как перейти от этой спецификации к надежному программному обеспечению, не теряя при этом доказательств, понимания, непрерывности или ответственности человека.
Именно отсюда и появилась **разработка с парным делением в столбик (PLDD)**.
Мы не изобрели PLDD на доске.
Мы обнаружили её на строительной площадке.
PLDD делает важную промежуточную работу видимой. Мы работаем небольшими, ограниченными шагами, используя Rust, Cargo, PowerShell, cmd, инструменты .NET, WebAssembly и браузер.
Никакого VS Code. Никакой панели управления IDE.
Не потому, что IDE плохи, а потому, что мы хотим, чтобы процесс сборки был открыт.
Команды вводятся. Результаты возвращаются. Важные выходные данные напрямую передаются в текстовые файлы с доказательствами. Мы их изучаем, объясняем и решаем, достаточно ли доказательств для дальнейшего продвижения.
Ритм прост:
проектирование → выполнение → наблюдение → сбор доказательств → проверка → объяснение → принятие человеком → обновление «чемодана»
После каждой принятой контрольной точки «чемодан» обновляется, так что следующий шаг начинается с известного, сохраненного состояния, а не с памяти диалога.
*Разработка через тестирование (TDD)* обеспечивает нам исполняемые проверки во время сборки.
Но TDD не заменяет независимое состязательное тестирование.
Клод намеренно остается вне рутинной реализации. Он оспаривает предлагаемые для заморозки требования к техническим заданиям до заморозки спецификации, а затем возвращается к заморозке кода, чтобы проверить реализацию и ее доказательства на соответствие замороженным требованиям.
Различие становится для нас совершенно очевидным:
*Разработка, основанная на спецификациях, определяет, что должно быть создано.*
*Разработка с парным делением на целевые значения определяет, как люди и ИИ достигают цели, не теряя доказательств, понимания, преемственности или ответственности.*
Самая сильная единица прогресса — это не сгенерированный код.
Это ограниченный, наблюдаемый, протестированный, подтвержденный доказательствами, с контрольными точками, оспариваемый прирост, который человек сознательно принял.
ИИ может сделать код избыточным.
Надежная разработка все равно должна быть заслужена, шаг за шагом, видимым образом.
— Тарджин Рахман и Спок
Red5Sorcery Books & Media
#AI #SoftwareEngineering #SoftwareDevelopment #PLDD #TDD #HumanAI #Rust #WebAssembly #ProductManagement #DataSculptor #Red5Sorcery