Alex Shaw
alexgshaw
MTS @ Laude Institute, Former SWE @ Google & Math @ BYU
Laude Institute Mountain View, CA
Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
Gergely Orosz
gergelyorosz
Writing The Pragmatic Engineer. Formerly Uber, Microsoft/Skype, Skyscanner
Uber Amsterdam, NL
Elvis Saravia
omarsar
Machine Learning & NLP Research • PhD • Building @dair-ai • Previously: Meta AI, Elastic
DAIR.AI
Malik Mujtaba
M-M-Mujtaba
Improving and learning to become one of the best SWE.
Conrad Labs Lahore, Pakistan