About me

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

Currently I’m doing a blockchain development with the Substrate framework.

Also I’m interested in statically typed functional programming, compilers, type theory and formal verification. These days I spend most of my spare 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

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

Currently I’m located in Moscow, Russia. Feel free to get in touch if you want to hang out ;)