Submissions from zenodo.org

		Formal foundations of AlphaGeometry: A Lean 4 mechanization (zenodo.org)
		1 point by AnthonyBordg 1 day ago \| past \| 1 comment
		AI Quality Paradox: How Code Complexity Drives Rework in AI-Assisted Development (zenodo.org)
		1 point by antmenn 2 days ago \| past \| 2 comments
		The Verification Paradox: AI makes coding faster, but organizations slower (zenodo.org)
		2 points by frannyPS 2 days ago \| past \| 3 comments
		How do you handle state persistence in non-orientable data structures? (zenodo.org)
		1 point by MareSerenitatis 2 days ago \| past \| 1 comment
		Output-Maximizing Long-Context Programming: 14k lines of code for $0.58 (zenodo.org)
		1 point by JasonViviers 2 days ago \| past \| 3 comments
		What C-Space Is – and Why I Think Rω=C May Be the Missing Key in Physics QM/GR (zenodo.org)
		1 point by pajuhaan 3 days ago \| past \| 1 comment
		Generalizing Knuth's Pseudocode Architecture to Knowledge (zenodo.org)
		5 points by isomorphist 3 days ago \| past \| discuss
		The Project 11 (zenodo.org)
		1 point by KaoruAK 27 days ago \| past \| 1 comment
		SHA-256 Proyect (zenodo.org)
		1 point by KaoruAK 28 days ago \| past
		Show HN: Exact Hamiltonian Path solver (N=63) in 0.11s on mobile ARM (No RAM) (zenodo.org)
		1 point by andrespi 29 days ago \| past
		Formally equivalent math frameworks fail differently on real data (zenodo.org)
		1 point by CreativeLabsRo 29 days ago \| past \| 1 comment
		Data Overload in Fitness Tracking Technologies (zenodo.org)
		1 point by vassilbek 30 days ago \| past
		The Observer Lemma (zenodo.org)
		1 point by VirgilH2Oss 30 days ago \| past \| 1 comment
		The Project 9 (zenodo.org)
		1 point by KaoruAK 32 days ago \| past \| 1 comment
		When Models Examine Themselves: Vocabulary-Activation Correspondence in LLMs (zenodo.org)
		3 points by patternmatcher 32 days ago \| past \| 1 comment
		German patent classified as state secret (zenodo.org)
		2 points by nAOpx 32 days ago \| past \| 3 comments
		3+1D Octonionic Field Theory: A Lagrangian PINN Approach to Non-Assoc Spacetime (zenodo.org)
		1 point by theaiwillwin 33 days ago \| past \| 1 comment
		Show HN:Simulating 3D Turbulence with O(log N) Memory via Tensor Trains (zenodo.org)
		1 point by INVARIAN 33 days ago \| past \| 1 comment
		Project 7 (zenodo.org)
		1 point by KaoruAK 33 days ago \| past
		Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers (zenodo.org)
		1 point by DarenWatson 34 days ago \| past
		Hash Anomaly (zenodo.org)
		1 point by KaoruAK 34 days ago \| past \| 1 comment
		Why AlphaTensor Failed at 3x3 Matrix Multiplication: The Anchor Barrier (zenodo.org)
		1 point by DarenWatson 34 days ago \| past
		Show HN: 289x speedup over MLP using Spectral Graphs (zenodo.org)
		1 point by andrespi 34 days ago \| past
		Show HN: Routed Attention – 75-99% savings by routing between O(N) and O(N²) (zenodo.org)
		1 point by MikeBee 34 days ago \| past \| 1 comment
		Show HN: Solving NP-Complete Structures via Information Noise Subtraction (P=NP) (zenodo.org)
		3 points by alemonti06 35 days ago \| past \| 1 comment
		Program Theory (zenodo.org)
		1 point by Anonymus12233 35 days ago \| past
		Gravity = Magnetism and Heat (zenodo.org)
		2 points by phdlalala 35 days ago \| past \| 1 comment
		Loss Distribution Collapse: A Structural Theory of Dataset Degradation (zenodo.org)
		1 point by GOE_OVSYANKA 36 days ago \| past \| 1 comment
		A 16yo's mathematical derivation of Model Collapse (The Ainex Singularity) (zenodo.org)
		1 point by Mhh1430 36 days ago \| past
		Intelligence Ratchet-Theoretical Framework: Self-Stabilizing Superintelligence (zenodo.org)
		2 points by DarcStar 37 days ago \| past
		More