Смелый новый мир: JavaWatch

Смелый новый мир: JavaWatch

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

Привет. Вы попали на личный блог Олега Чирухина, на котором я пишу о кишках JVM.

В данный момент я работаю в компании JUG.ru Group.
Мы делаем конференции по Java: Joker (СПб), JPoint (Москва) и JBreak (Новосибирск).

Статьи я пишу по работе, но некоторые — которые написаны мной в нерабочее время или основаны на проделанных во внерабочее время делах — публикуются здесь.

В качестве основного средства чтения всех статей, а не только избранных, рекомендую сайт JUG.ru и блог компании JUG.ru Group на Хабре. На сайте Джуга есть, например, замечательные еженедельные дайджесты, которые мы пишем вместе с подкастом «Разбор Полётов» (Виктором Гамовым, Барухом Садогурским, и остальными). В блоге на Хабре есть ещё куча разных ништяков — как известно, не кишками едиными жив человек.

В каком-то смысле, я даже не понимаю, почему статьи о кишках читают. Обычный человек применить это никак не в состоянии. Но раз уж вы сюда пришли по своей воле, то сами найдете себе развлечение и применение.

 


Ресурсы

Мои сайты, чаты и каналы в Telegram:

Новости мира Scala: ScalaNews.org

Новости мира Java: @javawatch
Чат для обсуждения новостей: @javawatch_chat

Чат по GraalVM: @graalvm_ru
Новости (пока обновляются редко): @graalvm_ru_news
Сайт (и почта на нём): GraalVM.io

Чат по Archlinux: @archlinux_ru

Крайний за сайт JUG.ru
Крайний за подготовку контента для дайджест-выпусков «Разбора Полётов».


Био

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

.