Lean/Haskell/Rust/Typescript -
"To ask the right question is harder than to answer it."
Georg Cantor
- Edinburgh, UK
Highlights
- Pro
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Benji Stephenson
benjstephenson
Likes vimming and building things.
Will code for tea and cake.
London
Mario Alvarez
mmalvarez
I'm a Formal Verification and Programming Languages researcher who focuses on Blockchain technologies
@OffchainLabs
Gabriel Suarez
gabops
I am a DevOps engineer who likes Python, Go, AWS, Kubernetes and climbing with friends.
Edinburgh, UK
Soares Chen
soareschen
@maybevoid ∘ @contextgeneric ∘ Rust ∘ Haskell ∘ Functional Programming ∘ Programming Language Theory
@maybevoid Leipzig, Germany
Johan Félisaz
Joh11
Physics master student at EPFL. Specializing in condensed matter and computational physics.
Mike Bostock
mbostock
Building a better computational medium. Co-founder @observablehq. Creator @d3. Former @nytgraphics. Pronounced BOSS-tock.
@observablehq San Francisco, CA