Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco