DEV Community

# math

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
DeepMind AlphaProof Nexus Explained: 4 System Paradigms for AI Math Research
luhuidev profile

DeepMind AlphaProof Nexus Explained: 4 System Paradigms for AI Math Research

#deepmind #ai #math #luhuidev
Comments
8 min read
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
The bug I kept seeing in math practice: right answers that were too slow
yoshinator profile

The bug I kept seeing in math practice: right answers that were too slow

#showdev #webdev #beginners #math
1
Comments
3 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
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
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.