Исследуем AI-first разработку, кодовые ограждения и архитектуру одноразовости.
Псевдонимы типов не создают отдельные типы в TypeScript. Брендированные типы — да, и они могут защитить вас от перепутывания идентификаторов на этапе компиляции.
В прошлом квартале мы допустили баг, из-за которого вернули деньги не тому клиенту. Функция получила идентификатор пользователя там, где ожидала идентификатор…
Differential testing позволяет находить баги, не зная правильного ответа. Проблема в том, что коррелированные ошибки выглядят как согласие. Вот как обнаружить слепые зоны.
Можно доверять differential testing без формального доказательства, но только если точно понимать, где оно даёт сбой. Эта слабость называется common-mode…
N-версионное программирование предполагает, что ваши реализации согласованы. Мы разбираем, почему тестов недостаточно, как SMT-солверы могут реально доказать эквивалентность и где провести границу между «достаточно хорошо» и формально верифицировано.
Вы построили n-версионную систему. Три независимые реализации одной и той же критической функции, voter, который выбирает результат большинства, и приятное…
Запуск нескольких LLM параллельно позволяет отлавливать ошибки, которые любая отдельная модель уверенно пропустит. Вот как построить систему разрешения разногласий, которая действительно работает.
Вы отправляете промпт в GPT-4o. Он возвращает JSON с уверенностью 0.97. Вы отправляете тот же промпт в Claude 3.5 Sonnet. Он возвращает другой JSON, тоже с…
N-version programming звучит просто: запустить несколько реализаций и выбрать лучший ответ. На практике «лучший» определить гораздо сложнее, чем «самый распространённый».
У вас есть пять реализаций одной и той же функции. Три возвращают одинаковый результат. Одна немного отличается. Одна выбрасывает исключение. Какая из них…
N-version programming с LLM не требует нескольких моделей. Можно извлечь разнообразные, корректные реализации из одной модели, варьируя промпты, персоны и ограничения на рассуждения.
N-version programming предполагает, что разнообразие приходит от разных авторов. С LLM это означает разные модели, разных провайдеров, возможно, разные…
N-version programming обещало, что независимые команды допускают независимые ошибки. Эксперимент Knight и Leveson в 1986 году доказал обратное, и NASA тихо отказалась от этой идеи.
В начале 1980-х NASA столкнулась с вопросом, который до сих пор преследует критически важную инженерию: как смириться с багами, которые вы ещё не нашли? Их…
Статус 'skipped' в Cucumber скрывает три совершенно разные проблемы. Вот как диагностировать, какая из них пожирает ваш тестовый набор, и как это остановить.
Половина ваших сценариев Cucumber пропущена. Не упала. Пропущена. Этот жёлтый статус хуже, чем красная сборка. Он заставляет набор выглядеть здоровым, скрывая…
Спецификации Gherkin расходятся с кодом, как только вы доверяете людям обновлять их вручную. Вот как автоматизировать проверки, которые заставляют feature files оставаться честными.
Ваши спецификации Gherkin врут вам. Не специально. Изначально они были точными. Но через шесть спринтов кто-то отрефакторил checkout flow и забыл обновить шаг…
Большинство команд документирует правила архитектуры в вики. Вот как записать их в виде исполняемых тестов, которые ломают CI, когда ваш граф зависимостей уходит от задуманного.
Ваш набор тестов проверяет, что возвращает 42 при правильном входе. Он не проверяет, что может импортировать . Компилятор доволен и тем, и другим. Ваши…