Статья
Анализ алгоритмов: асимптотика, инварианты и доказательство корректности
Как измерять алгоритмы независимо от железа, считать рекуррентности и амортизацию, доказывать корректность через инварианты цикла и проверять теорию эмпирическими …
База знаний
Материалы
Статьи, гайды, разборы и курсы Digitable.
Найдено в разделе
Остальные материалы
12 на странице
Статья
Альфа, бета и эта: три преобразования, из которых всё состоит
Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и …
Статья
Алерты: как не утопить дежурного в шуме
Почему алерт — это не «уведомление о метрике», а обязательство разбудить человека: арифметика шума, оповещение по скорости сжигания бюджета ошибок, границы метода при …
Статья
Алгоритмы: карта трека и как учиться решать задачи
Что такое алгоритм строго, как устроен трек из 19 статей и какой рабочий метод превращает условие задачи в корректное решение с нужной асимптотикой
Статья
Алгебраические типы данных и сопоставление с образцом
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
Статья
Активация данных: reverse ETL, сервинг и data-продукты
Как данные возвращаются из хранилища в операционные системы и продукт: механика reverse ETL и синхронизации состояния, петли обратной связи, сервинг с низкой задержкой, …
Статья
Академический слой: arXiv, Scholar, препринты
Когда инженеру нужна научная статья и как её найти: устройство корпуса публикаций, поиск по цитатам вперёд и назад, DBLP и открытые графы цитирования, разница между …
Статья
Адаптация новичка: первые недели глазами руководителя
Что руководитель обязан подготовить до первого рабочего дня новичка, как выбрать первую задачу, кто с ним работает кроме вас, по каким наблюдаемым признакам видно, что …
Статья
Агенты и ReAct: цикл рассуждение-действие, инструменты, планирование, память
Как из одного вызова модели получается агент: цикл ReAct, проектирование инструментов, стратегии планирования, четыре уровня памяти, экономика длинных траекторий и …
Статья
Юзабилити-тестирование: как проверить макет на людях и не обмануть себя
Как спланировать и провести юзабилити-тест, сформулировать задания, вести сессию нейтрально, отличить факт от интерпретации, приоритизировать находки и передать их в …
Статья
Токены и стандарты: ERC-20, ERC-721, ERC-1155 и что за ними стоит
Токен — это строка в mapping внутри одного контракта, а стандарт ERC — минимальный контракт совместимости между незнакомыми программами: разбираем ERC-20 с его allowance …
Статья
Текст в интерфейсе: формулировки, сообщения об ошибках, тон
Как писать интерфейсные тексты как часть конструкции продукта: слоты микрокопии, разбор неудобных форм и ненайденных кнопок, анатомия сообщения об ошибке, тон как функция …
По этому запросу ничего не найдено.