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

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