DigitableCourses
База знаний

Материалы

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

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

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

Лямбда-исчисление в живых языках: от Lisp до современных стрелочных функций

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

#лямбда-исчисление#функциональное программирование#компиляторы
22 мин
Статья

Лямбда-исчисление Чёрча: зачем оно программисту и что это вообще такое

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

#лямбда-исчисление#функциональное программирование#теория вычислений
12 мин
Статья

Локальный поиск: hill climbing, имитация отжига, tabu search

Как работают траекторные метаэвристики — от жадного восхождения к вершине до отжига и поиска с запретами — и почему в SBSE они часто обыгрывают генетические алгоритмы.

#sbse#оптимизация#метаэвристики
20 мин
Статья

Локальные модели: llama.cpp, Ollama, vLLM, LM Studio, квантизация, требования к железу

Арифметика VRAM и пропускной способности памяти, честная экономика своего GPU против API, как устроена квантизация и что она ломает, четыре рантайма и их ниши, …

#ии-инженерия#локальные модели#квантизация
22 мин
Статья

Локальная оптимизация: как улучшение части ломает целое

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

#системное мышление#системная динамика#метрики
27 мин
Статья

Личный канбан и ограничение незавершённой работы

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

#тайм-менеджмент#канбан#продуктивность
20 мин
Статья

Лицензии как инженерное ограничение: копилефт и разрешительные

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

#поставка софта#лицензии#открытый код
31 мин
Статья

Линейная и логистическая регрессия

Два базовых линейных алгоритма ML от первых принципов: МНК как проекция, нормальное уравнение и градиентный спуск, регуляризация Ridge/Lasso, логит-преобразование, …

#машинное обучение#линейные модели#регрессия
19 мин
Статья

Линейная алгебра: векторы, пространства, базисы и линейная независимость

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

#математика#линейная алгебра#векторы
21 мин
Статья

Ленивость, бесконечные структуры и потоки данных

Ленивое вычисление — это не экзотика Haskell, а способ разделить «что мы порождаем» и «сколько нам нужно». Разбираем thunk и call-by-need, генераторы, бесконечные списки, …

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

Лексический анализ: токены, регулярные языки, свой лексер с нуля

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

#компиляторы#лексический анализ#конечные автоматы
21 мин
Статья

Легаси-код: швы, характеризующие тесты и безопасные изменения

Что делать с кодом, который страшно трогать: как его разведывать, где искать швы, как обложить характеризующими тестами и золотыми мастерами, каталог техник разрыва …

#принципы#легаси#рефакторинг
16 мин