Yusuke Endoh
mame
World No.1 IOCCC player. https://www.ioccc.org/winners.html#Yusuke_Endoh
@heyinc Japan
Georgios Konstantopoulos
gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz
@paradigmxyz Thessaloniki, Greece
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
dblalock
Research scientist at MosaicML. MIT PhD. I build fast machine learning algorithms.
MosaicML San Francisco, CA