Mate Soos @ Argot
msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation).
Personal account: @msoos
Argot Collective @argotorg Berlin, Germany
Chris Anatalio
anataliocs
Senior Backend Blockchain Engineer @uphold Ex @stellar Ex @Consensys @LinkedInLearning and Pluralsight Content Author. @Developer-DAO #4727
@uphold New York City
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Novus Nota
novusnota
Amateur Tree-sitter-sitter.
UX and DX aficionado.
If only you knew the power of the Dart side, you'd wanna be the very best, like no one ever was.
Remote
Alfonso Sandro Gómez Gómez
asggWa
Trabajo con los ordenadore y prefiero los que no dan calambre cuando te olvidas las babuchas.
treebtc Spain
Mauro Risonho de Paula Assumpção
firebitsbr
Pencil/Paper, Algorithm, Telex, Sharp ELSI MATE IEL-8016R(my mother's calculator), AppleII, MSX2, Pentium 75Mhz ... IBM Quantum.
Transcending Digitally...
Universe Universe
PreviousNext