Someone
SomeoneSerge
Applied mathematics, inverse graphics, computer vision (dense image correspondences), Nix
Independent + Aalto U, former HSE & Skoltech Helsinki, FI
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Hans Koch
Hammster
🧙 Coding Wizard working at @IBM
⚠️ Email is for support, not job offers
IBM Germany
Neko Boi Nick
thakyZ
I am an avid gamer and I love to program!
Also, the host for @nekogamingsrvs
@nekogamingsrvs Washington, United States