Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Мои ресурсы:
YouTube:
канал JavaWatch (пока что видосиков всего пара штук, но будут добавляться по возможности).
Единый чат для всего:
@javawatch_chat Игровые новости в Telegram:
@жадный-игродел Зеркало во Вконтакте:
@javawatch Новости Java:
@javawatch Чат Archlinux:
@archlinux_ru Чат GraalVM:
@graalvm_ru Новости Scala:
ScalaNews.org Крайний за сайт
JUG.ru Крайний за подготовку контента для дайджест-выпусков
подкаста «Разбор Полётов».
Работа:
Комьюнити-менеджер сообщества JUG.ru.
Занимаюсь джавой, девопсом, изучаю компиляторы и виртуальные машины.
В данный момент профессионально занимаюсь организацией конференций в компании
JUG.ru Group.
Из проектов, сделанных за предыдущие 10+ лет, можно отметить:
- Сбербанк-Технологии: ППРБ.BPM, виртуальная машина для выполнения процессов из BPMN. Лучший BPM-проект 2017 года в России.
- Минздрав: Единая государственная информационная система в сфере здравоохранения (ЕГИСЗ): Интегрированная Электронная Медицинская Карта (ИЭМК), система регистрации на приём к врачу и вызова врача на дом. Интеграция с Госуслугами. Проксирование до информационных систем ЕМИАС, i-Novus/Ростелеком, БАРС. Работа с государственными организациями типа МВД, ГИБДД. Работа с помощью СМЭВ. Микросервисы, чатботы.
- Госуслуги (ЕПГУ): портальные формы по различным направлениям
- Информационная система, управляющая IUPAT (The International Union of Painters and Allied Trades) — сети профсоюзов США, работающей с малярами, штукатурами, и прочими строителями.
- Starview: Operational Intelligence Platform: фреймворки для автоматического тестирования языка программирования (Star, работает на JVM) и IDE (работает на Eclipse) и SDK для них.
- Playtox: участие в создании MMO игр (Стальной Легион, Мир Теней)
- CodeOrchestra: написание плагинов и деталей реализации языка для IDE, созданной для разработки под Adobe Flash. В основе — Jetbrains MPS. Задержался там супер недолго, но это было очень интересно.
- Erlyvideo: Flussonic (менеджер по продукту)
- Внутрисеть исполнительной дирекции компании Технопарк-Новосибирск