DigitableCourses
База знаний

Материалы

Статьи, гайды, разборы и курсы Digitable.

Остальные материалы

12 на странице
Статья

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#платформа#абстракции#developer experience
24 мин
Статья

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

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

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

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

Магмы, полугруппы, моноиды, группы, кольца, поля и полукольца — со строгими аксиомами, ручными разборами и рабочим кодом: параллельная свёртка, CRDT, GF(2^8) в AES, …

#математика#абстрактная алгебра#группы
28 мин
Статья

Ёмкость и нагрузка: планирование, тесты, запас

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

#надёжность#sre#ёмкость
27 мин
Статья

XSS, CSRF и клиентские атаки: типы, CSP, SameSite, защита

Почему браузер исполняет чужой код и отправляет ваши куки кому попало: механика XSS и CSRF, пять контекстов экранирования, строгий CSP на nonce, SameSite и токены, …

#безопасность#xss#csrf
22 мин