Whatβs up? π
My name is Vasiliy.
Iβm interested in blockchain security, DeFi, MEV, statically typed functional programming, compilers, type theory and formal verification.
π I love to play CTF's
β€οΈ Rust, Haskell, PureScript, OCaml and Coq
π₯ A big Nix and NixOS fan
Contacts π«
- Drop a mail at [email protected]
- The public key on Keybase can be used to send encrypted email
- I am vyorkin on reddit, SO, freenode, discord and a few other places
π Planet Earth