- I build local-first tools for math writing, OCR, and document automation.
- I enjoy turning abstract ideas into usable software, from models to native desktop workflows.
- I share math notes and project demos on Bilibili; history stays mostly as a reading interest.