Jung Han
junghan0611
Meditations on Technology, Learning, Life with Text-editor #pkm #toolsforlife #emacs #hangul #lisp #authology
Suwon
Tetsuo Koyama
tkoyama010
AI engineer @AKARI-Inc
3D visualization library @pyvista maintainer,
@scipy-conference chairperson,
Technical Steering Committee of @numfocus photo @pyconjp
@AKARI-Inc @numfocus Japan
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen