🦕
- Poland
Highlights
- Pro
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Wojciech Ciężobka
Wotaker
Aspiring data scientist with 3+ years of experience applying deep learning and Bayesian inference to solve real-world problems. Proficient in Python and Scala.
AGH University of Kraków