Independent developer in Hangzhou. I build tooling for mathematical modeling contests and local-first desktop apps, and write about AI-assisted writing and code verification.
Toolbox — Python · TypeScript · Electron · Vue
math-modeling-skill — End-to-end AI skill for mathematical modeling contests: problem analysis, algorithm selection, implementation, paper polishing. PDF + Word delivery. ★ 19
mathmodel-studio — Local-first desktop agent for modeling contests: human-in-the-loop model selection, explanations, quality gates and scoring, plus figures, LaTeX/Word papers and de-AI checks. Electron + Python, bring your own model. ★ 7
Escaping-Notes — Personal blog and journal: articles, collections, updates, gallery, projects. ★ 5
VisualLaTeX — Visual LaTeX editor with multi-file projects and click-to-edit formulas; editing is fully offline, with PDF preview and export via a local Tectonic/XeLaTeX + Ghostscript service. ★ 5
kaggle-store-sales-timesfm — Kaggle Store Sales forecasting: TimesFM-3 zero-shot + recursive LightGBM, log-space blend (public LB 0.38980). ★ 3
deai-writing — General-purpose de-AI writing skill: vocabulary-, structural-, and character-level gates with bilingual rules and regression checks. ★ 2
altiora-agent — Log-first coding agent harness with a CLI and Windows desktop app: streaming turns, tool calls, permission enforcement and resumable sessions over OpenAI-compatible models. ★ 2
Escaping Notes — essays and notes, a long exposure of star trails.
Altiora petamus.