Обо мне

Привет! Меня зовут Василий, а это что-то вроде блога.

Я интересуюсь функциональным программированием, формальными методами и математикой в целом. Точнее, некоторым весьма ограниченным количеством её разделов, в которых я довольно слабо разбираюсь. Также люблю физкультуру, поспать и вкусно поесть.

Здесь я пишу обо вcём, что нахожу интересным. На сегодняшний день это Haskell, PureScript, OCaml, Coq, Nix (и NixOS), Emacs, алгоритмы, компиляторы, формальные методы, теория категорий и другие клёвые вещи.

Иногда что-то пишу в твиттере, но крайне редко. Всё, что я делаю в open source можно найти на GitHub.

Контакты

  • В основном пользуюсь telegram
  • Меня также всегда можно найти на freenode и в functional programming slack (каналы #haskell, #purescript, #ocaml)
  • Или можно написать мне на почту vasiliy.yorkin@gmail.com
  • Я есть на keybase.io
  • Мой юзернейм на reddit и freenode – vyorkin
  • Другие мои юзернеймы: yorkin, meow

В данный момент живу в Москве (м. Митино, синяя ветка)