Исследуем AI-first разработку, кодовые ограждения и архитектуру одноразовости.https://autotomy.dev/ruhttps://autotomy.dev/ru/blog/git-bisect-binary-search-commit/https://autotomy.dev/ru/blog/git-bisect-binary-search-commit/Git bisect превращает ручной поиск коммитов в автоматизированный бинарный поиск. Вот как найти точный коммит, в котором появился баг, не переключаясь на каждый по отдельности.Tue, 25 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/production-crash-capture-replay/https://autotomy.dev/ru/blog/production-crash-capture-replay/Стектрейсы говорят, где произошёл краш, а не что его вызвало. Вот паттерн захвата и воспроизведения, который превращает продакшен-краши в локальные тест-кейсы, которые можно реально отладить.Mon, 24 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/symbolic-execution-integer-overflow-coverage/https://autotomy.dev/ru/blog/symbolic-execution-integer-overflow-coverage/Ваши модульные тесты проверяют конкретные входные данные. Символическое исполнение проверяет каждый возможный ввод. Вот как это работает, чего это стоит и с чего начать.Sun, 23 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/pii-tracking-code-pipeline/https://autotomy.dev/ru/blog/pii-tracking-code-pipeline/Большинство команд находят утечки PII после жалобы клиента. Вот как отслеживать чувствительные данные от момента получения до вывода, с примерами кода, которые можно использовать уже сегодня.Sat, 22 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/api-contract-testing-ci/https://autotomy.dev/ru/blog/api-contract-testing-ci/Большинство CI pipelines находят синтаксические ошибки и логические баги. Они пропускают изменения, ломающие обратную совместимость API contracts, которые реально валят продакшен. Вот как это исправить.Fri, 21 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/crash-correlation-triangulation/https://autotomy.dev/ru/blog/crash-correlation-triangulation/Statistical debugging находит predicates, коррелированные с крашами, но корреляция — это не файл и номер строки. Вот как ранжировать, фильтровать и триангулировать свой путь от корреляционного score к реальному месту бага.Thu, 20 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/sentry-seer-trace-root-cause/https://autotomy.dev/ru/blog/sentry-seer-trace-root-cause/Seer поглощает деревья трейсов, связанные ошибки и данные профилирования для диагностики распределённых проблем. Вот как он на самом деле работает, где блестит и где всё ещё нужна человеческая помощь.Wed, 19 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/statistical-debugging-adoption-challenges/https://autotomy.dev/ru/blog/statistical-debugging-adoption-challenges/Statistical debugging обещал точно находить баги, коррелируя поведение программы с отказами. Вот почему эта идея так и не перешла из научных статей в продакшен-системы.Tue, 18 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/statistical-debugging-production-data-anomalies/https://autotomy.dev/ru/blog/statistical-debugging-production-data-anomalies/Statistical debugging рассматривает ваши продакшен-данные как сигнал, а баги — как аномалии в этом сигнале. Вот как находить повреждение данных, ошибки off-by-one и тихие отказы, не добавляя ни одного юнит-теста.Mon, 17 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/metamorphic-testing-production-bugs-compiler/https://autotomy.dev/ru/blog/metamorphic-testing-production-bugs-compiler/Metamorphic testing выявил реальные баги в GCC, LLVM, компиляторах шейдеров Vulkan и симуляторах ADAS. В этом посте объясняется техника с рабочим кодом и показано, куда она вписывается в ваш набор тестов.Sun, 16 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-metamorphic-relations-brainstorming/https://autotomy.dev/ru/blog/llm-metamorphic-relations-brainstorming/Large language models — неплохие партнёры для brainstorming при открытии test oracles, но они hallucinate свойства и упускают domain constraints. Вот как использовать их, не выкатывая фиктивные тесты.Sat, 15 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/metamorphic-relation-quality/https://autotomy.dev/ru/blog/metamorphic-relation-quality/Не все metamorphic relations ловят баги. Слабые соотношения дают ложную уверенность, а сильные находят реальные дефекты. Вот как отличить их и построить набор соотношений, который реально работает.Fri, 14 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/metamorphic-testing-oracle-problem/https://autotomy.dev/ru/blog/metamorphic-testing-oracle-problem/Metamorphic testing позволяет проверять корректность кода, не зная точного ожидаемого вывода. Вот как это работает, когда чего-то не хватает, и как начать использовать.Thu, 13 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-phantom-types-protocol-state/https://autotomy.dev/ru/blog/typescript-phantom-types-protocol-state/Как использовать phantom types и параметры `this`, чтобы превращать недопустимые переходы протокола в ошибки компиляции вместо runtime-багов.Wed, 12 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/openapi-session-types-protocol-gap/https://autotomy.dev/ru/blog/openapi-session-types-protocol-gap/Спецификации OpenAPI описывают схемы запросов и ответов, но не задают допустимые последовательности сообщений. Вот как извлечь то, что можно, и где всё ещё нужно заполнять пробелы.Tue, 11 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/session-types-research-to-production/https://autotomy.dev/ru/blog/session-types-research-to-production/Типы сессий кодируют коммуникационные протоколы в системе типов, превращая runtime-ошибки протоколов в ошибки компиляции. Вот почему они провели тридцать лет в исследовательских статьях, прежде чем продакшн-код смог их использовать.Mon, 10 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/session-types-deadlock-compiler-errors/https://autotomy.dev/ru/blog/session-types-deadlock-compiler-errors/Типы сессий кодируют коммуникационные протоколы в вашей системе типов, превращая несоответствия передачи сообщений в ошибки компилятора до того, как ваш код запустится.Sun, 09 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/infer-abstract-interpretation-ci/https://autotomy.dev/ru/blog/infer-abstract-interpretation-ci/Как запускать формальный статический анализ в CI-пайплайне с помощью Infer, с рабочими конфигами и реалистичными компромиссами.Sat, 08 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-static-analysis-triage/https://autotomy.dev/ru/blog/llm-static-analysis-triage/Большие языковые модели могут помочь в триаже ложноположительных срабатываний статического анализа, но они не понимают семантику программ так, как это делает abstract interpretation. Вот как совместить оба подхода.Fri, 07 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/facebook-android-abstract-interpretation-races/https://autotomy.dev/ru/blog/facebook-android-abstract-interpretation-races/Как Facebook использовал abstract interpretation и намеренную unsoundness для поиска race conditions в масштабе миллионов строк Android-кода.Thu, 06 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/meta-infer-100000-bugs-static-analysis/https://autotomy.dev/ru/blog/meta-infer-100000-bugs-static-analysis/Infer от Meta использует abstract interpretation и bi-abduction для поиска null dereference, утечек памяти и race conditions, рассуждая о структуре кода, а не о его выполнении. Вот как это работает и как использовать в своей codebase.Wed, 05 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/static-analysis-aviation-abstract-interpretation/https://autotomy.dev/ru/blog/static-analysis-aviation-abstract-interpretation/Абстрактная интерпретация аппроксимирует сверху каждое возможное состояние программы. Если деление на ноль недостижимо в абстракции, оно недостижимо и в реальном коде. Вот как это работает и где даёт сбои.Tue, 04 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/abstract-interpretation-runtime-error-proof/https://autotomy.dev/ru/blog/abstract-interpretation-runtime-error-proof/Абстрактная интерпретация позволяет доказать невозможность ошибок времени выполнения ещё до запуска программы. Вот как это работает на самом деле, почему это сложно и где это применяется в вашем инструментарии.Mon, 03 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/cheri-c-porting-hybrid-abi/https://autotomy.dev/ru/blog/cheri-c-porting-hybrid-abi/Гибридный ABI CHERI позволяет портировать код на C на capability-оборудование постепенно. Вот как компилировать, что ломается и как это исправить без rewrite всей codebase.Sun, 02 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/capability-hardware-cheri-history/https://autotomy.dev/ru/blog/capability-hardware-cheri-history/Безопасность памяти на уровне hardware была возможна с 1970-х. Вот почему архитектуры capability проигрывали плоским моделям памяти, и почему CHERI наконец меняет расклад.Sat, 01 Aug 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/c-library-wasm-sandbox/https://autotomy.dev/ru/blog/c-library-wasm-sandbox/Контейнеры — это overkill для изоляции одной C-библиотеки. Скомпилируйте её в WebAssembly и запустите внутри WASI-sandbox для memory safety, capability-based доступа к файловой системе и crash containment без Docker.Fri, 31 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/mobile-memory-tagging-extension/https://autotomy.dev/ru/blog/mobile-memory-tagging-extension/ARM Memory Tagging Extension и GWP-ASan делают возможным обнаружение проблем безопасности памяти в продакшене на современных мобильных устройствах. Вот как они работают и каковы компромиссы.Thu, 30 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/cheri-hardware-buffer-overflow-prevention/https://autotomy.dev/ru/blog/cheri-hardware-buffer-overflow-prevention/CHERI — это hardware-расширение, которое превращает каждый pointer в bounded capability. Вот как оно останавливает buffer overflows на уровне CPU, что это стоит и как попробовать его на реальном оборудовании.Wed, 29 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-cleanroom-proof-obligation-automation/https://autotomy.dev/ru/blog/llm-cleanroom-proof-obligation-automation/Верификация по методологии Cleanroom требует генерации и разрядки обязательств доказательства. Вот как LLM автоматизируют аннотации и генерацию VC, чтобы вы могли сосредоточиться на самых сложных доказательствах.Tue, 28 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/cleanroom-pragmatic-subset/https://autotomy.dev/ru/blog/cleanroom-pragmatic-subset/Cleanroom software engineering снижает плотность дефектов в 100 раз, но полное внедрение требует отдельных команд тестирования и формальных доказательств. Вот прагматичное подмножество, которое улавливает большую часть выгоды без overhead.Mon, 27 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ibm-cleanroom-zero-defects-disappearance/https://autotomy.dev/ru/blog/ibm-cleanroom-zero-defects-disappearance/Cleanroom engineering IBM достиг defect rate в 100 раз лучше промышленного среднего, а затем исчез в забвении. Исчезновение не имело ничего общего с тем, работал ли он.Sun, 26 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ibm-cleanroom-10000-lines-zero-defects/https://autotomy.dev/ru/blog/ibm-cleanroom-10000-lines-zero-defects/Cleanroom software engineering обещала инкременты с нулевым количеством дефектов через mathematical verification вместо debugging. Мы смотрим на реальные данные проекта IBM, чтобы проверить, выдержал ли этот тезис.Sat, 25 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/cleanroom-box-structure-three-layers/https://autotomy.dev/ru/blog/cleanroom-box-structure-three-layers/Box Structure заставляет вас определять, что делает модуль, что он запоминает и как работает, как три отдельных проверяемых слоя. Вот как Cleanroom использует их для устранения отладки.Fri, 24 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ibm-cleanroom-01-defects-per-kloc/https://autotomy.dev/ru/blog/ibm-cleanroom-01-defects-per-kloc/Процесс Cleanroom-инжиниринга IBM достиг дефектности в 100 раз лучше отраслевого среднего, предотвращая баги вместо их поиска. Вот как это работало, почему почти никто это не использует и что вы можете позаимствовать из него сегодня.Thu, 23 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ci-literate-programming-tangle/https://autotomy.dev/ru/blog/ci-literate-programming-tangle/Literate programming обещает единственный источник правды, но ручные шаги weave и tangle ломают CI/CD-пайплайн. Вот как автоматизировать извлечение и генерацию документации, чтобы ваши Markdown-файлы оставались каноническими.Wed, 22 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-rubber-ducking-bug-rate/https://autotomy.dev/ru/blog/llm-rubber-ducking-bug-rate/Я 30 дней писал объяснения дизайна перед тем, как просить код у LLM. Результаты изменили моё отношение к rubber-ducking.Tue, 21 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/literate-programming-markdown-python/https://autotomy.dev/ru/blog/literate-programming-markdown-python/Literate programming поддерживает синхронизацию документации, тестов и реализации, делая Markdown-файл единственным источником правды. Вот как реализовать это тридцатью строками на Python.Mon, 20 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/claude-thread-to-documentation/https://autotomy.dev/ru/blog/claude-thread-to-documentation/Диалоги с LLM содержат намерения, отвергнутые альтернативы и работающий код. Именно это и должна представлять собой документация. Вот как превратить эфемерный чат в долговечные, доступные для поиска документы, не теряя повествования.Sun, 19 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/structured-editing-ast-text-editors/https://autotomy.dev/ru/blog/structured-editing-ast-text-editors/Каждый компилятор видит ваш код как дерево, но редактор позволяет редактировать сырой текст. Вот как выглядит структурное редактирование на самом деле, почему оно не захватило мир и как получить его преимущества, не меняя инструменты.Sat, 18 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/knuth-literate-programming-history/https://autotomy.dev/ru/blog/knuth-literate-programming-history/Literate programming обещала, что код должен писаться в первую очередь для людей, а во вторую — для машин. Четыре десятилетия спустя почти никто так не пишет. Вот почему самая элегантная идея в документировании программного обеспечения не смогла изменить наш способ работы.Fri, 17 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fagan-causal-analysis-defects/https://autotomy.dev/ru/blog/fagan-causal-analysis-defects/Большинство команд исправляют дефекты и двигаются дальше. Те же дефекты возвращаются. Вот как запустить причинный анализ внутри Fagan inspection, чтобы перестать писать один и тот же баг дважды.Thu, 16 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/pr-reviews-catch-15-to-30-percent-defects/https://autotomy.dev/ru/blog/pr-reviews-catch-15-to-30-percent-defects/Множество исследований в IBM, AT&T, HP и Microsoft подтверждают, что неформальное code review выявляет примерно четверть дефектов. Вот что данные говорят на самом деле, почему этот показатель так низок и как это исправить.Wed, 15 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fagan-structured-checklist-defect-detection/https://autotomy.dev/ru/blog/fagan-structured-checklist-defect-detection/Большинство чек-листов для ревью — это скопированные списки благих намерений. Структурированный чек-лист в стиле Fagan inspection строится на основе реальных данных о дефектах, ориентирован на конкретные типы артефактов и используется во время индивидуальной подготовки. Вот как построить тот, который работает.Tue, 14 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-fagan-inspection-preparation/https://autotomy.dev/ru/blog/llm-fagan-inspection-preparation/Инспекции Фагана требуют от четырёх до шести человек и двух часов на проверку 250 строк. LLM может сократить эти затраты, взяв на себя подготовку и соблюдение чек-листа, но не может заменить человеческие роли, которые находят самые дорогие дефекты.Mon, 13 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fagan-inspections-disappearance-ibm/https://autotomy.dev/ru/blog/fagan-inspections-disappearance-ibm/Структурированный процесс ревью Майкла Фагана в IBM позволял находить почти все дефекты ещё до компиляции. Но он поглощал 15–20% общих трудозатрат проекта. Вот почему исчез самый эффективный метод ревью в истории разработки ПО и что команды на самом деле теряют.Sun, 12 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fagan-reviewer-defect-detection-variance/https://autotomy.dev/ru/blog/fagan-reviewer-defect-detection-variance/Даже senior-инженеры находят лишь долю дефектов в неструктурированном review. Исследование Michael Fagan в IBM показало, почему, и построило структурированный процесс inspection для исправления этого.Sat, 11 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fagan-inspections-90-percent-defects/https://autotomy.dev/ru/blog/fagan-inspections-90-percent-defects/Неформальное code review выявляет 15–30% дефектов. Fagan inspections — структурированный 50-летний процесс — стабильно демонстрирует показатели устранения 60–90%. Вот как они работают, почему команды избегают их и как запустить облегчённую версию.Fri, 10 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/autoverus-llm-rust-verification/https://autotomy.dev/ru/blog/autoverus-llm-rust-verification/AutoVerus использует сеть агентов LLM для генерации proof корректности Verus для кода на Rust, автоматизируя более 90% proof obligations через цикл generate-repair-discharge, управляемый обратной связью SMT-solver.Thu, 09 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-rust-formal-proofs-hallucination/https://autotomy.dev/ru/blog/llm-rust-formal-proofs-hallucination/Большие языковые модели пишут удивительно хороший код на Rust, но когда вы просите их о формальном доказательстве, они галлюцинируют инварианты и изобретают синтаксис, который не принимает ни один верификатор. Вот что они на самом деле делают правильно, где ломаются и как их всё равно использовать.Wed, 08 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/model-checking-race-conditions/https://autotomy.dev/ru/blog/model-checking-race-conditions/Почему model checking превосходит дни продакшен-рантайма в поиске concurrency-багов и как применить его к собственному коду.Tue, 07 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/https://autotomy.dev/ru/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/Bounded model checkers вроде Kani и реляционные model finders вроде Alloy позволяют проверять свойства с помощью обычных assertions и constraints. Вы жертвуете доказательствами liveness ради кривой обучения, измеряемой часами, а не неделями.Mon, 06 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-model-checking-kani-state-space/https://autotomy.dev/ru/blog/rust-model-checking-kani-state-space/Инструменты model checking вроде Kani позволяют верифицировать свойства Rust с помощью assertions вместо формальных доказательств. Проблема в том, что происходит, когда ваши циклы не имеют маленьких границ.Sun, 05 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/distributed-protocol-model-checking-tla/https://autotomy.dev/ru/blog/distributed-protocol-model-checking-tla/Исправление распределённых багов после деплоя обходится дорого. Модельная проверка позволяет найти их до написания хотя бы одной строчки кода реализации. Вот как это сделать с помощью TLA+.Sat, 04 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/infrastructure-config-dsl-per-context/https://autotomy.dev/ru/blog/infrastructure-config-dsl-per-context/Как команды инфраструктуры управляют конфигурацией в dev, staging и production с помощью DSL на контекст, которые делают различия между окружениями явными и типобезопасными.Fri, 03 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/grammar-constrained-decoding-llm/https://autotomy.dev/ru/blog/grammar-constrained-decoding-llm/LLMs галлюцинируют синтаксис, потому что делают probabilistic sampling токенов. Grammar-constrained decoding фильтрует vocabulary на каждом шаге, так что эмитируются только те токены, которые сохраняют синтаксическую валидность.Thu, 02 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/english-to-theme-deterministic-design-tokens/https://autotomy.dev/ru/blog/english-to-theme-deterministic-design-tokens/Можно генерировать дизайн-токены из простых английских описаний, но только если рассматривать описание как DSL с ограниченным контекстом, со схемой-контрактом и снапшот-тестами.Wed, 01 Jul 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-parser-combinators-dsl/https://autotomy.dev/ru/blog/typescript-parser-combinators-dsl/Генераторы парсеров — избыточны для большинства DSL с ограниченным контекстом. Парсер-комбинаторы позволяют построить рабочий парсер на том же языке, что и приложение, без генерируемого кода и без шагов сборки.Tue, 30 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/config-validation-build-time/https://autotomy.dev/ru/blog/config-validation-build-time/Как отлавливать ошибки конфигурации до того, как приложение начнёт обрабатывать трафик, используя валидацию схем и проверки во время сборки.Mon, 29 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/javascript-capability-security-lockdown/https://autotomy.dev/ru/blog/javascript-capability-security-lockdown/Ambient Authority означает, что любой код в вашем процессе Node.js может взаимодействовать с файловой системой, сетью и окружением. Вот как убрать это с помощью lockdown, compartments и явной передачи capabilities.Sun, 28 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/service-authentication-without-ambient-authority/https://autotomy.dev/ru/blog/service-authentication-without-ambient-authority/Большая часть доверия между сервисами основана на сетевом расположении, а не на криптографическом доказательстве. Вот как возможности, mTLS и SPIFFE позволяют сервисам аутентифицироваться без окружающего полномочия, и почему это сложнее, чем должно быть.Sat, 27 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-cap-std-capability-filesystem/https://autotomy.dev/ru/blog/rust-cap-std-capability-filesystem/Стандартная библиотека Rust предоставляет окружающее файловое полномочие каждой зависимости. cap-std заменяет его API на основе полномочий, которые заставляют код доказывать, что у него есть право доступа к пути, прежде чем он откроет его.Fri, 26 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/https://autotomy.dev/ru/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/Атака Confused Deputy заставляет привилегированный сервис использовать свои полномочия против себя. Вот как злоумышленники эксплуатируют неявное доверие и почему capability-based security — это решение.Thu, 25 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-capability-based-security/https://autotomy.dev/ru/blog/typescript-capability-based-security/Безопасность на основе capabilities заменяет разбросанные проверки ролей на неподделываемые токены полномочий. Вот как реализовать это в TypeScript, не делая код нечитаемым.Wed, 24 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/capability-based-security-permissions/https://autotomy.dev/ru/blog/capability-based-security-permissions/Большая часть кода работает с окружающей полномочностью: каждая функция может затронуть всё. Безопасность на основе возможностей переворачивает эту модель, заставляя функции получать явные, ограниченные разрешения.Tue, 23 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/should-i-stop-throwing-errors-and-start-returning-them/https://autotomy.dev/ru/blog/should-i-stop-throwing-errors-and-start-returning-them/Выброшенные исключения скрывают пути отказа от вашей системы типов. Вот почему явный возврат ошибок делает ваш код более честным, и как перейти на него, не ненавидя свою жизнь.Mon, 22 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-newtypes-zero-cost-safety/https://autotomy.dev/ru/blog/rust-newtypes-zero-cost-safety/Однополевая обёрточная структура ловит баги смешения единиц измерения и путаницу типов, не добавляя ни одного байта накладных расходов.Sun, 21 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/https://autotomy.dev/ru/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/Операторы switch в TypeScript молча позволяют забыть кейсы. Вот как заменить их паттернами с проверкой на исчерпываемость, которые ломают сборку вместо рантайма.Sat, 20 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-exhaustiveness-state-machines/https://autotomy.dev/ru/blog/typescript-exhaustiveness-state-machines/Добавить новое состояние в машину легко. Помнить об обновлении каждого switch — нет. Вот как заставить TypeScript отказаться компилироваться, если вы забудете case.Fri, 19 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-currency-types/https://autotomy.dev/ru/blog/typescript-currency-types/TypeScript видит все числа как одинаковые. Вот как научить его различать USD и EUR, чтобы компилятор отлавливал баги конвертации валют ещё до продакшена.Thu, 18 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-unit-types-compile-time/https://autotomy.dev/ru/blog/typescript-unit-types-compile-time/Передача миллисекунд туда, где ожидались секунды, — это баг, который проходит все тесты. Вот как закодировать единицы измерения прямо в системе типов TypeScript, чтобы смешение вызывало ошибку на этапе компиляции с нулевыми затратами во время выполнения.Wed, 17 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-branded-types-newtypes/https://autotomy.dev/ru/blog/typescript-branded-types-newtypes/Псевдонимы типов не создают отдельные типы в TypeScript. Брендированные типы — да, и они могут защитить вас от перепутывания идентификаторов на этапе компиляции.Tue, 16 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/differential-testing-common-mode-failures/https://autotomy.dev/ru/blog/differential-testing-common-mode-failures/Differential testing позволяет находить баги, не зная правильного ответа. Проблема в том, что коррелированные ошибки выглядят как согласие. Вот как обнаружить слепые зоны.Mon, 15 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/function-equivalence-smt-solvers/https://autotomy.dev/ru/blog/function-equivalence-smt-solvers/N-версионное программирование предполагает, что ваши реализации согласованы. Мы разбираем, почему тестов недостаточно, как SMT-солверы могут реально доказать эквивалентность и где провести границу между «достаточно хорошо» и формально верифицировано.Sun, 14 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-variant-disagreement-resolution/https://autotomy.dev/ru/blog/llm-variant-disagreement-resolution/Запуск нескольких LLM параллельно позволяет отлавливать ошибки, которые любая отдельная модель уверенно пропустит. Вот как построить систему разрешения разногласий, которая действительно работает.Sat, 13 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/n-version-implementation-selection/https://autotomy.dev/ru/blog/n-version-implementation-selection/N-version programming звучит просто: запустить несколько реализаций и выбрать лучший ответ. На практике «лучший» определить гораздо сложнее, чем «самый распространённый».Fri, 12 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/llm-n-version-diverse-implementations/https://autotomy.dev/ru/blog/llm-n-version-diverse-implementations/N-version programming с LLM не требует нескольких моделей. Можно извлечь разнообразные, корректные реализации из одной модели, варьируя промпты, персоны и ограничения на рассуждения.Thu, 11 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/nasa-n-version-programming-knight-leveson/https://autotomy.dev/ru/blog/nasa-n-version-programming-knight-leveson/N-version programming обещало, что независимые команды допускают независимые ошибки. Эксперимент Knight и Leveson в 1986 году доказал обратное, и NASA тихо отказалась от этой идеи.Wed, 10 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/cucumber-skipped-scenarios-diagnosis/https://autotomy.dev/ru/blog/cucumber-skipped-scenarios-diagnosis/Статус 'skipped' в Cucumber скрывает три совершенно разные проблемы. Вот как диагностировать, какая из них пожирает ваш тестовый набор, и как это остановить.Tue, 09 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/gherkin-specs-automated-sync/https://autotomy.dev/ru/blog/gherkin-specs-automated-sync/Спецификации Gherkin расходятся с кодом, как только вы доверяете людям обновлять их вручную. Вот как автоматизировать проверки, которые заставляют feature files оставаться честными.Mon, 08 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/architecture-tests-ci-enforcement/https://autotomy.dev/ru/blog/architecture-tests-ci-enforcement/Большинство команд документирует правила архитектуры в вики. Вот как записать их в виде исполняемых тестов, которые ломают CI, когда ваш граф зависимостей уходит от задуманного.Sun, 07 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/clean-architecture-domain-infrastructure-ci/https://autotomy.dev/ru/blog/clean-architecture-domain-infrastructure-ci/Диаграммы чистой архитектуры отлично смотрятся на доске. Вот как заставить пайплайн сборки принудительно соблюдать направление зависимостей, чтобы доменный код не мог обращаться к инфраструктуре.Sat, 06 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/architecture-docs-code-generated-diagrams/https://autotomy.dev/ru/blog/architecture-docs-code-generated-diagrams/Архитектурная документация гниёт в тот момент, когда вы её сохраняете. Вот как поддерживать её в актуальном состоянии с помощью диаграмм, генерируемых из кода, ADR и автоматизированных архитектурных тестов.Fri, 05 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/idempotency-keys-api-retries/https://autotomy.dev/ru/blog/idempotency-keys-api-retries/Таймаут или сбой не означают, что ваш API-запрос был потерян. Вот как ключи идемпотентности делают повторы безопасными, и как паттерн хранения на самом деле предотвращает дублирование.Thu, 04 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/distributed-leases-fencing-tokens/https://autotomy.dev/ru/blog/distributed-leases-fencing-tokens/In-memory mutex исчезает при перезапуске сервера. Вот как distributed lease с fencing token и TTL предотвращают дублирование работы при сбоях, и где они всё ещё ломаются.Wed, 03 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/circuit-breaker-lazy-recovery-no-goroutines/https://autotomy.dev/ru/blog/circuit-breaker-lazy-recovery-no-goroutines/Большинство библиотек circuit breaker порождают фоновые потоки для проверки восстановления. Они вам не нужны. Вот request-driven дизайн, который устраняет всю фоновую нагрузку без потери корректности.Tue, 02 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/crash-only-software-web-services/https://autotomy.dev/ru/blog/crash-only-software-web-services/Crash-only софт обрабатывает каждый сбой как крах, а каждый запуск — как восстановление. Для веб-сервисов это означает удаление логики завершения и проектирование состояния, которое переживёт kill -9.Mon, 01 Jun 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/killing-surviving-mutants/https://autotomy.dev/ru/blog/killing-surviving-mutants/Мутационное тестирование нашло выжившего, и вы понятия не имеете, что делает мутация. Вот пошаговый метод написания правильного теста без предварительного понимания мутанта.Sun, 31 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/mutation-score-per-module-risk/https://autotomy.dev/ru/blog/mutation-score-per-module-risk/Почему принудительное единое покрытие мутациями для всей кодовой базы — ошибка, и как установить пороговые значения для каждого модуля в соответствии с реальным риском.Sat, 30 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/https://autotomy.dev/ru/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/Code coverage говорит, что всё в порядке. Mutation testing говорит, что ваши тесты — в основном декорация. Вот как выжившие мутанты выявляют этот разрыв и как его устранить.Fri, 29 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-mutation-testing-cargo-mutants/https://autotomy.dev/ru/blog/rust-mutation-testing-cargo-mutants/cargo-mutants находит тесты, которые только притворяются, что проверяют ваш код. Вот как работает mutation testing в Rust, что он ловит и стоит ли затрат времени компиляции.Thu, 28 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-coding-validation-spectrum-backend-web-mobile/https://autotomy.dev/ru/blog/ai-coding-validation-spectrum-backend-web-mobile/Разработка с AI следует градиенту валидации. Бэкенд: миллисекунды. Веб: минуты. Мобильная разработка: часы. Цикл обратной связи определяет, где AI работает.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/monkey-machine-gun-aimbot/https://autotomy.dev/ru/blog/monkey-machine-gun-aimbot/Управление AI-кодом — не про отбирание инструментов у джуниоров и AI-агентов. Это про guardrails, которые делают каждый выстрел точным — без побочного ущерба.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/https://autotomy.dev/ru/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/Большинство команд не запускают полные наборы мутационного тестирования на каждый коммит. Вот как инженерные команды реально интегрируют его в CI, не ломая пайплайн сборки.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/database-persistence-testing-mocks/https://autotomy.dev/ru/blog/database-persistence-testing-mocks/Mock-тесты базы данных проверяют синтаксис SQL, но не то, переживут ли строки сбои, конкурентные записи или несоответствие схемы. Вот как тестировать persistence по-настоящему.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fear-vs-steamroll-ai-coding-divide/https://autotomy.dev/ru/blog/fear-vs-steamroll-ai-coding-divide/AI-кодинг работает для элитных команд, способных восстановиться после любого беспорядка. Все остальные получают страх, упавший CI и заброшенные эксперименты. Разрыв — не в модели.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/redux-testing-real-state-transitions/https://autotomy.dev/ru/blog/redux-testing-real-state-transitions/Мокирование каждого экшена Redux превращает ваши тесты в валидатор ченджлога. Вот как тестировать стор с реальными переходами состояния.Mon, 25 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-coding-in-production-autotomy-framework/https://autotomy.dev/ru/blog/ai-coding-in-production-autotomy-framework/Большинство команд пробуют ИИ-кодинг, выпускают код, который проваливает QA, и сдаются. Проблема не в модели — а в отсутствии ограждений, которые делают вывод ИИ надёжным.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/property-based-testing-run-count/https://autotomy.dev/ru/blog/property-based-testing-run-count/Стандартные 100 примеров в property-based testing — это социальный компромисс, а не статистическая стратегия. Вот как выбрать количество прогонов, соответствующее вашим потребностям в уверенности и бюджету CI.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/https://autotomy.dev/ru/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/У вас есть проверка типов, линтинг и архитектурные правила. Но ваш детерминированный стек не видит сложности, дублирования и катастроф с именованием. Вот исправление за $0.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-property-based-testing-quickcheck/https://autotomy.dev/ru/blog/rust-property-based-testing-quickcheck/Тестирование на примерах покрывает только те входные данные, о которых вы подумали. Тестирование на основе свойств генерирует случайные данные, проверяет инварианты и сокращает ошибки до минимальных контрпримеров.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-coding-why-version-one-is-never-the-problem/https://autotomy.dev/ru/blog/ai-coding-why-version-one-is-never-the-problem/Инструменты для разработки с AI отлично создают первую версию. Настоящая инженерная задача начинается на четвёртой версии, когда команде нужно что-то изменить, не ломая всё остальное.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-generated-code-replaceability-principle/https://autotomy.dev/ru/blog/ai-generated-code-replaceability-principle/Настоящая мера качества кода, сгенерированного AI, — не в том, работает ли он в первый день. Она в том, сможете ли вы заменить его на тридцатый день, не переписывая всё остальное.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/deterministic-guardrails-ai-codebases/https://autotomy.dev/ru/blog/deterministic-guardrails-ai-codebases/Проверка человеком непоследовательна. Проверка AI ещё хуже. Единственная масштабируемая защита для codebases, сгенерированных AI, — детерминированное enforcement: правила, которые валят сборку, а не советы, которые игнорируют.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/i-write-unit-tests-why-do-bugs-still-slip-through/https://autotomy.dev/ru/blog/i-write-unit-tests-why-do-bugs-still-slip-through/Метрики coverage создают ложное чувство безопасности. Вот почему unit tests пропускают баги, которые реально лишают вас сна, и что тестировать вместо этого.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/rust-zero-cost-runtime-contracts/https://autotomy.dev/ru/blog/rust-zero-cost-runtime-contracts/Rust автоматически удаляет debug assertions, но настоящий design-by-contract требует большего, чем debug_assert!. Вот как построить zero-cost runtime contracts, которые исчезают из вашего релизного бинарника.Thu, 21 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/production-assertion-decision-framework/https://autotomy.dev/ru/blog/production-assertion-decision-framework/Разработчики либо разбрасывают assertions как конфетти, либо избегают их полностью. Вот фреймворк принятия решений, который отделяет полезные invariants от причин падения production.Wed, 20 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/declarative-runtime-contracts-validation/https://autotomy.dev/ru/blog/declarative-runtime-contracts-validation/Ручная валидация раздувает codebase и всё равно пропускает крайние случаи. Вот как обеспечить runtime contracts с помощью декларативных схем, которые не мешают.Tue, 19 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/typescript-strictnullchecks-runtime-nulls/https://autotomy.dev/ru/blog/typescript-strictnullchecks-runtime-nulls/strict mode отлавливает null, которые вы пишете сами, а не те, что приходят на runtime из API, DOM-запросов и JSON.parse. Вот где заканчивается type system и начинается ваша оборона.Mon, 18 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/code-review-becomes-specification-review/https://autotomy.dev/ru/blog/code-review-becomes-specification-review/Когда AI может сгенерировать по спецификации реализацию, тесты и contracts, самая ценная человеческая работа смещается выше по цепочке. Самой пристальной проверки теперь требует сама спецификация.Sun, 17 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-safety-stack-types-contracts-property-tests-mutation/https://autotomy.dev/ru/blog/ai-safety-stack-types-contracts-property-tests-mutation/Если вы хотите, чтобы AI-generated code выдерживал production, одного code review недостаточно. Нужен многослойный safety stack: от type constraints до mutation testing и runtime containment.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/meteor-development-is-real/https://autotomy.dev/ru/blog/meteor-development-is-real/Этот мем работает, потому что команды и правда разрабатывают продукты в условиях постоянно меняющихся целей, фиксированных сроков и наполовину определённого объёма работ. Autotomy не исправит фантазийное планирование, но не даст development останавливаться каждый раз, когда снова меняется маршрут.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/stanford-cs146s-ai-architecture-gap/https://autotomy.dev/ru/blog/stanford-cs146s-ai-architecture-gap/Этот критический разбор Stanford CS146S показывает, почему курс верно оценивает AI coding, но все еще упускает ключевой урок про AI-архитектуру, границы системы и заменяемость.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/engineering-ideas-ai-economics/https://autotomy.dev/ru/blog/engineering-ideas-ai-economics/Design by contract, property-based testing, mutation testing и model checking не были плохими идеями. Их было слишком дорого поддерживать с точки зрения специализированных знаний. AI меняет это уравнение.Fri, 15 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/ai-react-native-guardrails-scaling/https://autotomy.dev/ru/blog/ai-react-native-guardrails-scaling/AI может очень быстро довести ваш React Native MVP до релиза, но без guardrails любое небольшое изменение может сломать несвязанные между собой flow. Вот как декларативные ограничения не дают скорости превратиться в хрупкость.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/app-lifecycle-resume-status/https://autotomy.dev/ru/blog/app-lifecycle-resume-status/В dev всё работает, но пользователи видят пустой экран, когда возвращаются в приложение после обеда. Вот паттерн resume status, который правильно обрабатывает native lifecycle.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/dependency-tiers-hard-soft-optional/https://autotomy.dev/ru/blog/dependency-tiers-hard-soft-optional/Если optional SDK инициализируются как core infrastructure, они могут уронить приложение ещё на старте. Вот система dependency tiers, которая не даёт не-критичным инструментам валить production.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/nativewind-vs-stylesheet-contract/https://autotomy.dev/ru/blog/nativewind-vs-stylesheet-contract/Вы собрали MVP за выходные в Cursor, но теперь изменение одного цвета ломает 47 файлов. Вот styling contract, который останавливает это расползание.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/o1-guards-vs-llm-reviews/https://autotomy.dev/ru/blog/o1-guards-vs-llm-reviews/LLM-ревью кода недетерминировано, медленно и пропускает архитектурные нарушения. Вот стек O(1) guardrails, который действительно держит код в порядке.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/refactor-by-replacement/https://autotomy.dev/ru/blog/refactor-by-replacement/Рефакторинг AI-generated кода требует расшифровывать замысел, которого у вас никогда не было. Вот interface-driven паттерн замены, который делает удаление безопасным.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/service-boundaries-composition-root/https://autotomy.dev/ru/blog/service-boundaries-composition-root/AI-generated auth выглядит нормально, пока новая фича не лезет не в тот service. Вот interface-driven архитектура, которая не даёт смене вендора и новым фичам ломать login.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/url-validation-expo-router/https://autotomy.dev/ru/blog/url-validation-expo-router/Deep links, payload push-уведомлений и shared URLs - это недоверенный input. Вот как валидировать их на границе Expo Router до того, как битые params дойдут до экранов.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ru/blog/useSyncExternalStore-pattern/https://autotomy.dev/ru/blog/useSyncExternalStore-pattern/Перестаньте писать подписки через useEffect, которые текут по памяти и пропускают обновления состояния. Вот React 18-паттерн для bulletproof external state.Thu, 14 May 2026 00:00:00 GMT