Origins
"Born in 1999. Trained in Physics at Lanzhou University. Self-taught in Code by choice."
My background in Physics instilled a rigorous approach to problem-solving. At LZU, I learned that the universe is governed by laws; in software, I learned that we define them.
Today, I bridge the gap between metal and cloud, orchestrating systems with Next.js, Bun, and Postgres, while exploring the formal elegance of PLT and AI.
The Lab
Experiments in autonomy & logic.
Swarm IDE
An early pioneer in Agent-Centric development environments. Built to facilitate the next generation of AI-native software creation.
View on GitHubTechnical Stack
My daily architecture.
Beyond Code
Interests & Research.
Physics Intuition
Quantum mechanics & Thermodynamics
Deep Learning
CNNs, PyTorch, Agentic workflows
PLT & Proofs
Formal verification & Language theory