Soares Chen
soareschen
@maybevoid ∘ @contextgeneric ∘ Rust ∘ Haskell ∘ Functional Programming ∘ Programming Language Theory
@maybevoid Leipzig, Germany
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Anton Kaliaev
melekes
Software Engineer, Traveler, Glorified Plumber #distributedsystems #consensus
Jacob Gadikian
faddat
Notional Validators in Cosmos: Coding our way to the top of the validator sets
Notional Phuket, Thailand