vyorkin

LIVE

Joined Feb 2013· 13y 5m

About vyorkin

I’m into math, physics, automated/manual theorem proving, statically typed functional programming, compilers and formal verification.

vyorkin clips8ranked by views

19 viewsqurzyyy · Jun 24, 2020, 18:50

19 viewsnyadin8 · May 14, 2020, 10:30

14 viewsalex_medium · May 14, 2020, 12:41

13 viewsvyorkin · Mar 28, 2025, 23:02

11 viewscoding_place · May 23, 2020, 20:34

8 viewscoding_place · Feb 1, 2021, 07:51

7 viewscoding_place · Feb 1, 2021, 07:51

3 viewscoding_place · Feb 1, 2021, 09:37