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.
Want to talk?
- Chat with me in Telegram
- You can always find me on IRC freenode and functional programming
- Email me at firstname.lastname@example.org
- 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.