Олег Чирухин
@olegchir
кибер-ниндзя
- Badges
- Habred
- Legend
- Oldtimer
- Translator
- Beta-tester
- Invited
- by invitation from @besisland
- About
- Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Любимые цитаты: Ryūjin no ken wo kūrae!
Как связаться
Основной способ связи — личные сообщения и комментарии в профиле на Facebook.
Сообщения в личке Хабра я читаю, но гораздо реже.
Мои ресурсы
Единое место для загрузки Java и JDK: jdk.dev
YouTube
- Канал CodeCraft (написание кода).
- Канал Adeptus Contentus (создание контента).
Legacy: канал JavaWatch (новости Java).
Telegram
- Новости Java: @javawatch
- Единый чат для всего: @javawatch_chat
- Чат Archlinux: @archlinux_ru (warning: NSFW, explicit content, 2ch/b)
- Чат GraalVM: @graalvm_ru
Legacy
- Бывший крайний за сайт: JUG.ru
- Бывший крайний за сайт: ScalaNews.org
- Бывший крайний за подготовку контента для дайджест-выпусков подкаста «Разбор Полётов»
Работа
Бывший журналист и технопиарщик в 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 (менеджер по продукту)
- Внутрисеть исполнительной дирекции компании Технопарк-Новосибирск
- Belongs to hubs
- Invited to the website
- Subscribed to companies
HabrCreate services for geeks
JetBrainsДелаем эффективные инструменты для разработчиков
JUG Ru GroupSenior'ы выбирают нас
СберБольше чем банк
