Материалы

Статья

Безопасность контрактов: reentrancy, переполнения, оракулы, аудит

Классы уязвимостей смарт-контрактов на уровне механики EVM: reentrancy включая read-only, арифметика и округление, контроль доступа, странные токены, манипуляция …

#web3#solidity#безопасность

Статья

Архитектура dApp: фронтенд, индексация, ноды, RPC, офчейн-компоненты

Как из контракта получается работающее приложение: слой RPC и теги блока, свой узел против провайдера, индексация логов и обработка реоргов, релееры и мета-транзакции, …

#web3#dapp#архитектура

Статья

Агенты в командной работе: ревью, договорённости, ответственность

Почему в команде экономия одного инженера превращается в расход другого, какие пять договорённостей нужно записать до того, как агенты попадут в общий репозиторий, и …

#ai-агенты#код-ревью#командная работа

Статья

Агент и чат: чем отличается и почему это меняет работу

Агент — это не более умная модель, а та же модель, помещённая в замкнутый цикл с правом запускать инструменты. Разбираем, что из этого следует для обратной связи, …

#ai-агенты#агенты#инструменты

Статья

Авторизация: RBAC, ABAC, ACL, multi-tenancy и проверка прав в коде

Почему сломанный контроль доступа — уязвимость №1 в OWASP Top 10, чем RBAC отличается от ABAC и ReBAC, где в коде обязана стоять проверка прав и как не дать одному …

#безопасность#авторизация#rbac

Статья

Автоматы, формальные языки и грамматики

От алфавита и слова до иерархии Хомского: DFA и NFA, теорема Клини, детерминизация и минимизация, лемма о накачке, контекстно-свободные грамматики и МП-автоматы, …

#математика#формальные языки#автоматы

Статья

Автоматное программирование: состояние как явная величина

Парадигма, в которой состояние перестаёт быть россыпью булевых флагов и становится перечислимым множеством: таблица переходов как данные, эффекты отдельно от решения, …

#парадигмы#конечные автоматы#состояние

Статья

Автоматическое исправление программ

Как поиск чинит баги за человека: локализация дефекта, операторы правки, генетический поиск патча, проблема переобучения под тесты, семантические и обучаемые подходы, APR …

#sbse#автоматическое исправление программ#тестирование

Статья

Автоматическая генерация тестов: EvoSuite, фаззинг, мутационное тестирование

Как поисковые алгоритмы сами пишут тесты: branch distance и approach level, whole test suite generation в EvoSuite, coverage-guided фаззинг и мутационное тестирование как …

#sbse#тестирование#фаззинг

Статья

Автоматизация редактора: сниппеты, задачи, свои команды и плагины

Лестница автоматизации от макроса до собственного расширения: как считать окупаемость, где проходит граница между сниппетом и плагином, как устроен манифест расширения VS …

#редакторы#автоматизация#плагины

Статья

Абстракции: где скрывать сложность, а где вредно

Как решать, что платформа прячет от продуктовых команд, а что обязана показывать: критерии, люки без выхода из платформы, разбор провальных обёрток и честный счёт …

#платформа#абстракции#developer experience

Статья

Абстрактное синтаксическое дерево: представление, обход, паттерн Visitor

Как спроектировать узлы AST, обходить дерево в трёх порядках и не уронить стек, зачем нужен Visitor и почему в языках с алгебраическими типами он не нужен — с работающим …

#компиляторы#ast#деревья