Идеи и инсайты · Страница 2

Исследуем AI-first разработку, кодовые ограждения и архитектуру одноразовости.

15 авг. 2026 г.

LLM могут предлагать metamorphic relations. Но не могут гарантировать их.

Large language models — неплохие партнёры для brainstorming при открытии test oracles, но они hallucinate свойства и упускают domain constraints. Вот как использовать их, не выкатывая фиктивные тесты.

14 авг. 2026 г.

Большинство metamorphic relations бесполезны. Вот как выбрать хорошие.

Не все metamorphic relations ловят баги. Слабые соотношения дают ложную уверенность, а сильные находят реальные дефекты. Вот как отличить их и построить набор соотношений, который реально работает.

metamorphic-testing metamorphic-relations testing oracle-problem

13 авг. 2026 г.

Как тестировать код, когда я не знаю правильного ответа?

Metamorphic testing позволяет проверять корректность кода, не зная точного ожидаемого вывода. Вот как это работает, когда чего-то не хватает, и как начать использовать.

metamorphic-testing oracle-problem testing ml

12 авг. 2026 г.

TypeScript не даст вам сделать этот вызов: кодирование состояния протокола в системе типов

Как использовать phantom types и параметры `this`, чтобы превращать недопустимые переходы протокола в ошибки компиляции вместо runtime-багов.

session-types typescript protocol-state type-systems

11 авг. 2026 г.

OpenAPI даёт алфавит. Session types — это грамматика.

Спецификации OpenAPI описывают схемы запросов и ответов, но не задают допустимые последовательности сообщений. Вот как извлечь то, что можно, и где всё ещё нужно заполнять пробелы.

session-types openapi protocol-specs api-design

10 авг. 2026 г.

Типы сессий работают. Большинство языков просто отказалось их реализовывать.

Типы сессий кодируют коммуникационные протоколы в системе типов, превращая runtime-ошибки протоколов в ошибки компиляции. Вот почему они провели тридцать лет в исследовательских статьях, прежде чем продакшн-код смог их использовать.

session-types research adoption type-systems

9 авг. 2026 г.

Как типы сессий превращают deadlocks в ошибки компилятора

Типы сессий кодируют коммуникационные протоколы в вашей системе типов, превращая несоответствия передачи сообщений в ошибки компилятора до того, как ваш код запустится.

session-types deadlocks compile-time protocols

8 авг. 2026 г.

Abstract interpretation звучит как требование для PhD. Больше это не так.

Как запускать формальный статический анализ в CI-пайплайне с помощью Infer, с рабочими конфигами и реалистичными компромиссами.

abstract-interpretation ci-cd static-analysis infer

7 авг. 2026 г.

LLM могут ранжировать предупреждения статического анализа. Они просто не могут объяснить почему.

Большие языковые модели могут помочь в триаже ложноположительных срабатываний статического анализа, но они не понимают семантику программ так, как это делает abstract interpretation. Вот как совместить оба подхода.

abstract-interpretation llm static-analysis false-positives

6 авг. 2026 г.

Facebook распараллелил Android с помощью abstract interpretation. Вот как это работает.

Как Facebook использовал abstract interpretation и намеренную unsoundness для поиска race conditions в масштабе миллионов строк Android-кода.

abstract-interpretation concurrency android race-conditions