Hello! My name is Vasiliy Yorkin and this is my personal website.
I’m interested in statically typed functional programming, type theory and formal verification. These days I spend most of my time exploring the world of FP and category theory.
I’ve started to learn functional programming for real in winter 2017, when Haskell caught my interest and a couple of months later I had a chance to use it at work.
Previously I’ve worked as a frontend developer for quite some time. Before that I’ve been using Elixir for about a year and even earlier I’ve been writing some Ruby. A long, long time ago, I worked as a .NET developer and used C#. Now I have completely moved over to functional programming. I’ve been using Haskell for over the year now, and it has been my main development language for about 5 months.
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.
Résumé is here.
Want to talk?
- Chat with me in Telegram
- You can always find me on IRC freenode and functional programming
- Email me at email@example.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. But 6 months a year I live in Germany. Feel free to get in touch if you want to hang out and discuss any of those topics.