Материалы

Статья

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

Что на самом деле означает «описывать что, а не как»: унификация и SLD-резолюция в Prolog, Datalog и его полиномиальные гарантии, солверы SAT/SMT и CP, SQL и …

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

Статья

Дежурство: расписание, эскалация и цена для людей

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

#надёжность#sre#дежурство

Статья

Дежурства и инциденты: нагрузка, которую легко не заметить

Почему операционная нагрузка не видна ни в плане, ни в оценке, и что с этим делает руководитель: контракт дежурства, метрики нагрузки, гигиена алертов, роли в инциденте, …

#лидерство#дежурства#инциденты

Статья

Деградация вместо отказа: таймауты, ретраи, размыкатели

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

#надёжность#sre#устойчивость

Статья

Двоичная система, биты и байты: как всё становится числами

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

#computer science#двоичная система#биты

Статья

Два указателя и скользящее окно

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

#алгоритмы#два указателя#скользящее окно

Статья

Дашборды: почему их не смотрят и как сделать иначе

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

#аналитика данных#дашборды#метрики

Статья

Датчики и приводы: считывание, фильтрация, калибровка, моторы

Как из напряжения на ножке получается число в градусах: тракт измерения, метрология без иллюзий, калибровка, медиана, EMA и Калман, а затем обратная сторона — H-мост, …

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

Статья

Датчики и медиа: камера, геолокация, звук и разрешения на них

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

#мобильная разработка#датчики#камера

Статья

Данные и признаки: очистка, кодирование, масштабирование, утечки

Как превратить сырые таблицы в матрицу признаков: пропуски, выбросы, кодирование категорий, масштабирование, feature engineering и главная болезнь ML-проектов — утечки …

#машинное обучение#данные#признаки

Статья

Данные и оффлайн: локальные БД, синхронизация, разрешение конфликтов

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

#мобильная разработка#оффлайн#базы данных

Статья

Грейды: что на самом деле отличает junior, middle, senior и lead

Разбор того, чем реально отличаются грейды разработчика — не годами опыта и не количеством фреймворков, а масштабом решений, автономией и способом влиять на результат; …

#карьера#грейды#рост