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
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
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
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
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
Mandelbrot, Julia, and Burning Ship Fractals in a Progressive-Render Canvas
sendotltd profile

Mandelbrot, Julia, and Burning Ship Fractals in a Progressive-Render Canvas

#javascript #canvas #math #graphics
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
Lagrange interpolation: turning points into a polynomial
0xluk3 profile

Lagrange interpolation: turning points into a polynomial

#math #zk #cryptography
Comments
6 min read
Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)
fc0web profile

Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)

#math #lean #research #typescript
Comments
7 min read
Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)
fc0web profile

Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)

#math #lean #research #algorithms
Comments
7 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.