Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
Alexander F. Rødseth
xyproto
Software Developer, Arch Linux package maintainer, Go/Python/C++/C developer and open source enthusiast. I enjoy playing the game of Go as well.
Oslo
Dorian Lesbre
dlesbre
Ph.D. student in computer science, working on program verification and formal methods
CEA List Paris, France
François Garillot
huitseeker
Dabbling with streams & distributed data in close proximity to ☕.
4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke
Charles Averill
CharlesAverill
UTD CS PhD, losing my mind grading
@SoftwareLanguagesSecurityLab Dallas
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops
@meta-introspector New Jersey
chunvanlierop
ICT, organization, finance and life: empowerment ignites! Strengthening individuals, and stimulating growth through optimism and pragmatism
Amsterdam
Edwin Ansari
edwinans
Software Engineer at @LexiFi.
Interested in programming languages, FP, formal verification, and blockchain technologies.
@Lexifi Paris
Yaksh Toyesh Ujoodha
YAkshTOyesh
"🌍 Passionate explorer weaving data, cultures, and experiences into a journey of discovery and connection. 🤝"
Beloit, WI
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Antoine Groudiev
agroudiev
CS student @ École Normale Supérieure, Visiting Fellow @ Harvard University
Harvard University Boston, MA
PreviousNext