HumanLayer
Users following humanlayer
Thanawat suparongsuwan
tdealer01-crypto
Building deterministic AI execution with formal verification.
Core: Z3 SMT solver, CCVS evidence chains, cryptographic proofs.
Believer in provable governanc
dsg.pics
Ahmad Abbas Hussain
ahmedabbas52233-a11y
Currently pursuing BSc (Hons) Computing from Arden University (UK) alongside hands-on full-stack development projects.
Lahore, Pakistan
Minqi Pan
pmq20
Head of Anti-Fraud at KOMOJU. Fintech, payments risk, and e-commerce. Former Alibaba engineer. RailsConf/RubyConf speaker.
Tokyo
Zaher Ghaibeh
zaherg
Pronounce ['za-her], Creator of domain book app and Founder of @darawish , looking for great opportunities
Istanbul, Turkey
Tom Bokma
Tom-Ritense
Building scalable software with Kotlin, DDD, Event-Driven Architecture, and AI-powered engineering practices.
Ritense BV Amsterdam
PreviousNext