close

DEV Community

# math

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)
fc0web profile

Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)

#math #collatz #frankl #lean
Comments
13 min read
Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)
fc0web profile

Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)

#math #collatz #gilbreath #lean
Comments
13 min read
Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record
fc0web profile

Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record

#math #collatz #lean #research
Comments
10 min read
Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)
fc0web profile

Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)

#math #research #lean #collatz
Comments
12 min read
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
fc0web profile

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms
Comments
10 min read
Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
fc0web profile

Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family

#math #research #lean #algorithms
Comments
5 min read
Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
fc0web profile

Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions

#math #research #lean #algorithms
Comments
5 min read
Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
fc0web profile

Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results

#math #research #lean #algorithms
Comments
6 min read
Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes
fc0web profile

Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes

#math #research #lean #typescript
Comments
9 min read
The whiteboard test: a FAANG-level gate applied to my own learning
amanbhandari profile

The whiteboard test: a FAANG-level gate applied to my own learning

#learning #ai #interview #math
Comments
6 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
fc0web profile

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms
Comments
7 min read
Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison
fc0web profile

Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison

#math #ai #research #typescript
Comments
6 min read
I Bought a Domain That Used to Sell Viagra. Here's My SEO Recovery Log.
levent_elik_34b35337d291 profile

I Bought a Domain That Used to Sell Viagra. Here's My SEO Recovery Log.

#seo #equation #solver #math
Comments
4 min read
A WebGL 3D Cube From First Principles — Handwritten 4x4 Matrices and Visible Shaders
sendotltd profile

A WebGL 3D Cube From First Principles — Handwritten 4x4 Matrices and Visible Shaders

#webgl #graphics #javascript #math
Comments
3 min read
Why 1100 / 1.1 = 999.9999… Is a Tax Calculator Bug, and Two Ways to Fix It
sendotltd profile

Why 1100 / 1.1 = 999.9999… Is a Tax Calculator Bug, and Two Ways to Fix It

#javascript #webdev #math #tutorial
Comments 1
4 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.