Stories by DRLogvinovich

Show HN: Python tool using torus math to audit duplex DNA against NCBI

Show HN: Python suite for spectral geometry analysis of 1.5M+ MPCORB orbits

Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof

A 3-Line Torus Geometry Proof Wrecked OpenAI's $100B Biotech Venture

6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proof

Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"

RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem

Do Z=119 and 120 decay bottlenecks mirror relativistic 6d10 subshell geometry?

Why do NOIRLab, Gaia DR3, and AllWISE pipelines simultaneously fail at one node?

Astronomical pipelines return trillion-level error rates at coordinate node