leanprover-community
Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
uhaka japan
Nho Luong
nholuongut
💁Vietnam DevOps Engineer Lead🇻🇳🇻🇳🇻🇳
🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳Vietnam Timeless Charm 🥰Enjoy Every Moment 🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳😜Good Vibes Only
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Nikolay Kolev
nikolay
A hacker, not a script kiddie. Opinions are my own. Code is all yours. 🇧🇬🇺🇸
@withcodery Irvine, CA, US
Darius Liddell
djtrack16
Stanford CS. Ruby.
Functional Programming Enthusiast.
Slow Traveller.
Cycling.
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Dhyey Mavani
DhyeyMavani2003
CS, Math & Stats @AmherstCollege | Ex AI/ML SWE intern @linkedin, @aws | President @ACquantclub | Founding Head of Engineering @ac-i2i-engineering
@AmherstCollege @acdmammoths @aws @linkedin @minerva-ed Amherst, MA, USA
Ítalo Oliveira
italojsoliveira
A former lawyer who has turned into a computer scientist | Conceptual Modeling, Ontology Engineering, Enterprise Modeling, Risk Management & Cybersecurity
University of Twente Enschede, Netherlands
PreviousNext