Статьи, гайды, разборы и курсы Digitable.
Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и …
Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …
Строгая математика стратегического взаимодействия: нормальная форма, доминирование, равновесие Нэша и теорема о его существовании, минимакс и LP-двойственность, …
От строгого определения графа до теорем Эйлера, Куратовского, Кёнига и Кирхгофа — с интуицией, ручными разборами и работающим Python-кодом.
Что значит «вычислимо»: машина Тьюринга со строгим определением и работающим симулятором, лямбда-исчисление с нумералами Чёрча и комбинатором неподвижной точки, тезис …
Лестница абстрактных машин от конечного автомата до машины Тьюринга, иерархия языков Хомского, разница между «разрешимо» и «распознаваемо», сведения и теорема Райса — и …
От аксиом Колмогорова и формулы Байеса до доверительных интервалов, A/B-тестов, концентрационных неравенств и перцентилей латентности — со строгими определениями, ручными …
Как писать интерфейсные тексты как часть конструкции продукта: слоты микрокопии, разбор неудобных форм и ненайденных кнопок, анатомия сообщения об ошибке, тон как функция …
Строительные элементы доменной модели изнутри: чем сущность отличается от значения, зачем агрегату граница, где живёт логика, которая никому не принадлежит, и сколько это …
Обзорная статья трека: почему личная продуктивность разработчика — инженерная задача о потоках и очередях, а не о силе воли, и как устроен весь курс.
Схема — такое же утверждение с адресатом и решением, как абзац: она отвечает на один вопрос одного читателя или не нужна вовсе. Что глаз читает лучше текста, а что хуже; …
Обзорная статья трека: что такое структура данных как инженерный выбор, по каким осям структуры различаются, как выбирать под конкретный профиль нагрузки — и как устроен …
По этому запросу ничего не найдено.
Ступени, треки и материалы портала. Кликните ступень, чтобы раскрыть треки, трек — чтобы увидеть статьи, статью — чтобы увидеть, с чем она связана по общим темам.
Колесо — масштаб, перетаскивание — панорама. Стрелки и Tab — переход между узлами, Enter — раскрыть или выбрать. Повторный клик по материалу показывает его соседей по общим темам.
