infsup

Welcome. I write about math, computing, literature, and life.

2026/05/21 Formalizing Exact Majority: Bridging Informal and Machine-Checked Proofs
2026/05/14 Ripple Update: CTMC Infrastructure and Kurtz's Mean-Field Theorem
2026/05/12 When Formal Verification Finds a Real Bug: A Proof Gap in Ehrenfest Urn Theory
2026/04/26 Backhouse's Pancake Functions: A Single-Knob Family of Strict-GPAC π
2026/04/25 Computing ζ(5) by GPAC: Three Routes, Three Obstructions
2026/04/25 Computing ζ(2): a Residual Generating Function and a Recurring Obstruction
2026/04/25 Computing π Without an Inverter: Three Direct Designs
2026/04/25 Building the Chudnovsky π-Computer: an Explicit Analog Design
2026/04/25 Why π Stops Getting Faster: the Heegner-163 Ceiling
2026/04/25 The 1-Dimensional Kernel: Why Apéry's Trick Doesn't Port to Ramanujan
2026/04/24 Tunable-Rate Inverters for Analog Reciprocal Computation
2026/04/24 Where You Place √2 Matters: An Integration-by-Parts Trick on Ramanujan's Circuit
2026/04/24 A Six-State Analog Circuit for Ramanujan's 1914 Series
2026/04/24 Variables That Exist in the Derivation But Not in the Execution
2026/04/21 Encoding ζ(3) as an Analog Computation: Two Routes, One Obstruction
2026/04/21 From the Reflection Trick to Fermi Integrals and Apéry's Constant
2026/04/20 A Gap Surfaced by Formalization: Transient Overshoot in the LPP Main Theorem
2026/04/20 A Two-Line Collapse: The Logistic Reflection Trick
2026/04/20 Constant-k Dual-Railing of the Scalar Cubic: A First Nontrivial Case
2026/04/20 Ripple: A Lean 4 Formalization of CRN-Computable Numbers
2026/04/20 Zero-Init Non-Collapse: Why a Bounded CRN Cannot Compute Zero by Decay
2026/04/17 Computing ζ(3) by Adaptation: A Polynomial ODE from the Apéry Equation
2026/04/17 Creative Telescoping: Turning Multi-Dimensional Integrals into ODEs
2026/04/17 The Inverse Problem of Reaction Kinetics: When Is Finding a Minimal CRN Trivial?
2026/04/16 Derivatives at the Conifold: How Singularities Encode $\zeta(3)$
2026/04/16 The Geometry Hiding in Algebraic Manipulations: A Manifold Perspective on CRN Computation
2026/04/16 Vieta's Theorem and a Gap in CRN-to-Protocol Translation
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 湖心亭看雪：一场关于过度解读的对话