Better AI code comment detector

Fermat's Last Theorem: Anthropic has beaten me to it

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”

AI Is Powerful Enough to Crack Our Hardest Math Problems–and Kill Us All

Everything is a Trust Decision

Reversing Factorio's RNG

Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM

Is truth futureproof? On the possible futures of mechanized proofs

Adversarial examples for fast hash functions

MRS-LAB: signature-parameterized math lab in Zig - comptime algebra, exact integer arithmetic.

Double-double: 31 digits of precision without leaving the FPU

Curvature Beziers: Improving on a timeless recipe

Double-double: 31 digits of precision without leaving the FPU

Music Theory for Programmers

Moving integer division to floating-point is trivial

Ten advances in mathematics and theoretical computer science

‘Huge Breakthrough’ in the Math of Imbalance

Faster floating point math with Rust's new API

A faster way to calculate the day of the week

Programming Pearl: Sampling Unique (x, y) Pairs

Solving the Flat Cube

Processing in Memory: DRAM Is About to Do Math

Hilariously fast volume computation with the divergence theorem (2018)

A SAT Attack on Tarski's High School Algebra Problem

Nearly 1,900 U.S. Public Schools Within a Mile of a Data Center /// Research shows lower math scores among students attending schools nearby.

Falstad Math and Physics Simulations

Ready set march: Researchers use math to explain sudden activity bursts in ants

Does Using AI to Edit an Op-Ed on Students' Math Skills Undermine the Argument?

The mathematical beauty of hyperbezier curves

More →