Katsujukou Kineya
katsujukou
Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
Kobe, Japan
Michael Bock
m-bock
Visonum (since 2023), @CirclesUBI (2021/22), @paritytech (2021),
@coyainsurance (2018/19) ...
#PureScript, #Haskell, #Nix, #TypeScript, #Rust, #Kotlin
Berlin
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Emily Pillmore
emilypi
I've stopped maintenance of most things in favor of taking care of cows and such. I encourage y'all to do the same.
@kadena-io Salt Lake City, Utah
Jan Schulte
sigma-andex
deep learning, functional programming. rust, typescript, python, purescript, haskell, scala.
🌍🌳🐟⛵️🎨🏔
Betalyra Sociedade Unipessoal Lda. Portugal
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Evan Relf
evanrelf
Passionate about pragmatic, rigorous software craftsmanship. Working on ACH and checks at Mercury.
@MercuryTechnologies Portland, Oregon, United States