- Программа-сад (Valetudo)
- Использование ZLayer без «сервисов»
- Идиоматическое внедрение зависимостей в ZIO 2
- Scala: структура данных в пространстве типов — множество
- Применение алгебраических типов данных для моделирования ошибок и сообщений в журнале
- Квитанции как способ отражения сделанной работы на уровне типов
- Вывод оптимального алгоритма с помощью формализма Бёрда-Меертенса
- Бестолковые тесты versus качественное ПО. Часть 3. Что получится?
- Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 5. Применимость юнит-тестов
- Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 4. Эквивалентность функций
- Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 3. Ошибки
- Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 2. «Распрямляем» код
- Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 1. Определяемся с качеством
- Бестолковые тесты versus качественное ПО. Часть 1. Бестолковые тесты
- Решение задачи о 8 ферзях на трёх уровнях Scala — программа, типы, метапрограмма
- Развёртывание программных систем в Kubernetes с помощью Jsonnet
- Потоковая обработка данных в go
- Build (CI/CD) of non-JVM projects using gradle/kotlin
- Сборка (CI/CD) не-JVM проектов с использованием gradle/kotlin
- Building projects (CI/CD), instruments
- Сборка не JVM-проектов, инструменты
- Компилируемая конфигурация распределённой системы
- Compilable configuration of a distributed system
- Тестирование белого ящика
- Классы типов в Scala (с небольшим обзором библиотеки cats)
- Строго типизированные комбинаторы для построения парсера и синтезатора естественного языка
- Строго типизированное представление неполных данных
- Конструирование типов в Scala
- Обработка событий в реальном масштабе времени с помощью SynapseGrid