Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
Bendeguz Seres
EarlPitts
Interested in PL, Type Theory and Functional Programming. Nix and Haskell enthusiast.
Budapest
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
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
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Felipe S. S. Schneider
schneiderfelipe
A PhD chemist (computational chemistry) and (scientific) software engineer.
Cellertz Bio 27°35'20.2"S 48°31'12.5"W
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Andrii Maliuta
ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding
AC Ukraine
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
TheStophe
TheStophe
Decentralized hard money advocate. Just trying to avoid fiatcoin scams. Home hacker hobbyist.
USA
PreviousNext