Λ
DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge!
I am not a technology nerd!11!!!
Also, i'm so sorry for my geniusness and successness. =)
Tien Do
foreverLoveWisdom
🧑 Simple and Pragmatic Human Being |
🤔 Strategic Thinker |📦 Outside-the-box Software Engineer
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Chris Chapman
cgchapman
Day Job is as a procurement consultant - mostly working with clients on formal ICT purchases.
Have a long background (on and off over the years) in software
Australia
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Jordan
whyneedd
Web à pile complète.
étudiant en programmation autodidacte
pendant mes heures creuses.
@flashdev France, Martinique
Suriyaa Sundararuban
suriyaa
I 💖 Open Source! Just making the world a better place since 2010. I work with incredible people to exchange ideas, deliver outcomes, and drive change.
Germany
Kiryl Valkovich
visortelle
https://dekaf.io - UI for Apache Pulsar | Apache Pulsar Committer 🌱
Teal Tools Poland
Cabia Rangris
cab404
X▄▄▄▄▄X█X█▄▀X▀XX█XXX█X█X▄X█▀▀▄X█▄▄▄█X█▄▀███X▀▄▄▄▄▄▄▄█▀XXX▀X▄▄▄XX▀▀▄X▀▄X▀X█▀▄█XX▀██▄▄▀▀X█▀▄▄▀█X█▀▀▀X████▄▀▄▄█▄█▄▄▄▄▄▄▄██▄ decode for a head pat
Wes Hughes
chaintesting
Quality Engineer (automate)
Testing since 1984
Transparent Secure Decentralized Ideas
Available - 10,000 hours in AGILE SDLC's Texas
VICTOR EJIOFOR
chudi3349
Django developer... looking for a team to work with to sharpen my skills.
Eji-Tech Life Services Enugu, Nigeria
Simon Lecoq
lowlighter
Ẃ͉̘͢e̯̟i̛̭ṛ̷̘̯́͡d͔̻̪̪̬̘̫̪͞͝ ̷͕̩̪͇̯̫o͇̮͍r͎͉͚̤̭̥̠̣ ̰̣͍͉͝w̭̺̱̱̹͉̝̕ͅi̴̯̯̮̱͡ͅŕ̘͖̗͉̙͜ȩ̭͓͍̬̦̟̭̮d̴̙̠̥̦̭̺͎̼ ̩͔̰͇͔̳̯́͘͜?̩̬͉͚́͘ ͏͚̼
⠨⠵⠨⠁ ⠨⠺⠨⠁⠨⠗⠨⠥⠨⠙⠨⠕ 🇫🇷 / 🇨🇦 (QC)
Anurag Hooda
specdrake
I am interested in Functional Programming, Linux/Unix System Programming, Web Development, Information Security, AI and Machine Learning.
New Delhi
PreviousNext