Talks by Primetalk

Talks:

• 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) refined library (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

Posts

• 2023-09-04 Вывод оптимального алгоритма с помощью формализма Бёрда-Меертенса
• 2023-08-25 Бестолковые тесты versus качественное ПО. Часть 1. Бестолковые тесты - серия статей про тесты vs типы. Получила отрицательный рейтинг на Хабре (без аргументации).
• 2023-03-28 Решение задачи о 8 ферзях на трёх уровнях Scala — программа, типы, метапрограмма
• 2023-03-05 Развёртывание программных систем в Kubernetes с помощью Jsonnet.
• 2022-05-23 Потоковая обработка данных в go.
• 2021 Системы сборки
  • 2021-04-05 Building projects (CI/CD), instruments Сборка не JVM-проектов, инструменты
  • 2021-04-05 Build (CI/CD) of non-JVM projects using gradle/kotlin Сборка (CI/CD) не-JVM проектов с использованием gradle/kotlin
• 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.