Лямбда-исчисление в живых языках: от Lisp до современных стрелочных функций
Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как …
Статьи, гайды, разборы и курсы Digitable.
Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как …
Язык программирования из трёх правил, придуманный до появления компьютеров: зачем он нужен практикующему разработчику и как читать первые редукции.
Как работают траекторные метаэвристики — от жадного восхождения к вершине до отжига и поиска с запретами — и почему в SBSE они часто обыгрывают генетические алгоритмы.
Арифметика VRAM и пропускной способности памяти, честная экономика своего GPU против API, как устроена квантизация и что она ломает, четыре рантайма и их ниши, …
Почему сумма локальных оптимумов не равна оптимуму целого: узкие места, перенос нагрузки, метрики-заместители — и как отличить вредную локальную оптимизацию от обычной …
Как визуализация работы и WIP-лимиты превращают список дел в управляемый поток: происхождение метода, математика очередей, доска инженера, метрики и честный разбор того, …
Лицензия — это не юридическая экзотика, а условие на графе сборки: она определяет, что вы обязаны положить рядом с бинарём, какой код придётся открыть и какую границу …
Два базовых линейных алгоритма ML от первых принципов: МНК как проекция, нормальное уравнение и градиентный спуск, регуляризация Ridge/Lasso, логит-преобразование, …
Как из восьми аксиом вырастает вся линейная алгебра: векторные пространства, линейная оболочка, независимость, базис, размерность, координаты и ортогональность — со …
Ленивое вычисление — это не экзотика Haskell, а способ разделить «что мы порождаем» и «сколько нам нужно». Разбираем thunk и call-by-need, генераторы, бесконечные списки, …
Первая фаза компилятора: как поток символов превращается в поток токенов, почему для этого хватает конечного автомата, где проходит граница регулярных языков — и полный …
Что делать с кодом, который страшно трогать: как его разведывать, где искать швы, как обложить характеризующими тестами и золотыми мастерами, каталог техник разрыва …
По этому запросу ничего не найдено.
Ступени, треки и материалы портала. Кликните ступень, чтобы раскрыть треки, трек — чтобы увидеть статьи, статью — чтобы увидеть, с чем она связана по общим темам.
Колесо — масштаб, перетаскивание — панорама. Стрелки и Tab — переход между узлами, Enter — раскрыть или выбрать. Повторный клик по материалу показывает его соседей по общим темам.