- 2023-10-20 Типы vs. тесты
- 2023-03-18 Потоковая обработка данных в функциональном стиле на Go (Митап в Тинькоффе, без видеозаписи).
- 2022 Relational algebra in Scala3 video
- 2021 Неизменяемые структуры данных video
- 2021 Gradle: сборка не JVM-проектов video
- 2020 Компилируемая конфигурация распределённой системы video
- 2020 Доказательство программ, язык Arend (RU), video
- 2018 Типы данных на основе предикатов (Refined types)
refinedlibrary (RU), video flickr (на встрече λ-vrn в DataArt). - 2019 Язык программирования для юристов (Language for lawyers) (draft)
- 2017 Тестируем логические функции, или Как мне пригодились линзы и категории (user story) (видео, анонс)
- 2017 Flexible Typed Ontology pdf @ λC 2017 + short post
- 2017 Неизменяемые структуры данных — основа корректного программирования @ JavaDay DataArt/РИФ-Воронеж (Персистентные структуры данных (Persistent data structures))
- 2015 Типы Scala в прикладных задачах (Scala types in programs)
- 2015 Расширение библиотеки Slick (Slick library extension)
- 2015 Распределённые функциональные системы на Scala @ fpconf 2015
- 2015 Наблюдение за игровым миром Аллодов (Play+Scala+Slick+PostgreSQL) @ IT Nonstop Data Art 2015
- 2015 Функциональные сети на основе библиотеки SynapseGrid
- 2015 Scala для всех slides @ РИФ 2015
- 2023-09-04 Вывод оптимального алгоритма с помощью формализма Бёрда-Меертенса
- 2023-08-25 Бестолковые тесты versus качественное ПО. Часть 1. Бестолковые тесты - серия статей про тесты vs типы. Получила отрицательный рейтинг на Хабре (без аргументации).
- 2023-03-28 Решение задачи о 8 ферзях на трёх уровнях Scala — программа, типы, метапрограмма
- 2023-03-05 Развёртывание программных систем в Kubernetes с помощью Jsonnet.
- 2022-05-23 Потоковая обработка данных в go.
- 2021 Системы сборки
- 2019 Compilable configuration of a distributed system Компилируемая конфигурация распределённой системы (Draft Черновик)
- 2018 Dealing with software complexity @ Linked-In
- 2018 Тестирование белого ящика (white box testing)
- 2017 Классы типов в Scala (с небольшим обзором библиотеки cats)
- 2014 Double-typed relations for partial data representation
- 2014 Строго типизированные комбинаторы для построения парсера и синтезатора естественного языка
- 2014 Строго типизированное представление неполных данных
- 2014 Конструирование типов в Scala
- 2013 DataFlow native concurrency has been implemented in SynapseGrid
- 2013 Functional Reactive Programming: Introduction to SynapseGrid
- 2013 Обработка событий в реальном масштабе времени с помощью SynapseGrid
Notes: This site address. Edit the page. documentation.