👨💻
Trying to untangle algebras from their interpretations.
Into Rust, Haskell, Scala, C++, Go, OCaml, LISPs, Idris, Koka, Coq, Linux, FP, Systems Programming, IoT, Tooling, Cloud, PLT, Math, and "an open set of things".
- Barcelona
- https://rvarago.github.io
Earned achievements
YOLO
YOLO
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading