DEV Community

#math

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Two roots, one valid size: a local Spark-X2.5-1.7B and SymPy demonstration
sparkllm profile

Two roots, one valid size: a local Spark-X2.5-1.7B and SymPy demonstration

#ai #python #opensource #math
Comments
4 min read
Two roots, one valid size: a local Spark-X2.5-1.7B and SymPy demonstration
fenju_fu profile

Two roots, one valid size: a local Spark-X2.5-1.7B and SymPy demonstration

#ai #python #opensource #math
Comments
4 min read
4.2 / 0.6 = 7.000000000000001: testing calculator formulas against hand-worked examples
jeremiah_say profile

4.2 / 0.6 = 7.000000000000001: testing calculator formulas against hand-worked examples

#javascript #testing #webdev #math
Comments
4 min read
Cube translates in non-abelian groups: what commutativity is worth
munimv2 profile

Cube translates in non-abelian groups: what commutativity is worth

#math #python #opensource #algorithms
Comments
13 min read
The Littlewood conjecture in October 2026: what is proved, what changed in 2026, what is open
munimv2 profile

The Littlewood conjecture in October 2026: what is proved, what changed in 2026, what is open

#math #python #opensource #algorithms
Comments
16 min read
The Anchor Step: One Mod-12 Formula That Determines Every Position in a Zi Wei Dou Shu Chart
taurusyao profile

The Anchor Step: One Mod-12 Formula That Determines Every Position in a Zi Wei Dou Shu Chart

#algorithms #math #tutorial #programming
Comments
4 min read
Kakeya sets of rank r over F_2: why 2^(3n/4) is optimal
munimv2 profile

Kakeya sets of rank r over F_2: why 2^(3n/4) is optimal

#math #python #opensource #algorithms
1
Comments
13 min read
Where Did 90% of My Photo Go? JPEG Compression, Explained Gently
jigsawlabs profile

Where Did 90% of My Photo Go? JPEG Compression, Explained Gently

#imageprocessing #compression #math #webdev
Comments
5 min read
Kakeya sets of higher rank over a fixed finite field: the second-order term
munimv2 profile

Kakeya sets of higher rank over a fixed finite field: the second-order term

#math #python #opensource #algorithms
Comments
10 min read
Lehmer's problem in October 2026: what is proved, what has been computed, what is open
munimv2 profile

Lehmer's problem in October 2026: what is proved, what has been computed, what is open

#math #python #opensource #algorithms
Comments
15 min read
Legendre's conjecture in October 2026: what is proved, what has been computed, what is open
munimv2 profile

Legendre's conjecture in October 2026: what is proved, what has been computed, what is open

#math #python #opensource #algorithms
Comments
14 min read
The Hadamard conjecture in October 2026: what is proved, what Claude-assisted constructions settled, what is open
munimv2 profile

The Hadamard conjecture in October 2026: what is proved, what Claude-assisted constructions settled, what is open

#math #python #opensource #algorithms
Comments
10 min read
Smaller Kakeya sets over small finite fields: a new upper bound for every q >= 4
munimv2 profile

Smaller Kakeya sets over small finite fields: a new upper bound for every q >= 4

#math #python #opensource #algorithms
Comments
19 min read
The Kakeya conjecture in October 2026: what is proved, what changed in 2025-2026, what is open
munimv2 profile

The Kakeya conjecture in October 2026: what is proved, what changed in 2025-2026, what is open

#math #python #opensource #algorithms
Comments
22 min read
Maths: OpenAI posted 722 AI proofs, 42% machine-checked
getpack profile

Maths: OpenAI posted 722 AI proofs, 42% machine-checked

#ai #openai #math #students
Comments
9 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.