About me

Hello! My name is Vasiliy Yorkin and this is my personal website.

I’m interested in statically typed functional programming, Martin Löf’s type theory, dependent types, intuitionistic mathematics in general and formal verification. These days I spend most of my time exploring the world of FP, formal methods and category theory.

In this blog I’m going to write about some of the things I do. Particularly about Haskell, PureScript and OCaml, but sometimes about Nix (and NixOS), Coq and other technologies and ideas I’m care about.

Occasionally I tweet about those and other things on Twitter. Most of my open source work is available on GitHub.

Contact

Want to talk?

• Chat with me in Telegram
• You can always find me on IRC freenode and functional programming slack (channels: #haskell, #purescript, #ocaml)
• Email me at vasiliy.yorkin@gmail.com
• The public key on Keybase can be used to send encrypted email
• I am vyorkin on reddit, freenode and a few other places

Currently I’m located in Moscow, Russia. Feel free to get in touch if you want to hang out and discuss any of those topics.