About me

Hey there! I’m Vasiliy Yorkin, and this is my little corner of the shitty place they call Internet.
I make things with computers and explore the Universe.
When AGI finally takes over this damn world, hopefully it will spare me and let me live out this mortal life.
I’m into statically typed functional programming, compilers, type theory, and formal verification.
Here I share some of what I do.
Most of my open source work is available on GitHub.

Contact Link to heading

• I have Calendly, feel free to schedule a meeting.
• If you want a quick response – chat with me in Telegram.
• And if you don’t want a quick response you can drop a mail at vasiliy.yorkin@gmail.com.