Forem

# math

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Monte Carlo Simulation for Engineers: Turning Uncertainty Into Numbers
Cover image for 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
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
fc0web profile

Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics

#math #lean #ai #research
Comments
13 min read
Why I Chose Hard Math Over AI for a 38,000 Ticker Financial Engine
Cover image for 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
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
fc0web profile

Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized

#math #research #collatz #ai
Comments
26 min read
THINC: How a 4B Model Beat 235B Qwen3 by Reasoning in Code
Cover image for 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
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
fc0web profile

Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2

#math #research #collatz #ai
Comments
19 min read
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
fc0web profile

Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis

#math #research #collatz #ai
Comments
12 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
Five geometry formulas every JavaScript developer ends up rewriting
levent_elik_34b35337d291 profile

Five geometry formulas every JavaScript developer ends up rewriting

#javascript #math #webdev #beginners
Comments
4 min read
Epicycle Doodler: Building a Fourier Transform Visualizer with React & Canvas
Cover image for Epicycle Doodler: Building a Fourier Transform Visualizer with React & Canvas
harishkotra profile

Epicycle Doodler: Building a Fourier Transform Visualizer with React & Canvas

#ai #programming #math #dailybuild2026
1
Comments
11 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
👋 Sign in for the ability to sort posts by relevant, latest, or top.