Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Любимые цитаты: Ryūjin no ken wo kūrae!
Как связаться
Основной способ связи — личные сообщения и комментарии
в профиле на Facebook.
Сообщения в личке Хабра я читаю, но гораздо реже.
Мои ресурсы
Единое место для загрузки Java и JDK:
jdk.dev YouTube
Telegram
Legacy
Работа
Бывший журналист и технопиарщик в JUG.ru Group, бывший техлид в Сбербанк-Технологиях.
Настоящий тролль, лжец и девственник.
В данный момент занимаюсь разработкой IDE в одной известной компании.
Вся информация, которую я написал в неофициальных постах — мои личные размышления, и никаким образом не отражают мнение компании-работодателя. Иногда они даже могут противоречить официальной позиции компании-работодателя. Если вам нужно получить официальную позицию — лучше обратиться не ко мне, а в какую-нибудь пресс-службу. Серьезно.
Из проектов, сделанных за предыдущие 10+ лет, можно отметить:
- Блог компании JUG.ru Group, неоднократно поднимавшийся в топы Хабра
- Сбербанк-Технологии: ППРБ.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 (менеджер по продукту)
- Внутрисеть исполнительной дирекции компании Технопарк-Новосибирск