315,5
Карма
22,4
Рейтинг
Олег Чирухин@olegchir

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

Значки
  • Habred
  • Legend
  • Oldtimer
  • Translator
  • Beta-tester
Зарегистрирован

12 января 2009

Приглашен

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

О себе

Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.




Мои ресурсы:

Единое место для загрузки Java и JDK: jdk.dev

YouTube: канал JavaWatch (пока что видосиков всего пара штук, но будут добавляться по возможности).

Единый чат для всего: @javawatch_chat
Новости 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 (менеджер по продукту)
  • Внутрисеть исполнительной дирекции компании Технопарк-Новосибирск