Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo
Samuel Carlisle
samthetechie
Python Expert | Platform Engineer (DevSecOps) | Building Scalable, Secure, and Resilient Systems
samthetechie Berlin
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Inayet Hadi
inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful
Dreams API Denver, CO
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
Rico
Rico1900
I am a student from Nanjing university, and I am now studying in a 4-year PhD program at NJU SE.
Nanjing University Nanjing
Miao ZhiCheng
hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Moskvichev Victor
advancedAlpaka
I am a passionate Software developer, currently enrolling at ITMO University.
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
PreviousNext