Brevis Network
Deniz Umut Dereli
denizumutdereli
A digital person, who loves business development and management, hard coding with decades of experience.
ynklabs & aicodex
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Serge Radinovich
sergerad
Staff Software Engineer @ Immutable
Ethereum L2 // ZKP //
Rust // Golang // Kubernetes
New Zealand
Quiz 42 Hayekian
quiz42
Freedom granted only when it is known beforehand that its effects will be beneficial is not freedom.
BO42.etch Estonia
