bootstrapping automaintenance
Thanassis Tsiodras
ttsiodras
Lead SW Eng for a SW services startup (12 years). Sold my stake, worked for the European Space Agency (7 years). Details at https://www.thanassis.space/cv.pdf
European Space Agency Noordwijk, Netherlands
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Adrien Joly
adrienjoly
Software Engineer. Maintainer of @openwhyd, among other projects.
Montreuil, Paris area, France
Sam Pfeiffer
awesomebytes
Robotics Software Engineer and Tech Lead, Python and ROS enthusiast, PhD in Robotics Software Engineering.
Wayve London
Daniel Spiewak
djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
@nvidia Chicago, IL
Joe Wilm
jwilm
Creator of Alacritty,
Chief Yak Shaver @ Latent
We're hiring!
@Latent-ML San Francisco, CA
Cory Benfield
Lukasa
Professional open source developer with a long background in building networking tools. Creator of @python-hyper, core developer of Swift NIO. Everywhere.
Apple London, England