Перейти к содержимому

День 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