Welcome. I write about math, computing, literature, and life.
- 2026/04/16 The Geometry Hiding in Algebraic Manipulations: A Manifold Perspective on CRN Computation
- 2026/04/10 Formalizing the 3-State Approximate Majority Protocol in Lean 4: Completing a Classic Proof
- 2026/04/10 From the Apéry Series to a Differential Equation for $\zeta(3)$
- 2026/04/10 Real-Time Computable Numbers and Schanuel's Conjecture
- 2026/04/10 The Reciprocal Module Is Continuous Newton's Method
- 2026/04/06 Baby-Step Giant-Step: The Elegance of Trading √n for √n
- 2026/04/06 Baby-Step Giant-Step: 用√n换√n的优雅
- 2026/04/06 Xing: Private Paths of Memory
- 2026/04/06 兴：记忆的私路
- 2026/04/01 A Gentle Upgrade: From Integration by Parts to Low-Pass Filters
- 2026/04/01 CRN Subtraction Is a Low-Pass Filter
- 2026/04/01 Erratum: A Sign Error in the Proof of Theorem 4 (DNA25)
- 2026/04/01 How Hard Is It to Compute α^β? A Bounded GPAC Error Analysis
- 2026/03/31 How Fast Does $\arctan(1 - e^{-t})$ Converge to $\pi/4$?
- 2026/03/31 东京梦华录序：一个亲历者的繁华与碎裂
- 2026/03/30 Newton's Method, Complex Dynamics, and the GPAC Connection
- 2026/03/27 The Illusion of Rational Cancellation: An Infinite Regress in CRNs
- 2026/03/26 Computing Apéry's Constant with Chemistry (Well, Almost)
- 2026/03/26 From Railway Relays to Chemical Reaction Networks: Analog Computing Through the Ages
- 2026/03/25 Five Ways to Fail at One-Marking: A Research Diary
- 2026/03/25 Hello World
- 2026/03/25 Math Rendering Test
- 2026/03/25 One Marking, One Failure: The Method of Unknowns
- 2026/03/25 湖心亭看雪：一场关于过度解读的对话