Carlos J. Rivera
cjrcoding
Working on screen, building on chain. Exploring Cardano smart contracts with Haskell and Aiken. Learning in public, one project at a time.
Los Angeles, California
Oleg Sidorenkov
olegdayo
HSE/THWS SE alumni; senior software engineer; HSE OS instructor; Go/Rust/DevOps communities contributor; weeb/geek; olegdayo.github.io/me
@vk-cs Moscow
Ξ
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. =)
Guillaume Claret
clarus
Security researcher at @formal-land π² for Web3 applications
Applying the π proof system to find all the vulnerabilities.
π»ββοΈ
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
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
Vladislav Vasil'ev
faust403
Rust β’ C++ β’ Haskell β Distributed Systems β’ Low Latency Programming β’ Heterogeneous computing
@hadronlabs-org Internet
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
PreviousNext