close

DEV Community

# math

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
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
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
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
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
A Loan Calculator With 元利均等 vs 元金均等 and Prepayment Simulation
sendotltd profile

A Loan Calculator With 元利均等 vs 元金均等 and Prepayment Simulation

#javascript #finance #calculator #math
Comments
3 min read
Prime Factorization With Deterministic Miller-Rabin Up to 10^24
sendotltd profile

Prime Factorization With Deterministic Miller-Rabin Up to 10^24

#javascript #math #algorithms #primes
Comments
3 min read
A Roman Numeral Converter With Step-By-Step Breakdown and Strict Validation
sendotltd profile

A Roman Numeral Converter With Step-By-Step Breakdown and Strict Validation

#javascript #math #webdev #tools
Comments
3 min read
To Teach AI How to Remember, First Teach It How to Forget 2/2
_53fb7c03dd741a6124e4e profile

To Teach AI How to Remember, First Teach It How to Forget 2/2

#ai #llm #memorybank #math
Comments
9 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.