Barry is a professional software developer living in Union City CA.
-
ThousandEyes
- Union City, CA 94587
- http://barrybecker4.com
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Kyle Cheng
kcheng0222
Hi, I am Kyle! I'm a student at UC Berkeley working on CS and products that I enjoy.
UC Berkeley SF Bay Area