DEV Community

# math

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
The most enjoyable and useful Mathematical books of all time
tsemenski profile

The most enjoyable and useful Mathematical books of all time

#math #books #statistics #learning
Comments
2 min read
Monte Carlo Simulation for Engineers: Turning Uncertainty Into Numbers
01888927bd0e8aa92caca profile

Monte Carlo Simulation for Engineers: Turning Uncertainty Into Numbers

#engineering #science #monte #math
Comments
5 min read
Floating-point will quietly corrupt your emissions math, and 0.1 + 0.2 already warned you
jeremiah_say profile

Floating-point will quietly corrupt your emissions math, and 0.1 + 0.2 already warned you

#javascript #programming #math #carbon
1
Comments
6 min read
Why I Chose Hard Math Over AI for a 38,000 Ticker Financial Engine
alexv_data profile

Why I Chose Hard Math Over AI for a 38,000 Ticker Financial Engine

#typescript #nextjs #fintech #math
1
Comments
2 min read
THINC: How a 4B Model Beat 235B Qwen3 by Reasoning in Code
dmaxdev profile

THINC: How a 4B Model Beat 235B Qwen3 by Reasoning in Code

#thinc #llmreasoning #codereasoning #math
Comments
11 min read
One 200-Year-Old Math Trick Powers Almost Every Pixel and Sound You Touch
arthurpro profile
Arthur

One 200-Year-Old Math Trick Powers Almost Every Pixel and Sound You Touch

#math #signalprocessing #fft #fourier
Comments
5 min read
The Three Conditions for Seeing the ISS — A Browser-Only Visibility Calculator with Spherical Trigonometry
sendotltd profile

The Three Conditions for Seeing the ISS — A Browser-Only Visibility Calculator with Spherical Trigonometry

#javascript #space #math #webdev
Comments 2
5 min read
Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)
fc0web profile

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai
Comments
7 min read
Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)
fc0web profile

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai
Comments
9 min read
Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)
fc0web profile

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean
Comments
11 min read
FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)
fc0web profile

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

#compression #research #math #ai
Comments
9 min read
Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)
fc0web profile

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research
Comments
11 min read
Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)
fc0web profile

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

#math #lean #research #ai
Comments
9 min read
Why Does 0.999
 Equal 1? The Surprising Truth Explained Simply
m_orkhan profile

Why Does 0.999
 Equal 1? The Surprising Truth Explained Simply

#computerscience #math #infinity
Comments
2 min read
Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)
fc0web profile

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

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