Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
math
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
The Math an Applied AI Engineer Actually Uses in an Evaluation Loop
Alex Agafonov
Alex Agafonov
Alex Agafonov
Follow
Oct 4
The Math an Applied AI Engineer Actually Uses in an Evaluation Loop
#
ai
#
machinelearning
#
math
#
python
1
reaction
Comments
Add Comment
5 min read
The Curious Case of 1/998001: Missing Number & Math Guide
Malcolm Low
Malcolm Low
Malcolm Low
Follow
Oct 3
The Curious Case of 1/998001: Missing Number & Math Guide
#
math
#
algorithms
#
python
#
compsci
Comments
Add Comment
3 min read
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
MillenniumProblemsAI
MillenniumProblemsAI
MillenniumProblemsAI
Follow
Sep 30
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
#
ai
#
math
#
lean4
#
datascience
Comments
Add Comment
3 min read
Perfect scores on AIME 2026 and HMMT 2026: what an open 180B model got right, and why thinking budget mattered
ai maya
ai maya
ai maya
Follow
Sep 29
Perfect scores on AIME 2026 and HMMT 2026: what an open 180B model got right, and why thinking budget mattered
#
ai
#
llm
#
math
#
machinelearning
Comments
Add Comment
2 min read
How I drew a 4D tesseract in Three.js
Jonás Javier Encarnación
Jonás Javier Encarnación
Jonás Javier Encarnación
Follow
Oct 2
How I drew a 4D tesseract in Three.js
#
threejs
#
webgl
#
math
#
javascript
Comments
Add Comment
10 min read
A Hexagonal Aperture Would Break Every Diffuse Surface in My Renderer
Ibukun Sanni
Ibukun Sanni
Ibukun Sanni
Follow
Sep 26
A Hexagonal Aperture Would Break Every Diffuse Surface in My Renderer
#
graphics
#
cpp
#
testing
#
math
Comments
1
comment
10 min read
Navier-Stokes solved? What OpenAI's proof shows and why it's disputed
Nikoloz Turazashvili (@axrisi)
Nikoloz Turazashvili (@axrisi)
Nikoloz Turazashvili (@axrisi)
Follow
Sep 28
Navier-Stokes solved? What OpenAI's proof shows and why it's disputed
#
openai
#
ai
#
math
#
anthropic
Comments
1
comment
9 min read
What Math Actually Buys You: Optimizing a Rock-Paper-Scissors Game in C
David Essien
David Essien
David Essien
Follow
Sep 19
What Math Actually Buys You: Optimizing a Rock-Paper-Scissors Game in C
#
c
#
math
#
systemsthinking
#
gamedev
Comments
Add Comment
8 min read
Splitting a large image across multiple printed pages without alignment marks
nongyi531415
nongyi531415
nongyi531415
Follow
Sep 18
Splitting a large image across multiple printed pages without alignment marks
#
javascript
#
canvas
#
math
#
webdev
Comments
Add Comment
3 min read
Two frame-cap rules differ by 3 fps at 144 Hz. By 540 Hz it's 72.
Smart Calculators
Smart Calculators
Smart Calculators
Follow
Sep 16
Two frame-cap rules differ by 3 fps at 144 Hz. By 540 Hz it's 72.
#
math
#
algorithms
#
gamedev
#
webdev
Comments
Add Comment
4 min read
Every prime ends in 1, 3, 7 or 9. Put them on a compass and you get a clock
Sayed Lotfy
Sayed Lotfy
Sayed Lotfy
Follow
Sep 15
Every prime ends in 1, 3, 7 or 9. Put them on a compass and you get a clock
#
showdev
#
java
#
math
#
angular
Comments
Add Comment
4 min read
Are the prime numbers really chaos? (The Prime Clock, film 1 of 6)
Sayed Lotfy
Sayed Lotfy
Sayed Lotfy
Follow
Sep 15
Are the prime numbers really chaos? (The Prime Clock, film 1 of 6)
#
showdev
#
math
#
beginners
#
learning
Comments
Add Comment
2 min read
Domain coloring: plotting complex functions f(z) in the browser
Lucian (LKB)
Lucian (LKB)
Lucian (LKB)
Follow
Sep 19
Domain coloring: plotting complex functions f(z) in the browser
#
javascript
#
webdev
#
math
#
datavis
2
reactions
Comments
Add Comment
4 min read
Your rent-vs-buy break-even is two different numbers and nobody tells you which one you're seeing
Smart Calculators
Smart Calculators
Smart Calculators
Follow
Sep 14
Your rent-vs-buy break-even is two different numbers and nobody tells you which one you're seeing
#
finance
#
math
#
programming
Comments
Add Comment
4 min read
Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language
The Mansions of Science
The Mansions of Science
The Mansions of Science
Follow
Sep 14
Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language
#
math
#
physics
#
typetheory
#
functionalreactiveprogramming
Comments
Add Comment
1 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account