Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Daniel Metcalfe
homostellaris
💻 Software Creator
🤘 Metalhead
👨👩👦 Father
🌍 Effective Altruist
🫶 Humanist
🔮 ENFP
@sunsave United Kingdom
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
SecEng @sierra-inc Formerly @grammarly, @pinterest, @Yelp I love San Francisco
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
Eric Torreborre
etorreborre
Visit my other projects at http://github.com/atnos-org!
Ockam Alençon, France
kenji yoshida
xuwei-k
Tokyo
Mads Hartmann
mads-hartmann
When I’m not rummaging around in production I spend my energy making it easier to understand, and eventually more reliable.
@gitpod-com Denmark