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 ;)