Rune K. Svendsen
runeksvendsen
I've been writing code since I was 12. Love Haskell and Bitcoin.
Copenhagen
Ryan Newton
rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.
Meta, Purdue University, Indiana University IN
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana
Sebastián Estrella
sestrella
I'm a pragmatic tech leader with expertise in software development and DevOps. My expertise includes Haskell, Go, AWS, Nix, and Terraform.
@stackbuilders Quito, Ecuador
Alexander Granin
graninas
Software architect, book author, international speaker | "Functional Design and Architecture" (Manning) | "Pragmatic Type-Level Design"
UAE, Dubai
piq9117
piq9117
"I don't know how many years on this earth I got left. I'm gonna get real weird with it." - Frank Reynolds
Finlay Thompson
finlay
Director Data Science
Dragonfly Data Science @dragonfly-science Pōneke, Aotearoa
Sebastian Pulido
sebashack
I am a programmer who is on a quest for better ways of abstracting ideas and models to make software more scalable, performant and elegant.
Dodrotu Colombia
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
PreviousNext