Привет

Меня зовут Павел Ветохин и я являюсь разработчиком софта. В свободное от забот время я интересуюсь сессионными типами, workflow-движками, безопасностью на основе возможностей (capability-based security) и тонной других около айтишных тем. Также меня увлекает институциональная экономика (особенно трансакции институтов обмена).

На текущий момент я живу в России и работаю бэкенд инженером в компании Nexign.

Самые свежие посты

Основы кейс-дизайна и рыбной ловли
— 5 февраля 2022 г.
Кейс-дизайн на примере сложной, но увлекательной предметной области

Что такое кейс
— 7 ноября 2021 г.
Кейсы при посредничестве действующих лиц обмениваются информацией и изменяют своё состояние во времени

Остальные посты можно найти в блоге либо подписаться на рассылку по RSS.

Самые свежие публикации

Простейший пример с очередью
— Трансакционные типы
Простейший пример передачи и получения доступа к некоторому ресурсу

Остальные публикации можно найти в разделе проектов.

Профили в интернете