323,5
Карма
28,8
Рейтинг
Олег Чирухин @olegchir

кибер-ниндзя

Значки
  • Захабренный
  • Легенда
  • Старожил
  • Переводчик
  • Бета-тестер
Приглашен

12 января 2009 по приглашению от @besisland

О себе

Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно 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 (менеджер по продукту)
  • Внутрисеть исполнительной дирекции компании Технопарк-Новосибирск

Пригласил на сайт
Подписан на компании
Microsoft
Microsoft — мировой лидер в области ПО и ИТ-услуг
Habr
Create services for geeks
JetBrains
Делаем эффективные инструменты для разработчиков
Сбер
Больше чем банк
JUG Ru Group
Конференции для программистов и сочувствующих. 18+

Показать все