Обо мне

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

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

Здесь я (когда-нибудь) собираюсь писать обо в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

В данный момент я живу в Москве (м. Митино, синяя ветка). И я всегда рад поболтать на любую из упомянутых выше тем.